Controller synthesis for bisimulation equivalence

DOI10.1016/j.sysconle.2007.11.005zbMath1154.93324arXiv0706.0929OpenAlexW2964186632MaRDI QIDQ2519735

Paulo Tabuada

Publication date: 27 January 2009

Published in: Systems \& Control Letters (Search for Journal in Brave)

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

zbMATH Keywords

bisimulationcategory theorycontroller synthesis

Mathematics Subject Classification ID

System structure simplification (93B11) Transformations (93B17) Operator-theoretic methods (93B28) Synthesis problems (93B50)

Related Items

Compositional analysis for linear systems, What can the canonical controller in principle tell us?, Bisimulations of Boolean Control Networks, Specifications for decidable hybrid games, Bisimilarity enforcing supervisory control for deterministic specifications, Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm, Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Affine control systems: Their equivalence, classification, quotient systems, and subsystems
• Transformational design and implementation of a new efficient solution to the ready simulation problem
• Bisimulation from open maps
• Achievable behavior of general systems
• Bisimilar control affine systems
• Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems
• Modular System Development with Pullbacks
• On Simulations and Bisimulations of General Flow Systems
• Supervisory Control of a Class of Discrete Event Processes
• Hierarchically consistent control systems
• Equivalence of Dynamical Systems by Bisimulation
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• CONCUR 2004 - Concurrency Theory
• Quotients of Fully Nonlinear Control Systems
• Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
• Equivalence of switching linear systems by bisimulation
• Branching time controllers for discrete event systems