Hybridní systémy
B3M35HYS + BE3M35HYS
Tento kurz je součástí již archivovaného semestru, a proto je dostupný pouze pro čtení.
Literature
Požadavky na absolvování
Literature for Petri nets is vast, but a decent (and perfectly satisfactory) introduction can be found in Chapter 4 and 5.3 (for the timed PN) of the classical (and award-winning) reference
- 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 (in fact, PDF) is accessible through the NTK library (upon CTU login, for example to usermap first).
A very nice introduction is also in Chapter 2 of the freely online available book
- Baccelli, François, Guy Cohen, Geert Jan Olsder, and Jean-Pierre Quadrat. Synchronization and Linearity: An Algebra for Discrete Event Systems. Web editiion. Chichester: Wiley, 2001. https://www.rocq.inria.fr/metalau/cohen/documents/BCOQ-book.pdf.
The survey paper that is particularly focused on Petri nets from the control systems perspective
- Giua, Alessandro, and Manuel Silva. “Petri Nets and Automatic Control: A Historical Perspective.” Annual Reviews in Control 45 (January 1, 2018): 223–39. https://doi.org/10.1016/j.arcontrol.2018.04.006
gives a wealth of other references.
Naposledy změněno: úterý, 3. října 2023, 10.51