Welcome to the professional web page of Dr. Timothée Schmoderer. TS is an engineer who graduated from INSA Rouen Normandie with a specialization in applied mathematics. In 2018, he received two Masters degrees in theoretical and applied mathematics, one from Sorbonne Université (Paris VI) and the other from Normandie Université. TS started in 2018 a thesis in nonlinear control theory under the supervision of Witold Respondek from LMI (INSA Rouen Normandie, Rouen) and Emmanuel Trélat from LJLL (Sorbonne Université, Paris). He successfully defended his Ph.D thesis on the 21st of June 2022. In 2023, TS was appointed as a one year post-doctoral fellow in the control of time-delay dynamical systems at Inria DISCO team (L2S, CentraleSupélec). TS now assumes the role of Associate Professor at Polytech Orléans and is a member of the PRISME Laboratory (University of Orléans).

Content:

  1. Research interests
  2. Short CV
  3. Publications
  4. Softwares
  5. Invitations
  6. Teaching
  7. Reviewer activites
  8. Administrative functions

Research interests

TS’s expertise lies in the field of nonlinear control theory, which encompasses a wide range of both theoretical and practical aspects of control systems. He is particularly interested in exploring the following research topics: the characterisation and classification of quadratic control systems, the study of the Lie algebra of infinitesimal symmetries of control-systems, the study of trivial control systems and their relation to control-curvature, the motion planning problem and the development of practical algorithms for determining control laws, and the stabilization of linear time-delay systems…

Keywords: Nonlinear control system, Quadratic nonholonomic constraints, Feedback equivalence, Normal forms, Lie algebra of infinitesimal symmetries, Control curvature, Motion planning, Continuation method, Regularization techniques (e.g. Tikhonov regularization), Time-delay systems, Stabilization, Complex analysis

Characterisation and classification of quadratic control systems

The main contribution of TS thesis to control theory is the extensive study of quadratic control systems, i.e. nonlinear systems of the form $\dot{x}(t)=F(x(t),u(t))$, whose trajectories satisfiy a scalar equation of the form

\[\class{my-mathjax-math-style}{S_q(x,\dot{x})=\dot{x}^t\textsf{g}(x)\dot{x}+2\omega(x)\dot{x}+h(x)=0,\label{eq:quadratic}}\]

where $x$ belongs to a smooth $n$-dimensional manifold, $\textsf{g}$ is a smooth $(0,2)$-tensor (possibly degenerated), $\omega$ is a smooth one-form, and $h$ is a smooth function. This study generalizes the classical feedback classification of control-affine and control-linear systems, respectively given by

\[\dot{x}(t) = f(x)+g(x)u\quad\textrm{and}\quad \dot{x}(t)=g(x)u\nonumber.\]

TS’s thesis provides a complete characterization and a classifcation of control-systems that satisfy \eqref{eq:quadratic} when $\dim x=2$ and $\dim u=1$, including the case when $\textrm{rk}(\textsf{g})$ is non-constant. When the rank of $\textsf{g}$ is constant and equal to $n-1$, a complete characterization is obtained in the case of an $n$-dimensional state space, and the identified class of control systems is referred to as the paraboloid control systems.

Future Research Directions: generalise the $2$-dimensional case and characterise control systems satisying \eqref{eq:quadratic} with full generality of $n$ and rank of $\textsf{g}$, study the property of the identifyed class (e.g. controlability, stability, …), extend the $2$-dimensional case to equations of the form \eqref{eq:quadratic} with additional polynomial terms in $\dot{x}$ of order higher than three…

Symmetries of control systems

In the study of quadratic and trivial control systems, TS demonstrated that the simplest classes (that can be represented by a normal form without any functional or real continuous parameters) are uniquely identified by their Lie algebra of infinitesimal symmetries. This implies that if a given control system has a Lie algebra of infinitesimal symmetries that is isomorphic to the Lie algebra of symmetries of a particular class, then the system is feedback equivalent to the corresponding normal form that represents the class.

Future Research Directions: obtain a general comprehension of the class of control-systems that are determined by their symmetries, give a characterisation of the Lie algebra that can be symmetries of control systems…

Motion planning

In TS’s thesis, he study the motion planning problem (MPP), that is, the problem of designing and studying algorithms that (for a given control-nonlinear system) compute controls realizing a certain target trajectory. Specifically, for a given control system of the form $\dot{x}(t)=F(t,x(t),u(t))$, the MPP amounts solving an inverse problem on the input-output map

\[\begin{align} E_{T,x_0}\,:\, U([0,T],\mathbb{R}^m)&\longrightarrow \mathbb{R}^n\nonumber \\ u&\longmapsto E_{T,x_0}(u) = x(T,u,x_0),\nonumber \end{align}\]

which maps a control to the endpoint of the associated trajectory. In his work, TS propose a regularisation of the continuation method (CS) introduced by Chitour and Sussmann at the beginning of the century. The classical version of the continuation method reduces the MPP to solving an ordinary differential equation on $U([0,T],\mathbb{R}^m)$, which might be singular at some points and might not posses a global solution. The regularised version of the CM proposed by TS tackles both the problem of singularity and the existence of a global solution. In his thesis, he shows the potential of his method through several numerical examples.

