The following pages link to Bisimilar linear systems. (Q1421437):
Displaying 38 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- What can the canonical controller in principle tell us? (Q411695) (← links)
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- A connection between simulation relations and feedback transformations in nonlinear control systems (Q450793) (← links)
- Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← links)
- Controllability properties of nonlinear systems induced by lifting (Q498961) (← links)
- Reorientation of linear switched systems using state feedback (Q522805) (← links)
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Compositional analysis for linear systems (Q609530) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models (Q939010) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Admissible simulation relations, set-valued feedback, and controlled invariance (Q956590) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- A subspace approach to linear dynamical systems (Q1947119) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Nonlinear norm-observability and simulation of control systems (Q2410466) (← links)
- Abstraction and control by interconnection of linear systems: a geometric approach (Q2410471) (← links)
- Local factorization of trajectory lifting morphisms for single-input affine control systems (Q2433416) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- An optimal control approach to mode generation in hybrid systems (Q2499632) (← links)
- Bisimilar control affine systems (Q2503604) (← links)
- Lifting of trajectories of control systems related by smooth mappings (Q2504517) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- A complexity reduction approach to detectability of switching systems (Q3058332) (← links)
