✦ LIBER ✦

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Viable control of hybrid systems

✍ Scribed by Antsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar

Book ID: 118277345
Publisher: Springer Berlin Heidelberg
Year: 1995
Weight: 967 KB
Category: Article
ISBN: 3540475192
DOI: 10.1007/3-540-60472-3_7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Verification of hybrid systems using abstractions

✍ Antsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 530 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Stability of hybrid systems

✍ Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 493 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Controllers as fixed points of set-valued operators

✍ Antsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 930 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2289 || Design of Observers for Hybrid Systems

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

[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 III Volume 1066 || Examples of stabilization with hybrid feedback

✍ Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 648 KB

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science co