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/

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