Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

DOI10.1109/tac.2023.3255141OpenAlexW4323914099MaRDI QIDQ6056061

Sadegh Soudjani, Abolfazl Lavaei, Majid Zamani, Pushpak Jagtap, Ameneh Nejati

Publication date: 29 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2023.3255141

zbMATH Keywords

discrete-time and continuous-time systemsformal safety verificationdata-driven barrier certificatesrobust convex programscenario convex program

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

Estimating infinitesimal generators of stochastic systems with formal error bounds

This page was built for publication: Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach