Wayback Machine
«DEC APR May
Previous capture 4 Next capture
2019 2020 2021
3 captures
3 Nov 19 - 4 Apr 20
Close Help

Systems Modeling and Analysis

The student takes a system of his/her choice (e.g., robot, network protocol) and creates a model in a suitable formalism (e.g., timed automata, hybrid systems). He/she then analyses the properties of the model in a suitable software packages (e.g., UPPAAL, HSolver).