Controller synthesis for bisimulation equivalence
From MaRDI portal
Abstract: The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality.
Recommendations
- Bisimulation relations for dynamical and control systems
- Controller synthesis for safety and reachability via approximate bisimulation
- Bisimulation relations for dynamical, control, and hybrid systems
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Bisimulations of Boolean Control Networks
- Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
- Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
- scientific article; zbMATH DE number 1444344
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- scientific article; zbMATH DE number 1794369
Cites work
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1306878 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- scientific article; zbMATH DE number 781092 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- Achievable behavior of general systems
- Affine control systems: Their equivalence, classification, quotient systems, and subsystems
- Bisimilar control affine systems
- Bisimulation from open maps
- Branching time controllers for discrete event systems
- CONCUR 2004 - Concurrency Theory
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Equivalence of Dynamical Systems by Bisimulation
- Equivalence of switching linear systems by bisimulation
- Hierarchically consistent control systems
- Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems
- Modular system development with pullbacks
- On Simulations and Bisimulations of General Flow Systems
- Quotients of Fully Nonlinear Control Systems
- Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
- Supervisory Control of a Class of Discrete Event Processes
- Transformational design and implementation of a new efficient solution to the ready simulation problem
Cited in
(18)- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- What can the canonical controller in principle tell us?
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Controller synthesis for safety and reachability via approximate bisimulation
- CONCUR 2004 - Concurrency Theory
- Approximate bisimulation: a bridge between computer science and control theory
- Branching time controllers for discrete event systems
- Bisimulation relations for dynamical and control systems
- Compositional analysis for linear systems
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Synthesis of controllers for abstract and structural automata
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Theorem of abstraction for equivalent controllers in hybrid systems
- Controller/orchestrator synthesis via filtration
- Specifications for decidable hybrid games
- Bisimulations of Boolean Control Networks
- Bisimilarity enforcing supervisory control for deterministic specifications
This page was built for publication: Controller synthesis for bisimulation equivalence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2519735)
