39 citations · 92 across the 17 of their papers we have counts for
Showing 2017 · eess.SYShow all
2 papers · 2 filters
eess.SY2017★ 11 cited
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
Stefan Schupp, Johanna Nellen, Erika Ábrahám
In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to…
eess.SY2017
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
Erika Ábrahám, Sergiy Bogomolov
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of it…