The following pages link to (Q4249562):
Displaying 14 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)
- Guest editorial: Verification of hybrid systems (Q2512155) (← links)
- Verifying industrial hybrid systems with \textsc{MathSAT} (Q2849590) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- The Image Computation Problem in Hybrid Systems Model Checking (Q3612995) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- (Q4806208) (← links)
- (Q4994712) (← links)
- Hybrid Systems: Computation and Control (Q5307932) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)