Sciweavers

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