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

DOI10.1109/TAC.2023.3255141MaRDI QIDQ6056061zbMATH OpenOpenAlexFDO

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

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

data-driven barrier certificatesdiscrete-time and continuous-time systemsformal safety verificationrobust convex programscenario convex program

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(6)

• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Estimating infinitesimal generators of stochastic systems with formal error bounds
• Data-driven certificate synthesis
• TRUST: stabili\underline{T}y and safety cont\underline{R}oller synthesis for \underline{U}nknown dynamical models using a \underline{S}ingle \underline{T}rajectory
• Data-driven dynamic controller synthesis for discrete-time general nonlinear systems
• Data-driven safety certificates of infinite networks with unknown models and interconnection topologies

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6056061)