[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 4981 || An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Hybrid Systems Diagnosis

✍ Lynch, Nancy; Krogh, Bruce H. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 128 KB

This Book Constitutes The Refereed Proceedings Of The Third International Workshop On Hybrid Systems: Computation And Control, Hscc 2000, Held In Pittsburgh, Pa, Usa In March 2000.; The 32 Revised Full Papers Presented Together With Abstracts Of Four Invited Talks Were Carefully Reviewed And Selecte

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 4981 || A Decidable Class of Planar Linear Hybrid Systems

✍ Egerstedt, Magnus; Mishra, Bud 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2289 || An Approach to Model-Based Diagnosis of Hybrid Systems

✍ Tomlin, Claire J.; Greenstreet, Mark R. 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 247 KB

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Polynomial Stochastic Hybrid Systems

✍ Morari, Manfred; Thiele, Lothar 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 543 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Hybrid Systems: Computation And Control, Hscc 2005, Held In Zurich, Switzerland In March 2005. The 40 Revised Full Papers Presented Together With 2 Invited Papers And The Abstract Of An Invited Talk Were Carefully Re

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3414 || Operational Semantics of Hybrid Systems

✍ Morari, Manfred; Thiele, Lothar 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 913 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Hybrid Systems: Computation And Control, Hscc 2005, Held In Zurich, Switzerland In March 2005. The 40 Revised Full Papers Presented Together With 2 Invited Papers And The Abstract Of An Invited Talk Were Carefully Re

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2993 || Multi-Parametric Toolbox (MPT)

✍ Alur, Rajeev; Pappas, George J. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 283 KB

This Volume Contains The Proceedings Of The 7th Workshop On Hybrid Systems: Computation And Control (hscc 2004) Held In Philadelphia, Usa, From March 25 To 27, 2004. The Annual Workshop On Hybrid Systems Attracts Researchers From Academia And Industry Interested In Modeling, Analysis, And Implemen-