Bisimulation relations for dynamical and control systems
From MaRDI portal
Recommendations
- Bisimulation relations for dynamical, control, and hybrid systems
- Hybrid Systems: Computation and Control
- Equivalence of Dynamical Systems by Bisimulation
- Controller synthesis for bisimulation equivalence
- Bisimulations of Boolean Control Networks
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- scientific article; zbMATH DE number 1444344
- Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
- Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
- Bisimulation equivalence of differential-algebraic systems
Cites work
- Adaptive output feedback control of nonlinear systems represented by input-output models
- Barbed bisimulation
- Bisimilar control affine systems
- Bisimilar linear systems.
- Bisimulation from open maps
- Bisimulation through probabilistic testing
- CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999
- Hierarchically consistent control systems
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 1005873 (Why is no real title available?)
- scientific article; zbMATH DE number 1059325 (Why is no real title available?)
- scientific article; zbMATH DE number 205892 (Why is no real title available?)
- scientific article; zbMATH DE number 3365976 (Why is no real title available?)
- Manifolds, tensor analysis, and applications.
- Open maps, behavioural equivalences, and congruences
- Universal coalgebra: A theory of systems
Cited in
(21)- Bisimilar linear systems.
- Hybrid process algebra
- Local factorization of trajectory lifting morphisms for single-input affine control systems
- Bisimilar control affine systems
- Controller synthesis for bisimulation equivalence
- Bisimulation relations for dynamical, control, and hybrid systems
- On Bicontinuous Bisimulation and the Preservation of Stability
- A semiring approach to equivalences, bisimulations and control
- A connection between simulation relations and feedback transformations in nonlinear control systems
- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Bisimulation equivalence of differential-algebraic systems
- Bisimulations of Boolean Control Networks
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Hybrid Systems: Computation and Control
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Design of smooth hybrid controllers for a class of non-linear systems
- Approximate bisimulation: a bridge between computer science and control theory
- Admissible simulation relations, set-valued feedback, and controlled invariance
This page was built for publication: Bisimulation relations for dynamical and control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842819)
