The following pages link to Colas Le Guernic (Q533349):
Displayed 9 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Reachable set computation for uncertain time-varying linear systems (Q2986717) (← links)
- Flowpipe approximation and clustering in space-time (Q2986925) (← links)
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis (Q3523109) (← links)
- Approximating the Pareto Front of Multi-criteria Optimization Problems (Q3557068) (← links)
- Reachability Analysis of Hybrid Systems Using Support Functions (Q3636880) (← links)
- Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration (Q5233242) (← links)
- Hybrid Systems: Computation and Control (Q5898983) (← links)