Sciweavers

539 search results - page 41 / 108
» Observability of Switched Linear Systems
Sort
View
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
14 years 4 months ago
Stabilizing uncertain systems with dynamic quantization
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
Linh Vu, Daniel Liberzon
AMAST
2004
Springer
14 years 1 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith
OPODIS
2003
13 years 11 months ago
Linear Time Byzantine Self-Stabilizing Clock Synchronization
Awareness of the need for robustness in distributed systems increases as distributed systems become an integral part of day-to-day systems. Tolerating Byzantine faults and possessi...
Ariel Daliot, Danny Dolev, Hanna Parnas
ISCAS
2005
IEEE
104views Hardware» more  ISCAS 2005»
14 years 3 months ago
Bifurcation in parallel-connected buck converters under current-mode control
— This paper studies a system of parallel-connected dc/dc buck converters under current-mode control. The effects of variations of the reference current are studied. It has been ...
C. K. Michael Tse, Octavian Dranga, Herbert H. C. ...
ACTA
2006
74views more  ACTA 2006»
13 years 10 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer