Sciweavers

1146 search results - page 7 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
1992
Springer
15 years 5 months ago
Hybrid Systems in TLA+
Leslie Lamport
HYBRID
1992
Springer
15 years 5 months ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli
88
Voted
HYBRID
1995
Springer
15 years 5 months ago
Stability of Hybrid Systems
Mikhail Kourjanski, Pravin Varaiya
93
Voted
HYBRID
2001
Springer
15 years 6 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas