7 citations · 13 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017
Simulation Based Computation of Certificates for Safety of Hybrid Dynamical Systems
Stefan Ratschan
In this paper, we present an algorithm for synthesizing certificates---so-called barrier certificates---for safety of hybrid dynamical systems. Unlike the usual approach of using c…
eess.SY2017
Converse Theorems for Safety and Barrier Certificates
Stefan Ratschan
An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this paper we prove that every robustly safe ordinary differential equation has…