[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata

[ACM Press the 14th international confer

✍ LeBlanc, Heath J.; Koutsoukos, Xenofon D. 📂 Article 📅 2011 🏛 ACM Press ⚖ 707 KB

[ACM Press the 17th international confer

✍ Vankeerberghen, Guillaume; Hendrickx, Julien; Jungers, Raphaël M. 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 484 KB

[ACM Press the 17th international confer

✍ Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nik 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 733 KB

[ACM Press the 17th international confer

✍ Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nik 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 733 KB

[ACM Press the 17th international confer

✍ Brunner, Florian D.; Lazar, Mircea; Allgöwer, Frank 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 458 KB

[ACM Press the 15th ACM international co

✍ Rebiha, Rachid; Matringe, Nadir; Moura, Arnaldo Vieira 📂 Article 📅 2012 🏛 ACM Press ⚖ 728 KB