English

Continuous-time Data-driven Barrier Certificate Synthesis

Systems and Control 2025-08-11 v2 Systems and Control

Abstract

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 sampled trajectories to learn a barrier certificate, namely a function which verifies safety. We train a safety-informed neural network to act as this certificate, with an appropriately designed loss function to encompass the safety conditions. In addition, we provide probabilistic generalisation guarantees from discrete samples of continuous trajectories, to unseen continuous ones. Numerical investigations demonstrate the efficacy of our approach and contrast it with related results in the literature.

Keywords

Cite

@article{arxiv.2503.13392,
  title  = {Continuous-time Data-driven Barrier Certificate Synthesis},
  author = {Luke Rickard and Alessandro Abate and Kostas Margellos},
  journal= {arXiv preprint arXiv:2503.13392},
  year   = {2025}
}

Comments

Accepted at CDC 2025. arXiv admin note: text overlap with arXiv:2502.05510

R2 v1 2026-06-28T22:23:56.107Z