An important challenge when considering the continuous increase of cyber-physical  systems complexity is to propose a corresponding increase in the capability of designing fault-free systems, maintaining the very high level of security and safety already achieved in existing systems with unaltered performances.
The team proposes several algorithmic solutions to various problems for optimization and control of such systems.
We are typically interested in proposing algorithms that are numerically robust and which rely on efficient, reliable and safe numerical methods.
In this context, the problem of validated computations and certification of the developed numerical algorithms constitutes a natural extension of the historical research themes of the team.
The goal of validated/rigorous computing is to benefit from the speed of numerical approximate computations, yet to be able to bound all rounding or method errors involved, see this paper.
A complementary strategy is to develop exact optimization algorithms.