Formal Guarantees in Data-Driven Model Identification and Control Synthesis

DOI10.1145/3178126.3178145zbMath1417.93115OpenAlexW2796061040MaRDI QIDQ4561447

Sadra Sadraddini, Calin Belta

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3178126.3178145

zbMATH Keywords

control synthesismodel identificationsignal temporal logic

Mathematics Subject Classification ID

System identification (93B30) Synthesis problems (93B50)

Related Items (6)

Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic ⋮ Safety-critical optimal control for autonomous systems ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

This page was built for publication: Formal Guarantees in Data-Driven Model Identification and Control Synthesis