Events Calendar

Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series

Speaker: Erika Abraham, RWTH Aachen University, Germany

Talk Title: Analysing Hybrid Systems with HyPro

Series: Center for Cyber-Physical Systems and Internet of Things

Abstract: Hybrid systems are systems with mixed discrete-continuous behaviour, such as automotive systems or digitally controlled physical or chemical plants. For their analysis we are interested in solving the reachability problem, i.e. checking whether a hybrid system (model) can reach any "usafe" state during its execution. Though this problem is in general undecidable, there are different techniques that are either applicable to certain types of systems only or compute conservative approximations. In this talk we discuss available approaches with the focus on techniques implemented in our HyPro tool.

Biography: Erika Abraham graduated at the Christian-Albrechts-University Kiel (Germany), and received her PhD from the University of Leiden (The Netherlands) for her work on the development and application of deductive proof systems for concurrent programs. Then she moved to the Albert-Ludwigs-University Freiburg (Germany), where she started to work on the development and application of SAT and SMT solvers. Since 2008 she is professor at RWTH Aachen University (Germany), with main research focus on SMT solving for real and integer arithmetic, and formal methods for probabilistic and hybrid systems.


Host: Pierluigi Nuzzo

Webcast: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

Location: Online

WebCast Link: https://usc.zoom.us/webinar/register/WN_p5OEJlPxQlakO4hqovuGEQ

Audiences: Everyone Is Invited

Contact: Talyia White