Date et Lieu
Mardi 5 Février 2019 — LIX, Ecole Polytechnique, Palaiseau
Salle: Grace Hopper
9h00 – Accueil Café
9h30 – Eric Goubault
Présentation du projet.
10h00 – Luc Jaulin
Characterizing discontinuities of an hybrid system
When implementing a non-continuous controller in a physical system, it may happen that the evolution function of the closed-loop system is not anymore piecewise continuous along the trajectory. As a consequence, an unwanted chattering effect may occur. We propose here a set-membership method based on interval analysis to detect different types of discontinuities. As an application, we consider the validation of a sailboat controller. We show that our approach is able to detect and explain some unwanted effects that may sometimes be observed in rare specific situations on our actual sailboat robots.
10h45 – Alexandre Chapoutot
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
We propose a numerical analysis of sequences of points of interest associated to the dynamics of hybrid systems. These sequences are made of instants of switching mode or instants when a particular quantity vanishes. This analysis allows one to discover instant of accumulation points, a.k.a. Zeno phenomenon. Some examples are given to show the potential of this approach.
11h20 – Thoma Le Mézo
Floats – underwater robots that can regulate there depth – are widely used in oceanography. They are equipped with instruments such as temperature, pressure or conductivity sensors. By carrying out profiles of the ocean up to 6000 meters, they help to a better understanding of the ocean and provide crucial data for models. A “good” regulation of such robots is a key challenge as they need to operate for a long period of time with a low energy consumption context. Furthermore, new applications requires now an accurate depth regulation to follow what oceanographer called internal waves. We will propose a regulator for such robots and will look at the issue of its validation.
12h00 – Repas Club Magnan
14h00 – Pierre-Loïc Garoche
Convex MPC trajectory planning — Verification issues
In this talk we will present the basic principles behind the design of a convex MPC used to build suitable trajectories online. We will then try to enumerate the issues and verification concerns at each stage of the algorithm and the current available results.
14h45 – Eric Goubault
Some perspectives in offline and online validation of temporal properties on crazyflies 2.0.
15h30 – Discussion
16h30 – Fin