Pages that link to "Item:Q5307950"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307950):
Displaying 20 items.
- A connection between simulation relations and feedback transformations in nonlinear control systems (Q450793) (← links)
- Controllability properties of nonlinear systems induced by lifting (Q498961) (← links)
- Reorientation of linear switched systems using state feedback (Q522805) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Admissible simulation relations, set-valued feedback, and controlled invariance (Q956590) (← links)
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems (Q1015374) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Bisimulation of automata (Q1822987) (← links)
- A subspace approach to linear dynamical systems (Q1947119) (← 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)
- Bisimulation relations for dynamical and control systems (Q2842819) (← links)
- Topological (bi-)simulation (Q2847419) (← links)
- (Q4553282) (← links)
- Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems (Q5254883) (← links)
- Hybrid Systems: Computation and Control (Q5703923) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)