Marie-Anne Lefebvre - Concepedia

Author

Marie-Anne Lefebvre

Also Known As

Lefebvre, Marie-Anne, M.-A Lefebvre, M.-A. Lefebvre, M.A. Lefebvre, Marie-Anne LEFEBVRE, Marie-Anne Lefebvre

Publications

102

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Formal Methods	2	2	61
2	Engineering	1	1	44
3	Systems Engineering	1	1	44
4	Formal Verification	1	1	44
5	Geometry	1	1	17

Marie-Anne Lefebvre

Publications

Citations

H-Index

Page 1

	Year	Citations
Safety verification and reachability analysis for hybrid systems Hervé Guéguen, Marie-Anne Lefebvre, J. Zaytoon, Annual Reviews in Control Safety EngineeringSafety-critical SystemEngineeringReachability ProblemVerification	2009	44
Hybrid abstractions of affine systems Marie-Anne Lefebvre, Hervé Guéguen Nonlinear Analysis GeometryFormal MethodsAbstraction (Computer Science)Model AbstractionHybrid Abstractions	2006	17
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, Journal of Diabetes Science and Technology	2013	14

Page 1