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

Wednesday, 08.08.2018, 10:15 am

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

 

Speaker: 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, e.g., 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).