Séminaire d’automatique @ Paris-Saclay

This series of seminars aims at disseminating throughout the iCODE community the recent advances concerning the domains of automation and mathematical control theory, as well as related emerging domains.

Organizers:


Next Seminar

14h00-15h00 – Salle du conseil (L2S)

Stability and stabilization of black-box switched linear systems: Probabilistic guarantees and sample complexity

Zheming Wang (Université Catholique de Louvain, Belgium)

Abstract. Data-driven methods have been quite a success in handling complex dynamical systems. In this presentation, I will talk about stability analysis of a particular class of hybrid systems, called switched linear systems, which consist of a finite set of linear dynamics (called modes) and a switching rule that indicates the current active mode of the system. Identification of such systems is often challenging due to hybrid behaviors, except for small systems with a small number of modes. To deal with this challenge, we propose data-driven methods in which we do not require a dynamical model. Instead, our methods only rely on a finite set of observations of system trajectories. To formally evaluate our methods, probabilistic guarantees are derived in the spirit of the scenario approach.

Biography. Zheming Wang is a postdoctoral research in the department of mathematical engineering at UCLouvain in Beligum. He is broadly interested in the area of control theory and optimization. His recent research interests focus on rigorous data-driven methods for analyzing and controlling complex systems with formal guarantees. He received a B.S. degree in Mechanical Engineering from Shanghai Jiao Tong University, China, in 2012, and a Ph.D. degree in Mechanical Engineering from National University of Singapore in 2016.



15h00-16h00

Let’s play! – Solving controller synthesis games for cyber-physical system design.

Anne-Kathrine Schmuck (Max Planck Institute for Software Systems, Germany)

Abstract. Cyber-Physical Systems (CPS) are technical systems where a large software stack orchestrates the interaction of physical and digital components. Such systems are omnipresent in our daily life and their correct behavior is crucial. However, developing safe and reliable CPS is challenging. A promising direction towards this goal is the use of formal methods: automated methodologies that ensure system requirements during design-time. In my talk, I will discuss how infinite two-player games over finite graphs, originating from the formal methods community, can be utilized and enhanced for reliable CPS design. In particular, I will discuss how environment assumptions – used to model particularities of the system under control – can be efficiently incorporated into existing game-solving algorithms for controller synthesis.

Biography. Anne-Kathrin Schmuck studied Engineering Cybernetics at the OvGU Magdeburg in Germany from 2004 to 2009. During her studies she spent one year at UBC in Vancouver, Canada, working with Guy Dumont and six month at LTH in Lund, Sweden, working with Anders Rantzer. From 2010 to 2015 she was a research assistant in the Control Systems Group at TU Berlin working with Jörg Raisch. In March and December 2014 she was a visiting PhD student at the Cyber-Physical Systems Laboratory at UCLA working with Paulo Tabuada. She obtained my PhD degree from TU Berlin in September 2015. From 2015 to 2020 she was a postdoctoral researcher at MPI-SWS in Kaiserslautern working with Rupak Majumdar. In Fall 2020 she received an Emmy Noether Grant from the German Science Foundation (DFG) to establish her own research group at MPI-SWS to develop “Automated Modular Synthesis Techniques for Reliable Cyber Physical System Design”.

Lire la suite

Past Seminars

Séminaire de Nicolas Vanspranghe

10h00-11h00 – Salle du conseil (L2S) Output regulation for infinite-dimensional systems: A forwarding-based approach Nicolas Vanspranghe (GIPSA-lab) Abstract. The output regulation problem for infinite-dimensional nonlinear systems is considered. …
Lire la suite

Séminaire de Paolo Piccione

11h00-12h00 – Salle du conseil (L2S) Minimal 2-spheres in ellipsoids via global bifurcation theory Paolo Piccione (Universidade de São Paulo, Brazil) Abstract. I will give an overview of …
Lire la suite

Séminaire de Lucas Brivadis

14h00-15h00 – Online Infinite-dimensional Luenberger observers: application to a crystallization process Lucas Brivadis (LAGEPP, Université Lyon 1) Abstract. During a crystallization process, the Particle Size Distribution (PSD) is …
Lire la suite

Séminaire de Emmanuel Gobet

11/05/2021 – 16h30-17h30 – Online Federated stochastic control of numerous heterogeneous energy storage systems Emmanuel Gobet (CMAP, École Polytechnique, Palaiseau) Abstract. We propose a stochastic control problem to …
Lire la suite

Séminaire de Frédéric Boyer

06/04/2021 – 14h00-15h00 – Online Dynamics of continuum and soft robots: a strain parametrization based approach Frédéric Boyer (LS2N, IMT-Atlantique, Nantes) Abstract. In this seminar we propose a …
Lire la suite
1 2 3