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
- 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
- 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?)
- 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
(19)- Synthesis of controllers for abstract and structural automata
- Theorem of abstraction for equivalent controllers in hybrid systems
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Bisimulation relations for dynamical and control systems
- Controller/orchestrator synthesis via filtration
- What can the canonical controller in principle tell us?
- Controller synthesis for safety and reachability via approximate bisimulation
- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Bisimulations of Boolean Control Networks
- Bisimilarity enforcing supervisory control for deterministic specifications
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- CONCUR 2004 - Concurrency Theory
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Branching time controllers for discrete event systems
- Compositional analysis for linear systems
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Specifications for decidable hybrid games
- Approximate bisimulation: a bridge between computer science and control theory
- Propagation of nonsingularity between NFSRs via bisimulation method
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)
