Bi-Weekly Talk: Flowpipe construction-based reachability analysis for the safety verification of hybrid systems

Mittwoch, 08.08.2018, 10.15 Uhr

Ort: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

 

Vortragender: Stefan Schupp

 

As hybrid systems with mixed discrete-continuous behavior are often safety-critical applications, a rising interest in their safety verification resulted in the development of powerful tools implementing different approaches to determine the set of system states that are reachable from a given set of initial states. Besides approaches based on, for example, theorem proving or SMT solving, flowpipe-construction-based reachability analysis is a well established method, which over-approximates the set of reachable states of a hybrid system by a union of state sets, each of them being represented by a geometric object of a certain shape, like boxes, polytopes, or zonotopes or symbolically, like support functions or Taylor models.