The following pages link to Bisimilar control affine systems (Q2503604):
Displaying 28 items.
- 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)
- 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)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Approximate reduction of dynamic systems (Q932129) (← links)
- Admissible simulation relations, set-valued feedback, and controlled invariance (Q956590) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Hierarchical trajectory refinement for a class of nonlinear systems (Q1776424) (← links)
- Cost-extended control systems on Lie groups (Q2255092) (← 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)
- Lifting of trajectories of control systems related by smooth mappings (Q2504517) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- On quotients of Boolean control networks (Q2663889) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- Bisimulation equivalence of differential-algebraic systems (Q4568011) (← links)
- Bisimulations of Boolean Control Networks (Q4602534) (← links)
- Input-Output-to-State Stability of Systems Related through Simulation Relations (Q4965186) (← links)
- Bisimulations of Probabilistic Boolean Networks (Q5103921) (← links)
- Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems (Q5254883) (← links)
- Equivalence of switching linear systems by bisimulation (Q5758269) (← links)
- Reduction and Analysis of Boolean Control Networks by Bisimulation (Q5858102) (← links)
