Sciweavers

3053 search results - page 21 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
Luca Berardi, Elena De Santis, Maria Domenica Di B...
HYBRID
2001
Springer
14 years 4 days ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
HYBRID
1995
Springer
13 years 11 months ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...
HYBRID
2001
Springer
14 years 4 days 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
13 years 11 months 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...