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 5 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)
- Verification and Synthesis of Timing Contracts for Embedded Controllers (Q2988969) (← links)
- Characterization, verification and computation of robust controlled invariants for monotone dynamical systems (Q6188526) (← links)
