Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems

The essential step of abstraction-based control synthesis for nonlinear systems to satisfy a given specification is to obtain a finite-state abstraction of the original systems. The complexity of the abstraction is usually the dominating factor that determines the efficiency of the algorithm. For th...

Full description

Bibliographic Details
Main Authors: Yiming Meng, Jun Liu
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Open Journal of Control Systems
Subjects:
<named-content xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" content-type="math" xlink:type="simple"> <inline-formula> <tex-math notation="LaTeX">$\mathcal{L}^{1}$</tex-math> </inline-formula> </named-content>-perturbation
abstraction
completeness
control synthesis
decidability
linear-time property
Online Access:https://ieeexplore.ieee.org/document/10179944/

Internet

https://ieeexplore.ieee.org/document/10179944/

Similar Items