Sciweavers

287 search results - page 32 / 58
» Linear Matrix Inequalities in System and Control Theory
Sort
View
CCS
2004
ACM
15 years 11 months ago
Comparing the expressive power of access control models
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
Mahesh V. Tripunitara, Ninghui Li
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
15 years 10 months ago
Mixed linear system estimation and identification
We consider a mixed linear system model, with both continuous and discrete inputs and outputs, described by a coefficient matrix and a set of noise variances. When the discrete inp...
Argyrios Zymnis, Stephen P. Boyd, Dimitry M. Gorin...
AUTOMATICA
2007
70views more  AUTOMATICA 2007»
15 years 6 months ago
On detectability of stochastic systems
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
Tobias Damm
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
16 years 15 days ago
Dissipativity properties of detailed models of synchronous generators
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
Alvaro Giusto, Alex M. Stankovic, Romeo Ortega
ICFP
2010
ACM
15 years 6 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic