[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Stability of hybrid systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996

[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Modeling hybrid dynamical systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996

[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Simulation of hybrid systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997

[Lecture Notes in Computer Science] Hybrid Neural Systems Volume 1778 ||Wermter, Stefan; Sun, Ron · 2000

[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Bumpless switching in hybrid systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Hybrid Systems DiagnosisLynch, Nancy; Krogh, Bruce H. · 2000

[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Requirements specifications for hybrid systemsAlur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. · 1996

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 9957 ||Cinquemani, Eugenio; Donzé, Alexandre · 2016

Controller Synthesis for Timed Automata 1Asarin, Eugene; Maler, Oded; Pnueli, Amir; Sifakis, Joseph · IFAC Proceedings Volumes · 1998

From Real-time Logic to Timed AutomataFerrère, Thomas; Maler, Oded; Ničković, Dejan; Pnueli, Amir · Journal of the ACM · 2019

Reachability analysis of dynamical systems having piecewise-constant derivativesEugene Asarin; Oded Maler; Amir Pnueli · 1995

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 ||Maler, Oded; Pnueli, Amir · 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Modelling and Control of Power ElectronicsMaler, Oded; Pnueli, Amir · 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Reachability Questions in Piecewise Deterministic Markov ProcessesMaler, Oded; Pnueli, Amir · 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Control Design for a Wheeled Mobile RobotMaler, Oded; Pnueli, Amir · 2003