Sciweavers

373 search results - page 7 / 75
» Virtual Power Limiter System which Guarantees Stability of C...
Sort
View
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 4 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
ISCA
2003
IEEE
169views Hardware» more  ISCA 2003»
15 years 5 months ago
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, ...
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
14 years 6 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
15 years 4 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
HYBRID
2011
Springer
13 years 11 months ago
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
Michael D. Lemmon, Xiaobo Sharon Hu