Synthesis using approximately bisimilar abstractions
From MaRDI portal
Publication:2985872
DOI10.1145/1755952.1755969zbMath1361.68147OpenAlexW2122311520MaRDI QIDQ2985872
Publication date: 10 May 2017
Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1755952.1755969
Feedback control (93B52) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Temporal logic model predictive control ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Cites Work
- Unnamed Item
- Unnamed Item
- What's decidable about hybrid automata?
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Discrete-time control for rectangular hybrid automata
- Unfoldings: A partial-order approach to model checking.
- Marked directed graphs
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Synthesis using approximately bisimilar abstractions
