The goal of my research is improving the safety of systems by formal methods as synthesis, verification or theorem proving for the Discret Event Systems (DES). My firsts interests were focused on mode management in using Supervosiry Control Theory. More recently, my works concerns smart home topic, oriented to dependent people. These works focus the safety on people, regards to their location and their activities. Methods use are Identification, and Workflow mining.

Ph.D-in-progress

• Yan MONIER, "Adaptative Identification by Hybrid model in the context of the Digital Twin of Cuber-physical system", ENS Paris-Saclay (Ph.D 2021-2024)
  

Ph.D

• Kevin FOUQUET, "Detection of life habits evolution of frail people in a smart dwelling", ENS Paris-Saclay 2021 (Ph.D 2018-2021)

• Kevin VIARD, "Modelling and Recognition of Human Activities of Daily Living in a Smart Home", ENS Paris-Saclay 2018 (Ph.D 2015-2018)

• Jérémie SAIVES, "Distributed Identification for Concurrent discret event systems", ENS Cachan 2013 (Ph.D 2013-2016)

• Co-Chair of the Technical Comittee (TC) : "Automation in Health Care Management" for IEEE Robotics & Automation Society (Link to the TC-Website)

• Project on Healthcare (with Maria Pia Fanti of Polytecnico di Bari and Walter Ukovich of Trieste University, Italy) : « Advanced IT platform enabling well being and healthcare at home : healthyHome ».

• Reviewer for many International Conferences : ETFA, CASE, DCDS, ECC, IROS, Incom, MED, and for french scientific journal : JESA

• Publications : 7 articles JCR (Q1) / 15 papers in Internationales Conferences

• Supervision :
o 4 Ph.D (1-in-running)
o 12 master students.

• Co-chair of the Technical Committees “Automation in healthcare management” of the IEEE Robotics and Automation Society (IEEE RAS)

• Associate Editor of conferences IEEE CASE et IEEE SMC

• Member of the associations « ClubEEA » and « SAGIP »

• Elected member of the CNU 61e section (2019-2023)