HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
Abstract
In this tool paper we introduce HyPro, our free and open- source C++ programming library, which offers implementations for the most prominent state set representations used by flowpipe-construction- based reachability analysis techniques for hybrid systems.
Type
Publication
NASA Formal Methods Symposium
