MoDeVVa will take place Tuesday 20th October 9:00am-12:30pm EDT (Montreal) (UTC -4)
Session: Keynote
Charles Lesire-Cabaniols
Charles Lesire is a senior researcher at ONERA -- The French Aerospace Lab -- in the Department of
Information Processing and Systems, where he leads the Safe, Embedded and Autonomous Systems
(SEAS) team located in Toulouse, France. Charles received his Master degree in Computer Sciences
and Aerospace Engineering from ENAC (Ecole National de l'Aviation Civile) and University of Toulouse,
France, in 2003, and his Ph.D. in Computer Sciences from University of Toulouse in 2006. Since 2008,
Charles has been a research fellow at ONERA, working on robotics and autonomous systems. In 2019,
Charles received the habilitation degree (HDR) from INP (Institut National Polytechnique), Toulouse,
France. Charles is a IEEE Robotics and Automation Society member, and takes part to several Technical
Committees. Since 2019, he has also been an associated researcher of the Toulouse AI Institute. His
research focuses on applying AI-based decision-making to autonomous multi-robot systems, and on
verification of autonomous systems behaviors.
Formal Models to Program Autonomous Robots
Autonomous Robots are taking a more important place in our lives everyday; the recent situation has
even accelerated their use in health-care applications: for (medical or family) telepresence, people
assistance, or place disinfecting. Using an autonomous robot in contact with humans requires some
guarantees on the robot behavior. These guarantees go from high-level behaviors (capability to assist
the person, respond to a situation) to low-level behaviors (avoiding collisions, stopping on time). In
that context, I will present some works related to the use of formal models and associated verification
techniques at several layers of robot software architectures: (1) component-based models for developing
the functional architecture, with guarantees on the real-time constraints, (2) formal models of robot skills
based on a domain specific language, and (3) the use of Petri net models to program and verify robot
missions.