Pages that link to "Item:Q2842819"
From MaRDI portal
The following pages link to Bisimulation relations for dynamical and control systems (Q2842819):
Displaying 18 items.
- 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)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Admissible simulation relations, set-valued feedback, and controlled invariance (Q956590) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Local factorization of trajectory lifting morphisms for single-input affine control systems (Q2433416) (← links)
- Bisimilar control affine systems (Q2503604) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- (Q4552466) (← links)
- Bisimulations of Boolean Control Networks (Q4602534) (← links)
- Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation (Q5004088) (← links)
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829) (← links)
- Hybrid Systems: Computation and Control (Q5307950) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)
- Design of smooth hybrid controllers for a class of non-linear systems (Q6611565) (← links)