Colas Le Guernic
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Toward a sound analysis of guarded LTI loops with inputs by abstract acceleration Static Analysis | 2019-09-16 | Paper |
| Reachable set computation for uncertain time-varying linear systems Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Flowpipe approximation and clustering in space-time Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Computing reachable states for nonlinear biological models Theoretical Computer Science | 2011-05-03 | Paper |
| Reachability analysis of linear systems using support functions Nonlinear Analysis. Hybrid Systems | 2010-08-19 | Paper |
| Approximating the Pareto front of multi-criteria optimization problems Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| Reachability Analysis of Hybrid Systems Using Support Functions Computer Aided Verification | 2009-06-30 | Paper |
| Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
| Hybrid Systems: Computation and Control Lecture Notes in Computer Science | 2007-05-02 | Paper |
Research outcomes over time
This page was built for person: Colas Le Guernic
