Sciweavers

252 search results - page 9 / 51
» Decidable Controller Synthesis for Classes of Linear Systems
Sort
View
CDC
2009
IEEE
261views Control Systems» more  CDC 2009»
14 years 1 months ago
Stability and stabilization of a class of ill-conditioned second order differential linear repetitive processes
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
Pawel Grzegorz Dabkowski, Krzysztof Galkowski, Eri...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
14 years 9 days ago
Stabilization of a class of sandwich nonlinear systems via state feedback
Abstract— In this paper, we consider the problems of semiglobal and global internal stabilization of a class of sandwich systems consisting of two linear systems with a saturatio...
Xu Wang, Anton A. Stoorvogel, Ali Saberi, Hå...
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
13 years 3 months ago
Synthesis of embedded control systems with high sampling frequencies
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
HYBRID
2001
Springer
14 years 1 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
13 years 9 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...