✦ LIBER ✦

Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures

✍ Scribed by Farn Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis of a second-order hybrid system

✍ P. A. Tochilin 📂 Article 📅 2008 🏛 Allerton Press, Inc. 🌐 English ⚖ 217 KB

Time-domain Analysis of Non-linear Hybri

✍ WILLIAMSON, D. 📂 Article 📅 1965 🏛 Taylor and Francis Group 🌐 English ⚖ 282 KB

Micromechanical-based hybrid mesoscopic

✍ Carrere, N.; Laurin, F.; Maire, J.-F. 📂 Article 📅 2012 🏛 SAGE Publications 🌐 English ⚖ 587 KB