Pages that link to "Item:Q4393076"
From MaRDI portal
The following pages link to Hierarchical hybrid control systems: a lattice theoretic formulation (Q4393076):
Displaying 16 items.
- Symbolic models for control systems (Q868433) (← links)
- The hierarchical control of ST-finite-state machines (Q1127555) (← links)
- On the existence of hybrid models for finite state machines (Q1285722) (← links)
- Controllability and reachability criteria for switched linear systems (Q1614295) (← links)
- An algebraic approach towards the controllability of controlled switching linear hybrid systems (Q1614374) (← links)
- On the construction of safe controllable regions for affine systems with applications to robotics (Q1716618) (← links)
- Necessary and sufficient condition for the controllability of switching linear hybrid systems (Q1888440) (← links)
- Optimality condition-based sensitivity analysis of optimal control for hybrid systems and its application (Q1954937) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Optimal persistent disturbance attenuation control for linear hybrid systems (Q2496817) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- A unified approach to controllability analysis for hybrid control systems (Q2643429) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
