Sciweavers

3823 search results - page 40 / 765
» Stability of Hybrid Systems
Sort
View
AUTOMATICA
2004
92views more  AUTOMATICA 2004»
13 years 8 months ago
Randomized algorithms for quadratic stability of quantized sampled-data systems,
In this paper, we present a novel development of randomized algorithms for quadratic stability analysis of sampled-data systems with memoryless quantizers. The speci
Hideaki Ishii, Tamer Basar, Roberto Tempo
SIAMCO
2000
90views more  SIAMCO 2000»
13 years 8 months ago
Finite-Time Stability of Continuous Autonomous Systems
Finite-time stability is defined for equilibria of continuous but non-Lipschitzian autonomous systems. Continuity, Lipschitz continuity, and H
Sanjay P. Bhat, Dennis S. Bernstein
FORMATS
2008
Springer
13 years 10 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
HYBRID
1994
Springer
14 years 23 days ago
Programming in Hybrid Constraint Languages
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...
HYBRID
2001
Springer
14 years 1 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...