Sciweavers

2377 search results - page 14 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2005
Springer
14 years 7 days ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
HYBRID
1994
Springer
13 years 10 months ago
Hierarchical Hybrid Control: A Case Study
Datta N. Godbole, John Lygeros, Shankar Sastry
HYBRID
1995
Springer
13 years 10 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
HYBRID
2000
Springer
13 years 10 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
13 years 11 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas