Sciweavers

4434 search results - page 21 / 887
» On the Composition of Hybrid Systems
Sort
View
HYBRID
1994
Springer
15 years 10 months ago
Hierarchical Hybrid Control: A Case Study
Datta N. Godbole, John Lygeros, Shankar Sastry
HYBRID
1995
Springer
15 years 9 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
COMPSAC
2004
IEEE
15 years 9 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
HYBRID
2000
Springer
15 years 9 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
15 years 10 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas