Logo: University of Southern California

Events Calendar


  • 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

    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

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File

Return to Calendar