✦ LIBER ✦

Compositional Abstractions of Hybrid Control Systems

✍ Scribed by Paulo Tabuada; George J. Pappas; Pedro Lima

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Discrete abstractions of hybrid systems

✍ Alur, R.; Henzinger, T.A.; Lafferriere, G.; Pappas, G.J. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 495 KB

Approximate Abstractions of Stochastic H

✍ Abate, A.; D'Innocenzo, A.; Di Benedetto, M.D. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 310 KB

Compositional Contraction Analysis of Re

✍ Rifai, K.E.; Slotine, J.-J.E. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 252 KB

[Lecture Notes in Computer Science] Hybr

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

Abstractions of control environments

✍ Franco Turini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 971 KB

Compositional modeling and refinement fo

✍ Rajeev Alur; Radu Grosu; Insup Lee; Oleg Sokolsky 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 255 KB