Data-driven abstraction-based control synthesis

DOI10.1016/J.NAHS.2024.101467MaRDI QIDQ6551651zbMATH OpenFDO

Authors M. Kazemi, Rupak Majumdar, Sadegh Soudjani, Ben Wooding

Publication date 7 June 2024

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2024.101467

zbMATH Keywords

sample complexityformal controller synthesisabstraction-based methodsdata-driven synthesis

Mathematics Subject Classification ID

Synthesis problems (93B50) Temporal logic (03B44)

Recommendations

• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• Data-driven controller synthesis for abstract systems with regular language specifications
• Lazy abstraction-based controller synthesis
• Flexible computational pipelines for robust abstraction-based control synthesis
• Multi-layered abstraction-based controller synthesis for continuous-time systems

Cites work

• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3059231 (Why is no real title available?)
• Acceleration of Global Search by Implementing Dual Estimates for Lipschitz Constant
• An Information Global Optimization Algorithm with Local Tuning
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• Estimation of the Lipschitz constant of a function
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• Formal methods for discrete-time dynamical systems
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
• Model-based reinforcement learning for approximate optimal control with temporal logic specifications
• Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• SCOTS: a tool for the synthesis of symbolic controllers
• Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
• The Scenario Approach to Robust Control Design
• Verification and Control of Hybrid Systems
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems

Cited in

(2)

• 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 verification and synthesis of stochastic systems via barrier certificates

This page was built for publication: Data-driven abstraction-based control synthesis

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