Books and further teaching materials
Section outline
-
- Introduction to Embedded Systems: A CPS approach, free copy here
- André Platzer, Logical Foundations of Cyber-Physical Systems, Springer, Cham, 2018.
- Principles of Cyber-Physical Systems, Rajeev Alur, MIT Press, 2015
- Principle of Model Cheking, Baier, Katoen, MIT Press, 2008
PYTHON: you can find a very nice tutorial on the moodle page of the Stochastic Modelling and Simulation Course