Sciweavers

287 search results - page 28 / 58
» Linear Matrix Inequalities in System and Control Theory
Sort
View
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
16 years 19 days ago
Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant ones
— This paper considers discrete-time periodic linear systems and their Floquet transformations, by which the periodic systems can be equivalently transformed to time-invariant on...
Yoshikazu Hayakawa, Tomohiko Jimbo
CDC
2010
IEEE
125views Control Systems» more  CDC 2010»
15 years 1 months ago
Towards robust Lie-algebraic stability conditions for switched linear systems
This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the...
Andrei A. Agrachev, Yuliy Baryshnikov, Daniel Libe...
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
15 years 11 months ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 6 months ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
HYBRID
2010
Springer
15 years 8 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...