Formal stabilization of a coupled ODE-PDE switched system

16 Dec 2024 in Publications

with A. Le Coënt and K. Kergrene.

Proceedings Version

PDF

This work studies formal control guarantees for a coupled ODE-PDE switched system. The main challenge is to certify stability for an infinite-dimensional system without relying on a direct discretization of the PDE state.

1. Le Coënt, A., Vacher, J. & Kergrene, K. Formal stabilization of a coupled ODE-PDE switched system. in 2024 IEEE 63rd Conference on Decision and Control (CDC) 6341–6348 (IEEE, 2024).

   @inproceedings{lecoent2024formalstab,
     title = {Formal stabilization of a coupled ODE-PDE switched system},
     author = {Le Co{\"e}nt, Adrien and Vacher, Jonathan and Kergrene, Kenan},
     booktitle = {2024 IEEE 63rd Conference on Decision and Control (CDC)},
     pages = {6341-6348},
     year = {2024},
     organization = {IEEE}
   }
   

Overview

The approach combines model reduction, superposition arguments, and tiling-based control synthesis to turn the problem into a finite-dimensional one that is numerically tractable while keeping the guarantee attached to the original infinite-dimensional dynamics. The concrete example is a switched ODE coupled to a heat equation.