Concepedia

Colas Le Guernic

CL

Statistics

Publications

8

Citations

679

H-Index

8

Active since

2006

Affiliations

Verimag(Current)

Université Joseph Fourier

Centre National de la Recherche Scientifique

Laboratoire Jean Kuntzmann

Université Grenoble Alpes

Colas Le Guernic is an author at Verimag specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceMathematical ProgrammingComputer EngineeringComputational GeometryComputational ComplexityCombinatorial OptimizationDesign

Publications per year

2006–2017

8

Publications

8

Reachability analysis of linear systems using support functions

Colas Le Guernic, Antoine Girard · Nonlinear Analysis Hybrid Systems · 2009 · 199 citations

Reachability Analysis, Linear Systems, Reliability Engineering +6

Recent progress in continuous and hybrid reachability analysis

Eugène Asarin, Thao Dang, Goran Frehse et al. · 2006 · 106 citations

Mathematical Programming, Engineering, Reachability Problem +17

Efficient Reachability Analysis for Linear Systems using Support Functions

Antoine Girard, Colas Le Guernic · IFAC Proceedings Volumes · 2008 · 105 citations

Mathematical Programming, Reachability Analysis, Linear Systems +7

Reachable set computation for uncertain time-varying linear systems

Matthias Althoff, Colas Le Guernic, Bruce H. Krogh · 2011 · 92 citations · Full text

Reachability Analysis, Linear Systems, Real-time Control +12

Flowpipe approximation and clustering in space-time

Goran Frehse, Rajat Kateja, Colas Le Guernic · 2013 · 68 citations

Mathematical Programming, Cluster Computing, Flowpipe Approximation +19

1–5 of 8