HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.

Stefan Schupp,Erika Ábrahám,Ibtissem Ben Makhlouf,Stefan Kowalewski

NFM（2017）

引用 71|浏览10

暂无评分

摘要

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.

查看译文

关键词

Support Function, Reachable State, Hybrid Automaton, Reachability Analysis, Support Function

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要