Bisimilar linear systems.
From MaRDI portal
Recommendations
Cites work
- Bisimilar linear systems.
- Bisimulation relations for dynamical and control systems
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Characterizing finite Kripke structures in propositional temporal logic
- Compositionality issues in discrete, continuous, and hybrid systems
- Computational techniques for hybrid system verification
- Consistent abstractions of affine control systems
- Hierarchical control of discrete-event systems
- Hierarchically consistent control systems
- scientific article; zbMATH DE number 3987117 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1956650 (Why is no real title available?)
- Model abstraction and inclusion principle: a comparison
- O-minimal hybrid systems.
- Projection and deflation method for partial pole assignment in linear state feedback
- The generalized eigenstructure problem in linear system theory
Cited in
(54)- Approximate equivalence and synchronization of metric transition systems
- Bisimilar linear systems.
- Approximate analyzing of labeled transition systems
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Decentralized abstractions for multi-agent systems under coupled constraints
- A subspace approach to linear dynamical systems
- Bisimulations for neural network reduction
- A unified framework for differential aggregations in Markovian process algebra
- Nonlinear norm-observability and simulation of control systems
- Abstraction and control by interconnection of linear systems: a geometric approach
- Local factorization of trajectory lifting morphisms for single-input affine control systems
- Approximate bisimulation relations for constrained linear systems
- An optimal control approach to mode generation in hybrid systems
- Bisimilar control affine systems
- Lifting of trajectories of control systems related by smooth mappings
- Bisimulation relations for dynamical, control, and hybrid systems
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Quantitative abstractions for collective adaptive systems
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Bisimulation relations for dynamical and control systems
- Differential bisimulation for a Markovian process algebra
- A complexity reduction approach to detectability of switching systems
- On Bicontinuous Bisimulation and the Preservation of Stability
- Theory and computation of discrete state space decompositions for hybrid systems
- What can the canonical controller in principle tell us?
- A framework for multi-robot motion planning from temporal logic specifications
- A connection between simulation relations and feedback transformations in nonlinear control systems
- Bisimulation equivalence of differential-algebraic systems
- Bisimulations of Boolean Control Networks
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Input-output-to-state stability of systems related through simulation relations
- Controllability properties of nonlinear systems induced by lifting
- Bisimulations of probabilistic Boolean networks
- Reorientation of linear switched systems using state feedback
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Simulation relations and controllability properties of linear and nonlinear control systems
- Hybrid Systems: Computation and Control
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Equivalence of switching linear systems by bisimulation
- Reduction and analysis of Boolean control networks by bisimulation
- Symbolic computation of differential equivalences
- SetExp: a method of transformation of timed automata into finite state automata
- Compositional analysis for linear systems
- Design of smooth hybrid controllers for a class of non-linear systems
- Bisimulations for delayed switched Boolean control networks and its application in controllability
- Approximate bisimulation: a bridge between computer science and control theory
- Language-based abstractions for dynamical systems
- Symbolic models for control systems
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
- Approximate simulation relations for hybrid systems
- Admissible simulation relations, set-valued feedback, and controlled invariance
This page was built for publication: Bisimilar linear systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1421437)
