11 citations · 14 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 3 cited
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;…
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…