Supervisory Control Literature Survey

Literatures on Supervisory Control

Hybrid and Embedded Control Systems Exercises https://www.kth.se/social/upload/4fd09abcf276545e55000019/ex_compendium.pdf
Hybrid control of networked embedded systems
Karl Henrik Johansson, Hybrid Control Systems http://kth.diva-portal.org/smash/record.jsf?pid=diva2%3A505356&dswid=-3240 PDF text: http://kth.diva-portal.org/smash/get/diva2:505356/FULLTEXT01.pdf
Joao P Hespanha, Stabilization Through Hybrid Control, https://web.ece.ucsb.edu/~hespanha/published/6-43-28-7-hy-stab.pdf
Andre Platzer, Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics, Springer 2010 https://link.springer.com/book/10.1007/978-3-642-14509-4
E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, Second Edition, LeeVaraiya.org, 2011. https://ptolemy.berkeley.edu/books/leevaraiya/
E. A. Lee and S. A. Seshia, Introduction to Embedded Systems – A Cyber-Physical Systems Approach,
Second Edition, MIT Press, 2017. https://ptolemy.berkeley.edu/books/leeseshia/

Keymaera: A Hybrid Theorem Prover for Hybrid Systems https://symbolaris.com/info/KeYmaera.html