+********************************************************************** * * *                          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