𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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

✍ Scribed by Zuliani, Paolo; Platzer, André; Clarke, Edmund M.

Book ID
125510523
Publisher
ACM Press
Year
2010
Weight
526 KB
Category
Article
ISBN
1605589551

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Comparison of overapproximation methods for stability analysis of networked control systems
✍ 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 - 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