EECI 2020: Discrete Abstractions

From MurrayWiki
Jump to: navigation, search
Prev: Computer Session: Stormpy Course home Next: Reactive Synthesis

This lecture focuses on the abstraction of hybrid systems. We first discuss finite-state under- and over-approximations of hybrid dynamics and how these finite-state models coupled with the model checking tools can be used to verify temporal logic properties against hybrid dynamics. Then, we present a procedure for constructing finite-state, under-approximations which will later be used in the course in the synthesis of hierarchical control protocols.

Lecture Materials

Further Reading