Feedback Refinement Relations for the Synthesis of Symbolic Controllers

DOI10.1109/TAC.2016.2593947zbMath1366.93363arXiv1503.03715OpenAlexW3104168345MaRDI QIDQ5282424

Matthias Rungger, Alexander Weber, Gunther Reißig

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1503.03715

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Dynamical systems in control (37N35)

Related Items (34)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Abstraction and control by interconnection of linear systems: a geometric approach ⋮ Abstraction-based control synthesis using partial information ⋮ The refinement calculus of reactive systems ⋮ Compositional abstraction refinement for control synthesis ⋮ OmegaThreads ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Synthesis of event-triggered controllers for SIRS epidemic models ⋮ Towards scalable synthesis of stochastic control systems ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Convergent under-approximations of reachable sets and tubes: a piecewise constant approach ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

This page was built for publication: Feedback Refinement Relations for the Synthesis of Symbolic Controllers