Sciweavers

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