Pages that link to "Item:Q2406963"
From MaRDI portal
The following pages link to Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis (Q2406963):
Displaying 4 items.
- Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems (Q1737668) (← links)
- An anti-windup approach for nonlinear impulsive system subject to actuator saturation (Q2120430) (← links)
- A novel approach to an impulsive feedback control with and without memory involvement (Q2358713) (← links)
- Characterization, verification and computation of robust controlled invariants for monotone dynamical systems (Q6188526) (← links)
