Optimisation garantie pour la vérification des systèmes cyber-physiques – COPS

Le succès des techniques d'optimisation certifiée ont permis de résoudre des problèmes importants au niveau académique ou
industriel, de la conjecture de Kepler à de larges réseaux d’électricité. Ce succès est du à des efforts soutenus de la communauté de
recherche en optimisation polynomiale lors de ces dernières décennies.

Nous comptons tirer parti du pouvoir modélisateur de ces techniques dans le contexte des systèmes cyber-physiques, à
composantes physiques et logicielles, tels que les circuits logiques programmables. Les enjeux socio-économiques sous-jacents
motivent la mise au point de procédures certifiées.

Cependant, de nombreux problèmes liés aux méthodes d'optimisation certifiées persistent, au niveau théorique ou pratique :
passage à l'échelle, complexité inconnue, instabilité des solveurs numériques. COPS a pour objectif de relever ces défis pour certifier
exactement des systèmes en interaction avec le monde réel.