RECHERCHE
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
Une méthode GPU-parallèle calcule des garanties formelles de contrôle robuste jusqu'à 67 Hz pour des systèmes non linéaires et des dynamiques réseaux de neurones.
arXiv cs.AI · cs.LG · cs.CL·Jeffrey Fang, Keyi Shen, Anutam Srinivasan, Glen Chou·1 juillet 2026
Image · Source originale
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.
Chaleur 3
Pertinence 42
Nouveauté 72