Concepedia

Marie-Anne Lefebvre

ML

3

Publications

75

Citations

3

H-Index

2006

Active since

Affiliations

Supélec(Current)

Institut d'Électronique et des Technologies du numéRique

Marie-Anne Lefebvre is an author at Supélec specializing in formal methods, engineering, and safety engineering.

Top concepts

Publications per year

2006–2013

3

Publications

3

Safety verification and reachability analysis for hybrid systems

Hervé Guéguen, Marie-Anne Lefebvre, J. Zaytoon et al. · Annual Reviews in Control · 2009 · 44 citations

, , +6

Hybrid abstractions of affine systems

Marie-Anne Lefebvre, Hervé Guéguen · Nonlinear Analysis · 2006 · 17 citations

, , +3

A Closed-Loop Artificial Pancreas Using a Proportional Integral Derivative with Double Phase Lead Controller Based on a New Nonlinear Model of Glucose Metabolism

Ilham Ben Abbes, Pierre-Yves Richard, Marie-Anne Lefebvre et al. · Journal of Diabetes Science and Technology · 2013 · 14 citations · Full text

Rows per page

1–3 of 3