The following pages link to (Q4249562):
Displayed 7 items.
- Simultaneous state and input estimation of hybrid systems with unknown inputs (Q875973) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Optimal control of sampled-data piecewise affine systems (Q1433068) (← links)
- A clustering technique for the identification of piecewise affine systems (Q1869260) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)