27 citations · 49 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CG2020★ 8 cited
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…
cs.SC2020★ 14 cited
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…