«DEC APR May 4 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).