Bornes d'erreur de linéarisation GPU-parallèles pour le contrôle optimal robuste en temps réel de dynamiques non linéaires et neuronales

Ce papier présente GPUSLS-LEO, une méthode de calcul de bornes d'erreur de linéarisation (LEBs) différentiables et GPU-parallèles pour le contrôle optimal robuste en temps réel. Pour les dynamiques analytiques, des bornes basées sur les matrices hessiennes sont plus serrées que les méthodes par intervalles standard. Pour les dynamiques réseaux de neurones, les LEBs certifiées exploitent des relaxations affines issues de vérificateurs NN. Sur des systèmes jusqu'à 168 dimensions d'état, la méthode atteint 67 Hz tout en préservant des garanties formelles.