+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Mittwoch, 25. September 2019, 15.00 Uhr
Ort: Informatikzentrum, E3, Raum 9222
Referent: Stefan Schupp M.Sc.(Theory of Hybrid Systems)
Thema: State Set Representations and their Usage in the Reachability
Analysis of Hybrid Systems
Abstract:
Hybrid systems in computer science are systems with combined
discrete-continuous behavior. This work presents results obtained in the
field of safety verification for linear hybrid systems whose continuous
behavior can be described by linear differential equations. We focus on
a special technique named flowpipe-construction-based reachability
analysis, which over-approximates the reachable states of a given hybrid
system as a finite union of state sets. In these computations we can use
different geometric and symbolic representations for state sets as
datatypes.
In this talk we focus on the following aspects:
- We present our C++ library HyPro, offering implementations for several
state set representations that are commonly used in
flowpipe-construction-based reachability analysis.
- We show the applicability of HyPro by embedding a
flowpipe-construction-based reachability analysis method in a
CEGAR-based abstraction refinement framework.
- We present our approach to decompose the search space and replace
high-dimensional computations by computations in lower-dimensional
subspaces.
Es laden ein: die Dozentinnen und Dozenten der Informatik