Marie-Anne Lefebvre

Safa Jedidi, Romain Bourdais, Marie-Anne Lefebvre. Preservation of structural identifiability in expanded systems. European Journal of Control, Elsevier, 2018, 40, pp.48 - 52. ⟨10.1016/j.ejcon.2017.11.003⟩. ⟨hal-01877440⟩

I. Guilhem, M. Penet, A. Paillard, Marc Carpentier, A. Esvant, et al.. Manual Closed-Loop Insulin Delivery Using a Saddle Point Model Predictive Control Algorithm: Results of a Crossover Randomized Overnight Study. Journal of diabetes science and technology, Diabetes Technology Society, 2017, 11 (5), pp.1007-1014. ⟨10.1177/1932296817717503⟩. ⟨hal-01614703⟩

Safa Jedidi, Romain Bourdais, Jean Buisson, Marie-Anne Lefebvre. Identifiabilité structurelle et identification de systèmes interconnectés. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2017, 50 (1-2), pp.137-155. ⟨10.3166/jesa.50.137-155⟩. ⟨hal-01533267⟩

Annabelle Esvant, Marie-Anne Lefebvre, Boris Campillo-Gimenez, Morgane Lannes, Denis Delamarre, et al.. A Mobile Application Guiding Patients With Type 1 Diabetes Using Sensor-Augmented Insulin Pump Therapy. Journal of diabetes science and technology, Diabetes Technology Society, 2016, 10 (4), pp.985-986. ⟨10.1177/1932296816633486⟩. ⟨hal-01279134⟩

Ilham Ben Abbes, Pierre-Yves Richard, Marie-Anne Lefebvre, Isabelle Guilhem, Jean-Yves Poirier. A Closed-Loop Artificial Pancreas Using a Proportional Integral Derivative with Double Phase Lead Controller Based on a New Nonlinear Model of Glucose Metabolism. Journal of Diabetes Science and Technology, 2013, 7 (3), pp.699-707. ⟨10.1177/193229681300700315⟩. ⟨hal-00858837⟩

Isabelle Guilhem, Marie-Anne Lefebvre, Y. Assayag, E. Lam, Jean-Yves Poirier. Insulin pump-rt advisor: a decision support software for diabetic patients treated by insulin pump and using continuous glucose monitoring. Diabetes Technology and Therapeutics, Mary Ann Liebert, 2013, 15 (supplémént 1), pp.A105-A106 P-218. ⟨10.1089/dia.2012.1221⟩. ⟨hal-00905683⟩

Jean-Yves Poirier, Isabelle Guilhem, Ilham Ben Abbes, Marie-Anne Lefebvre. Automatic control of blood glusose is regulated by a controller SCIP on a new model insulin-glucose: study of robustness in silico. Diabetes and Metabolism, Elsevier Masson, 2012, 38 (2), pp.A106. ⟨hal-00907425⟩

Jean-Yves Poirier, Pierre-Yves Richard, Isabelle Guilhem, Hervé Cormerais, Marie-Anne Lefebvre, et al.. A new control law for the closed loop insulin therapy: first results in silico type 1 diabetes. Diabetes and Metabolism, Elsevier Masson, 2010, 36 (1), pp.A78. ⟨hal-00619631⟩

B. Attal-Trétout, F. Grisch, D. Packan, I. Ribet-Mohamed, M.A. Lefebvre. Laser Spectroscopy for in Situ Diagnostics.. Aerospace Lab, Alain Appriou, 2009, 1, p. 1-19. ⟨hal-01181182⟩

Hervé Guéguen, Marie-Anne Lefebvre, J. Zaytoon, Othman Nasri. Safety verification and reachability analysis for hybrid systems. Annual Reviews in Control, Elsevier, 2009, 33 (1), pp.25-36. ⟨10.1016/j.arcontrol.2009.03.002⟩. ⟨hal-00396205⟩

Guy-Bart Stan, F. Belmudes, R. Fonteneau, Marie-Anne Lefebvre, C. Michelet, et al.. Modelling the influence of activation-induced apoptosis of CD4+ and CD8+ T-cells on the immune system response of a HIV-infected patient. IET Systems Biology, Institution of Engineering and Technology, 2008, 2, pp. 94-102. ⟨hal-00365688⟩

Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen, J. Zaytoon. Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2007, 41 (n°7-8), pp.855-912. ⟨hal-00204246⟩

Marie-Anne Lefebvre, Hervé Guéguen. Hybrid Abstraction of Affine Systems. Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2006, 65, pp.1150-1167. ⟨10.1016/j.na.2005.12.016⟩. ⟨hal-00084337⟩

Marie-Anne Lefebvre, Hervé Guéguen, Jean Buisson. Hybrid Approximation for Continuous Systems. Modelling of reactive systems, 2002, 36 (7), pp.959-971. ⟨hal-00933404⟩

Safa Jedidi, Romain Bourdais, Jean Buisson, Marie-Anne Lefebvre. Identifiabilité structurelle et identification de systèmes couplés par les sorties. JDMACS 2015, Jun 2015, Bourges, France. ⟨hal-01243579⟩

