Pages that link to "Item:Q1883517"
From MaRDI portal
The following pages link to Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings. (Q1883517):
Displaying 9 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Necessary and sufficient conditions for reachability on a simplex (Q880386) (← links)
- An optimal fault detection approach for piecewise affine systems via diagnostic observers (Q1679862) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Robust uniformly ultimate boundedness control for uncertain switched linear systems (Q2519511) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
