39 citations · 92 across the 17 of their papers we have counts for
3 papers · 1 filter
Robot Swarms as Hybrid Systems: Modelling and Verification
Stefan Schupp, Francesco Leofante, Leander Behr +2
A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions;…
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…
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…