EECI 2020: Discrete Abstractions

From Murray Wiki
Revision as of 17:02, 29 February 2020 by Murray (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to 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