[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - Comparison of overapproximation methods for stability analysis of networked control systems

[ACM Press the 13th ACM international co

✍ Heemels, W P.M.H.; van de Wouw, Nathan; Gielen, Rob H.; Donkers, M. C.F.; Hetel, 📂 Article 📅 2010 🏛 ACM Press ⚖ 494 KB

The presence of a communication network in a control loop induces many imperfections such as varying transmission delays, varying sampling/transmission intervals and packet loss, which can degrade the control performance significantly and can even lead to instability. Various techniques have been pr

[ACM Press the 13th ACM international co

[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - Stealthy deception attacks on water SCADA systems

✍ Amin, Saurabh; Litrico, Xavier; Sastry, S. Shankar; Bayen, Alexandre M. 📂 Article 📅 2010 🏛 ACM Press ⚖ 818 KB

[ACM Press the 13th ACM international co

[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - A generating function approach to the stability of discrete-time switched linear systems

✍ Hu, Jianghai; Shen, Jinglai; Zhang, Wei 📂 Article 📅 2010 🏛 ACM Press ⚖ 547 KB

[ACM Press the 13th ACM international co

[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - A generating function approach to the stability of discrete-time switched linear systems

✍ Hu, Jianghai; Shen, Jinglai; Zhang, Wei 📂 Article 📅 2010 🏛 ACM Press ⚖ 547 KB

Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the weak generating functions. Various properties of the generating functions are established. It is found that the radii of

[ACM Press the 13th ACM international co

[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - Bayesian statistical model checking with application to Simulink/Stateflow verification

✍ Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 📂 Article 📅 2010 🏛 ACM Press ⚖ 526 KB

[ACM Press the 15th ACM international co

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Transcendental inductive invariants generation for non-linear differential and hybrid systems

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