Future Research Directions: further theoretical analysis on the regularised continuation method, study in details the effect of the proposed regularisation, incorporate other types of regularisation, high-performance computing implementation, add constraints on the set of controls and state.

Trivial control-systems

After completing his thesis, TS became interested in the concept of trivial control systems, which are systems whose dynamics depend only on the controls (or controlled variables) and are represented by either of the following forms:

\[\dot{x}(t)=F(u(t))\quad\textrm{or}\quad \left\{\begin{array}[rl] \dot{x}(t)&=w(t) \\ \dot{w}(t) &= u(t) \end{array}\right..\nonumber\]

This notion of trivial control systems has previously been introduced in literature (in the case $\dim x = 2$ and $\dim u = 1$) by U. Serres in his thesis. TS further developed this concept by providing two general characterizations of trivial control systems of arbitrary dimension and with an arbitrary number of controls. However, those two novel characterisations can not be used in practice. In the case of $\dim x = 2$ and $\dim u = 1$, TS revisited the results of Serres and found that a characterization could be expressed via two feedback invariant functions: the control-curvature (introduced by Agrachev) and the centro-affine curvature. Based on the properties of these two feedback invariants, TS was able to give a complete classification of control-affine systems with $\dim x = 3$ and $\dim u = 1$.

Future Research Directions: extend the characterisation of trivial control systems via curvatures to the case of $\dim x=n$.

Stabilization of time-delay dynamical systems

During his postdoctoral fellowship at INRIA team DISCO, TS studied the stabilisation of linear time-delay equations of the form

\[x^{(n)}(t)+\sum_{k=0}^{n-1}a_kx^{(k)}(t)+\sum_{k=0}^m\alpha_kx^{(k)}(t-\tau) = 0,\label{eq:delay}\]

where $\tau>0$ is the delay. In contrast to the no-delay case, where the Rough-Hurwitz criteria directly provides stability information for linear ODEs, the stability analysis of the time-delay case is much more involved due to the corresponding transfer function being a quasipolynomial with an infinite number of roots. However, a bound on the number of real roots can be obtained, and it has been shown that assigning a single root with maximal multiplicity ensures asymptotic stability of the equation. During his postdoctoral position, TS focused on assigning the maximal number of real roots and showed that this guarantees asymptotic stability of the corresponding equation.

Future Research Directions: design a control law to stabilize a given time-delay equation with some fixed parameters, analyze the properties of a system for which roots with arbitrary multiplicity are assigned, extend the results to the multi-delay case,…

Misc: Variational optimisation and imaging science

In 2019, TS was invited to the Department of Applied Mathematics at the University of Cambridge, where he developed a model for reconstructing MRI images. Due to technical limitations, MRI images are often taken as undersampled Fourier data and must be extrapolated to produce a usable image. To address this issue, TS developed an optimization procedure that combines both variational and learned techniques. The learning aspect of the optimization involves the optical flow between two frames in the same sequence of MRI images. The procedure constructs a dictionary of representative optical flows, allowing the true optical flow to be expressed as a linear combination of dictionary atoms. The variational aspect of the optimization problem includes data fidelity and regularization terms, such as total variation (TV) or $L^1$ penalties. Thus, the optimization problem is non-trivial, as it involves non-convex and non-differentiable terms. In his publications, he and his colleagues provided theoretical guarantees on the existence of a solution to the optimization problem and demonstrated its potential through numerical simulations.

Short CV

Full CV pdf (fr) Full CV pdf (en)

Publications

Softwares

P3δ

A Python implementation of state-of-the-art partial pole placement methods for stability analysis of delay differential equations. Link to the code.

MRIR-DLMC

A MATLAB implementation of the MRIR-DLMC algorithm for reconstructing magnetic resonance images from undersampled Fourier data. For a given sequence of sparse MRI data, the algorithm exploits the structure of each individual frame as well as the correlation between two consecutive frames (computed through the optical flow). The model includes a data fidelity term and several penalties on the structure of the data. The optimization task is computationally challenging due to the presence of non-convex and non-differentiable terms.. Moreover, the optical flow is computed from a learned dictionary, which is constructed using fully-sampled MRI sequences and phantom data. Link to the code.

Control-ToolBox

A C++ toolbox with a Python interface designed to handle control systems. The toolbox primarily focuses on implementing the homotopy continuation method for solving motion planning problems. Additionally, it provides functionalities such as dynamical and control systems simulations, motion planning with state and input constraints, and state-of-the-art algorithms for stabilizing linear equations, which may include delays. Work in progress. Link to the code.

Optimal Transport

Invitations

       
Summer 2019 University of Cambridge, UK, with Noemie Debroux and Angelica I. Aviles-Rivero. University of Cambridge, Department of Applied Mathematics and Theoretical Physics, Cambridge Image Analysis Group Cambridge University

Teaching

Teaching assignment and Temporary teaching assistant at INSA de Rouen Normandie (278h)

Temporary teaching at Polytech Sorbonne (64h)

Reviewer activities

Administrative functions