A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems...

Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning

M Liu, P Lu, X Chen, O Sokolsky, I Lee… - 2024 IEEE Real-Time …, 2024 - ieeexplore.ieee.org
Meeting deadlines is a fundamental requirement of cyber-physical systems (CPS) in real-
time applications to consolidate their reliability and effectiveness in executing timecritical …
Save Cite Related articles All 2 versionsFree GPT-4
[Free GPT-4]
[PDF] arxiv.org

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

M Nazeri, T Badings, S Soudjani, A Abate - arxiv preprint arxiv …, 2025 - arxiv.org
The automated synthesis of control policies for stochastic dynamical systems presents
significant challenges. A standard approach is to construct a finite-state abstraction of the …
Save Cite Related articles All 2 versionsFree GPT-4 View as HTML