Data-driven verification of stochastic linear systems with signal temporal logic constraints
From MaRDI portal
Publication:2665419
DOI10.1016/j.automatica.2021.109781zbMath1478.93672OpenAlexW3176015044MaRDI QIDQ2665419
Ali Salamati, Sadegh Soudjani, Majid Zamani
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109781
Bayesian inference (62F15) Linear systems in control theory (93C05) Stochastic systems in control theory (general) (93E03) Temporal logic (03B44)
Related Items (3)
Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ Risk verification of stochastic systems with neural network controllers ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A unifying view on SMT-based software verification
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Reactive synthesis from signal temporal logic specifications
- Statistical Model Checking for Cyber-Physical Systems
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis
- Large deviations for sums of partly dependent random variables
- Robust Dual Dynamic Programming
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
- Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
- Computer Aided Verification
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Data-Driven Statistical Learning of Temporal Logic Properties
- Computer Aided Verification
This page was built for publication: Data-driven verification of stochastic linear systems with signal temporal logic constraints