Sciweavers

3823 search results - page 43 / 765
» Stability of Hybrid Systems
Sort
View
DSN
2003
IEEE
14 years 2 months ago
LSRP: Local Stabilization in Shortest Path Routing
—We formulate a notion of local stabilization, by which a system self-stabilizes in time proportional to the size of any perturbation that changes the network topology or the sta...
Anish Arora, Hongwei Zhang
SIAMCO
2011
13 years 3 months ago
Optimal Robust Stabilization and Dissipativity Synthesis by Behavioral Interconnection
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
Harry L. Trentelman, Shaik Fiaz, Kiyotsugu Takaba
ENTCS
2007
135views more  ENTCS 2007»
13 years 8 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
HYBRID
1995
Springer
14 years 7 days ago
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
Eduardo D. Sontag
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
14 years 3 months ago
On the existence of Zeno behavior in hybrid systems with non-isolated Zeno equilibria
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
Andrew G. Lamperski, Aaron D. Ames