Abstraction-based optimal controller synthesis using dynamic quantization and RRT*

DOI10.1016/J.SYSCONLE.2025.106259MaRDI QIDQ6910290zbMATH OpenFDO

Authors Chao-Qun Jin, Wei Ren

Publication date 29 October 2025

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.SYSCONLE.2025.106259

zbMATH Keywords

dynamic quantizationlinear temporal logicoptimal controlrapidly-exploring random treessymbolic abstraction

Mathematics Subject Classification ID

Temporal logic (03B44) Existence theories for optimal control problems involving ordinary differential equations (49J15) Synthesis problems (93B50) Nonlinear systems in control theory (93C10)

Cites work

• An Approximate Simulation Approach to Symbolic Control
• Approximately bisimilar symbolic models for nonlinear control systems
• Controller synthesis for safety and reachability via approximate bisimulation
• Diagnosability verification using LTL model checking
• Dynamic quantization of uncertain linear networked control systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Hybrid feedback stabilization of systems with quantized signals
• Linear Encodings of Bounded LTL Model Checking
• LTL model checking for security protocols
• Quantized feedback stabilization of linear systems
• SCOTS: a tool for the synthesis of symbolic controllers
• Static and dynamic quantization in model-based networked control systems
• Symbolic Optimal Control
• Temporal logic motion planning for dynamic robots
• Verification and Control of Hybrid Systems

This page was built for publication: Abstraction-based optimal controller synthesis using dynamic quantization and RRT*

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