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/
Related Topics: Hybrid Systems
- Karl Henrik JOhansson, Modelling of Hybrid Systems http://kth.diva-portal.org/smash/record.jsf?pid=diva2%3A505360&dswid=3529 PDF text: http://kth.diva-portal.org/smash/get/diva2:505360/FULLTEXT01.pdf
- Michael S Branicky, Introduction to Hybrid Systems https://link.springer.com/chapter/10.1007/0-8176-4404-0_5
- Andre Platzer, Logical Foundations of Cyber-Physical Systems
Tools
- Keymaera: A Hybrid Theorem Prover for Hybrid Systems https://symbolaris.com/info/KeYmaera.html
Course
- EL2450 Hybrid and Embedded Control Systems https://www.kth.se/student/kurser/kurs/EL2450?l=en