Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
DOI10.1016/J.AUTOMATICA.2021.109723zbMATH Open1478.93187OpenAlexW3166440625MaRDI QIDQ2665348FDOQ2665348
Authors: Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay 
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109723
Recommendations
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Duality-based nested controller synthesis from STL specifications for stochastic linear systems
- Reactive synthesis from signal temporal logic specifications
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
abstractioncontrol synthesiscontroller constraints and structurecomputational issuesLTL specification
Cites Work
- Bisimilar linear systems.
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximation Metrics for Discrete and Continuous Systems
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- An implementation of an efficient algorithm for bisimulation equivalence
- Title not available (Why is that?)
- A classification of symbolic transition systems
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
- Augmented finite transition systems as abstractions for control synthesis
- Formal methods for discrete-time dynamical systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Bisimulation equivalence of differential-algebraic systems
Cited In (2)
Uses Software
This page was built for publication: Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665348)
