✦ LIBER ✦

Discrete abstractions of hybrid systems

✍ Scribed by Alur, R.; Henzinger, T.A.; Lafferriere, G.; Pappas, G.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Safety and Reachability of Piecewise Lin

✍ Xenofon D. Koutsoukos; Panos J. Antsaklis 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 957 KB

Compositional Abstractions of Hybrid Con

✍ Paulo Tabuada; George J. Pappas; Pedro Lima 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 373 KB

Approximate Abstractions of Stochastic H

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

[Lecture Notes in Computer Science] Hybr

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

Discrete Event Simulation of Hybrid Syst

✍ Kofman, Ernesto 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 334 KB

Observability of hybrid discrete-continu

✍ Marchenko, V. M. 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 384 KB