François Félix Ingrand

This page lists the current experiments I carry on our various platforms. Mostly links to others pages describing these experiments in more details. The point here is to show that the approaches we are considering for V&V of autonomous systems are in fact usable, used and useful.

Recently, I have conducted experiments with Skills and Behavior Trees:

• ProSkill and a paper describing the language and the experiment.
• BT2Fiacre and some documentation on this approach.

Older work on using GenoM3 Fiacre template to make offline verification but also runtime verification of various robotics platforms:

• The drone experiment
• The Minnie experiment
• The Osmosis experiment

Some docker containers with some experiments:

• The Color Tracker Robot in a docker container. Everything is included in the docker. I use this example for the course I am teaching at UPSSITECH and ISAE.
• The drone experiment. You will need the gazebo gzclient running on the host (along docker).