Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Nov 17, 2021 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
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
Audiences: Everyone Is Invited
Contact: Talyia White