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í
General
-
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. Chapter 3.
- 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.
Set propagation based reachability analysis
- Althoff, Matthias, Goran Frehse, and Antoine Girard. ‘Set Propagation Techniques for Reachability Analysis’. Annual Review of Control, Robotics, and Autonomous Systems 4, no. 1 (2021): 369–95. https://doi.org/10.1146/annurev-control-071420-081941.
- Althoff, Matthias, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner. ‘CORA 2024 Manual’. Matlab, 2023. https://tumcps.github.io/CORA/data/archive/manual/Cora2024Manual.pdf.
Safety verification via barrier certificates
-
Prajna, Stephen, and Ali Jadbabaie. ‘Safety Verification of Hybrid Systems Using Barrier Certificates’. In Hybrid Systems: Computation and Control, edited by Rajeev Alur and George J. Pappas, 477–92. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_32.
Temporal logics (LTL, CTL, CTL*, ...) in verification
- Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking. Cambridge, MA, USA: MIT Press, 2008. https://mitpress.mit.edu/books/principles-model-checking.
- Clarke, Edmund M., Jr, Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. Model Checking. 2nd ed. Cyber Physical Systems Series. Cambridge, MA, USA: MIT Press, 2018. https://mitpress.mit.edu/9780262038836/model-checking/.
- Murray, Richard M, Ufuk Topcu, and Nok Wongpiromsarn. ‘Lecture 3 Linear Temporal Logic (LTL)’. Lecture presented at the EECI-IGSC, Belgrade (Serbia), 9 March 2020. http://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L3_ltl-09Mar2020.pdf.
- Wongpiromsarn, Nok, Richard M. Murray, and Ufuk Topcu. ‘Lecture 4 Model Checking and Logic Synthesis’. Lecture presented at the EECI-IGSC, Belgrade (Serbia), 9 March 2020. http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L4_model_checking-09Mar2020.pdf.
LTL in control
- Tabuada, Paulo, and George J. Pappas. ‘Linear Time Logic Control of Discrete-Time Linear Systems’. IEEE Transactions on Automatic Control 51, no. 12 (December 2006): 1862–77. https://doi.org/10.1109/TAC.2006.886494.
- Wongpiromsarn, Tichakorn, Ufuk Topcu, and Richard M. Murray. ‘Receding Horizon Temporal Logic Planning’. IEEE Transactions on Automatic Control 57, no. 11 (November 2012): 2817–30. https://doi.org/10.1109/TAC.2012.2195811.
Naposledy změněno: středa, 20. prosince 2023, 09.09