Sciweavers

3823 search results - page 28 / 765
» Stability of Hybrid Systems
Sort
View
HYBRID
2001
Springer
14 years 1 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
HYBRID
1995
Springer
14 years 6 days ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...
HYBRID
2001
Springer
14 years 1 months ago
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
Abstract. In this paper we investigate the question of the global controllability posed for control hybrid systems with autounomous and controlled swithchings. The main tool for ou...
Ekaterina S. Lemch, Shankar Sastry, Peter E. Caine...
HYBRID
2007
Springer
14 years 16 days ago
A Hybrid Bellman Equation for Bimodal Systems
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
Peter E. Caines, Magnus Egerstedt, Roland P. Malha...
DEDS
1998
82views more  DEDS 1998»
13 years 8 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer