Robust stutter bisimulation for abstraction and controller synthesis with disturbance

DOI10.1016/j.automatica.2023.111394arXiv2205.13959MaRDI QIDQ6152513

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

Publication date: 13 February 2024

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

disturbancesabstractionlinear temporal logiccontroller synthesiscyber-physical systems

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Perturbations in control/observation systems (93C73) Synthesis problems (93B50) Networked control (93B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Augmented finite transition systems as abstractions for control synthesis
• Formal methods for discrete-time dynamical systems
• Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Verification and Control of Hybrid Systems
• Three Partition Refinement Algorithms
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Symbolic Control of Linear Systems Based on Symbolic Subsystems
• Approximation Metrics for Discrete and Continuous Systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

This page was built for publication: Robust stutter bisimulation for abstraction and controller synthesis with disturbance