B3M35HYS, BE3M35HYS - B241: Literature

Literature for discrete-event systems is vast, but within the control systems community the classical (and award-winning) reference is

Cassandras, Christos G., and Stéphane Lafortune. Introduction to Discrete Event Systems. 3rd ed. Cham: Springer, 2021. https://doi.org/10.1007/978-3-030-72274-6. Note that electronic version of the previous edition (perfectly acceptable for us) is accessible through the NTK library (possibly upon CTU login).

This book is rather thick too and covering its content can easily need a full semestr. However, in our course we will only need the very basics of the theory of (finite state) automata and such basics are presented in Chapters 1 and 2. The extension to timed automata is then presented in Chapter 5.2.

The basics also presented in the tutorial paper by the same author(s)

Lafortune, Stéphane. “Discrete Event Systems: Modeling, Observation, and Control.” Annual Review of Control, Robotics, and Autonomous Systems 2, no. 1 (2019): 141–59. https://doi.org/10.1146/annurev-control-053018-023659.

A very short (but sufficient for us) intro to discrete-event systems that adheres to Cassandras's style is given in the first chapter of the textbook

Lin, Hai, and Panos J. Antsaklis. Hybrid Dynamical Systems: Fundamentals and Methods. Advanced Textbooks in Control and Signal Processing. Cham: Springher, 2022. https://doi.org/10.1007/978-3-030-78731-8.

Alternatively, there are some other recent textbooks that contain decent introductions to the theory of (finite state) automata. These are often surfing on the wave of popularity of the recently fashionable buzzword of cyberphysical or embedded systems, but in essence these deal with the same hybrid systems as we do in our course. The fact is, however, that the modeling formalism can be a bit different from the one in Cassandras (certainly when it comes to notation but also some concepts).

Alur, Rajeev. Principles of Cyber-Physical Systems. Cambridge, MA, USA: MIT Press, 2015. https://mitpress.mit.edu/9780262029117/principles-of-cyber-physical-systems/. Note that electronic version accessible through the NTK library (upon CTU login).
Mitra, Sayan. Verifying Cyber-Physical Systems: A Path to Safe Autonomy. Cyber Physical Systems Series. Cambridge, MA, USA: MIT Press, 2021. https://sayanmitracode.github.io/cpsbooksite/about.html. In particular, Chapter 2 serves as an intro to the automata theory.
Lee, Edward Ashford, and Sanjit Arunkumar Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. 2nd ed. Cambridge, MA, USA: MIT Press, 2017. https://ptolemy.berkeley.edu/books/leeseshia/. Electronic version is freely downloadable on that page.

Naposledy změněno: pondělí, 3. října 2022, 00.52