Fondements des Systèmes Autonomes : Vérification et Synthèse

La conception de systèmes autonomes tels que les véhicules autonomes et les assistants robotiques nécessite une certitude absolue qu'ils se comporteront en toute sécurité dans des environnements imprévisibles. Ce cours textuel vous initie aux principes fondamentaux de la vérification formelle et de la synthèse de contrôleurs, garantissant que vos conceptions autonomes respectent des normes strictes de sécurité et de stabilité. Vous passerez de la simple mise à l'essai des systèmes autonomes à la preuve mathématique de leur correction. En comprenant comment modéliser la dynamique des systèmes et exprimer les propriétés de sécurité, vous acquerrez les compétences nécessaires pour concevoir des contrôleurs qui garantissent un fonctionnement sûr dans diverses conditions. Ce que vous apprendrez : * Comprendre la dynamique fondamentale des systèmes et comment modéliser mathématiquement les comportements autonomes ; * Appliquer la théorie de la stabilité de Lyapunov pour vérifier les états stables à long terme des systèmes dynamiques ; * Analyser l'atteignabilité et utiliser des certificats barrières pour garantir que les limites critiques de sécurité ne sont jamais franchies ; * Explorer les techniques formelles de vérification de modèles pour vérifier les systèmes par rapport à des propriétés temporelles régulières et oméga-régulières ; * Synthétiser des contrôleurs corrects par construction qui appliquent automatiquement les politiques de sécurité souhaitées ; * Examiner les défis modernes de sécurité, y compris la vérification des systèmes qui intègrent des composants basés sur l'apprentissage et des réseaux neuronaux. Le cours commence par la terminologie mathématique essentielle et la modélisation fondamentale des systèmes avant de vous guider à travers l'analyse de stabilité, les algorithmes de vérification formelle et les techniques de synthèse de contrôleurs. Ce cours est conçu pour les aspirants ingénieurs en robotique, informaticiens et développeurs de systèmes à la recherche d'un point d'entrée accessible aux méthodes formelles, ne nécessitant qu'une formation de base en mathématiques. Commencez à lire dès aujourd'hui pour maîtriser les fondements mathématiques de l'autonomie sécurisée.