27 citations · 49 across the 5 of their papers we have counts for
5 papers
TERA: A Unified Taylor Model Enabled Reachability Analysis Framework
Salma Iraky, Andrew Sogokon
Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at…
Specifying Autonomous System Behaviour
Andrew Sogokon, Burak Yuksek, Gokhan Inalhan +1
Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges. This technical report provides an overview of existi…
Characterizing Positively Invariant Sets: Inductive and Topological Methods
Khalil Ghorbal, Andrew Sogokon
We present two characterizations of positive invariance of sets under the flow of systems of ordinary differential equations. The first characterization uses inward sets which intu…
Pegasus: Sound Continuous Invariant Generation
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan +2
Continuous invariants are an important component in deductive verification of hybrid and continuous systems. Just like discrete invariants are used to reason about correctness in d…
A Formal Safety Net for Waypoint Following in Ground Robots
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch +2
We present a reusable formally verified safety net that provides end-to-end safety and liveness guarantees for 2D waypoint-following of Dubins-type ground robots with tolerances an…