Safa Jedidi, Romain Bourdais, Jean Buisson, Marie-Anne Lefebvre. Structural Identifiability and Identification of Systems under Output Couplings. 17th IFAC Symposium on System Identification (SYSID 2015), Oct 2015, Pékin, China. pp.1409-1414. ⟨hal-01242813⟩

Ilham Ben Abbes, Pierre-Yves Richard, Marie-Anne Lefebvre, Isabelle Guilhem, Jean-Yves Poirier. Régulation de la glycémie par un correcteur de type PID réglé sur un nouveau modèle du système insuline-glucose. CIFA 2012, Jul 2012, Grenoble, France. pp.NC. ⟨hal-00858825⟩

Ilham Ben Abbes, Marie-Anne Lefebvre, Hervé Cormerais, Pierre-Yves Richard, Isabelle Guilhem, et al.. A New Control Model for Closed-loop Algarithms in Type 1 Diabetes. ATTD 2011, Feb 2011, Londres, United Kingdom. ⟨hal-00638924⟩

Ilham Ben Abbes, Marie-Anne Lefebvre, Hervé Cormerais, Pierre-Yves Richard. A new model for closed-loop control in type 1 diabetes. 18th IFAC World Congress, Aug 2011, Milan, Italy. pp.8360-8365, ⟨10.3182/20110828-6-IT-1002.02154⟩. ⟨hal-00643537⟩

Othman Nasri, Hervé Guéguen, Marie-Anne Lefebvre. Reachability Analysis for Nonlinear Systems by Guaranteed Piecewise Affine Approximation. MED 2010 (MCCA : Mediterranean Conference on Control and Automation), Jun 2010, Marrakech, Morocco. pp.1218-1223. ⟨hal-00495967⟩

Jean-Yves Poirier, Pierre-Yves Richard, Isabelle Guilhem, Hervé Cormerais, Marie-Anne Lefebvre, et al.. Une nouvelle loi de commande pour l'insulinothérapie en boucle fermée : premiers résultats in silico dans le diabète de type 1. SFD 2010, Mar 2010, Lille, France. ⟨hal-00492700⟩

Othman Nasri, Hervé Guéguen, Marie-Anne Lefebvre. Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties. CIFA 2010 Conférence Internationale Francophone d'Automatique, Jun 2010, Nancy, France. pp.NC. ⟨hal-00491040⟩

Pierre-Yves Richard, Hervé Cormerais, Marie-Anne Lefebvre, Ilham Ben Abbes, Isabelle Guilhem, et al.. CLOSED-LOOP INSULIN DELIVERY BASED ON ERROR DYNAMICS SHAPING: IN SILICO TRIAL IN TYPE 1 DIABETES. ATTD 2010, Feb 2010, Bâle, Switzerland. ⟨hal-00492605⟩

Hervé Cormerais, Pierre-Yves Richard, Marie-Anne Lefebvre, Isabelle Guilhem, Jean-Yves Poirier, et al.. Passivity based control of blood glucose: an alternative closed-loop strategy for the treatment of type 1 diabetes. 2nd international conference on Advanced Technologies and Treatments for Diabetes, Feb 2009, Athènes, Greece. ⟨hal-00396280⟩

Hervé Guéguen, Marie-Anne Lefebvre, Othman Nasri, J. Zaytoon. Safety Verification and reachability analysis for hybrid systems.. 17th IFAC World Congress 2008, Jul 2008, Séoul, South Korea. 8949-8959 (11 p.). ⟨hal-00326039⟩

Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen. Reachability computation for uncertain planar affine systems using linear abstractions. ADHS06: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006, Alghero, Italy. http://www.ifac-papersonline.net. ⟨hal-00084340⟩

Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen. Abstraction Based Reachability Computation for Affine Systems with Bounded Input. 2006 CDC Conference on Decision and Control, Dec 2006, san-diego, United States. pp.2609-2613, ⟨10.1109/CDC.2006.377407⟩. ⟨hal-00121725⟩

Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen. Hybrization based reachability of uncertain planar affine systems. ETFA 2005 : 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005, Catania, Italy. pp.II-355, II-360. ⟨hal-00015663⟩

Marie-Anne Lefebvre, Hervé Guéguen. Hybrid Abstraction of Affine Systems. 16th IFAC World Congress, Jul 2005, Prague, Czech Republic. ⟨hal-00779097⟩

Marie-Anne Lefebvre, Hervé Guéguen, Jean Buisson. Structured hybrid abstractions of continuous systems. IFAC WORLD Conference, Jul 2002, Barcelone, Spain. ⟨hal-00953263⟩

Hervé Cormerais, Pierre-Yves Richard, Isabelle Guilhem, Jean-Yves Poirier, Marie-Anne Lefebvre. Système de régulation du glucose sanguin d'un sujet vivant diabétique et produit programme d'ordinateur correspondant. N° de brevet: 0951146. 2009. ⟨hal-00396279⟩

Isabelle Guilhem, Marie-Anne Lefebvre, Y. Assayag, E. Lam, Jean-Yves Poirier. Insulin pump-rt advisor: a decision support software for diabetic patients treated by insulin pump and using continuous glucose monitoring. 2013. ⟨hal-00934821⟩