[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

[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 Systems IV Volume 1273 || Safe implementations of supervisory commandsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997

[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 II Volume 999 || Viable control of hybrid systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1995

[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Control theory, modal logic, and gamesAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Verification of hybrid systems using abstractionsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1995

[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Agent based velocity control of highway systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997

[Lecture Notes in Computer Science] Hybrid Systems IV Volume 1273 || Towards continuous abstractions of dynamical and control systemsAntsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar · 1997