Sciweavers

1146 search results - page 12 / 230
» Periodically Controlled Hybrid Systems
Sort
View
103
Voted
HYBRID
2009
Springer
15 years 5 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
HYBRID
2000
Springer
15 years 5 months ago
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
Luca Berardi, Elena De Santis, Maria Domenica Di B...
82
Voted
HYBRID
1995
Springer
15 years 5 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
100
Voted
HYBRID
2001
Springer
15 years 6 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
84
Voted
HYBRID
1995
Springer
15 years 5 months ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...