State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems
This work presents results obtained in the field of safety verification for linear hybrid systems via flow pipe construction-based reachability analysis.
Professional Summary
My research focusses on safety verification of hybrid systems, mainly via flowpipe-construction-based reachability analysis.
Education
PhD Computer Science
RWTH Aachen University
MS Computer Science
RWTH Aachen University
BS Computer Science
RWTH Aachen University
Interests
Formal verification
Modeling and analysis of hybrid systems
Reachability analysis
Flowpipe construction
SMT solving
My Research
My research focusses on safety verification of hybrid systems, mainly via flowpipe-construction-based reachability analysis.
Featured Publications
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis