𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || A Fully Automated Framework for Control of Linear Systems from LTL Specifications

✍ Scribed by Hespanha, João P.; Tiwari, Ashish

Book ID
120237228
Publisher
Springer Berlin Heidelberg
Year
2006
Weight
549 KB
Category
Article
ISBN
3540331719

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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