Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Continuous-time Data-driven Barrier Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We consider the problem of verifying safety for continuous-time dynamical systems. Developing upon recent advancements in data-driven verification, we use only a finite number of s…
eess.SY2025
Data-Driven Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We investigate the problem of verifying different properties of discrete time dynamical systems, namely, reachability, safety and reach-while-avoid. To achieve this, we adopt a dat…