Fundamentos de Sistemas Autónomos: Verificación y Síntesis

El diseño de sistemas autónomos como vehículos de autoconducción y asistentes robóticos requiere una certeza absoluta de que se comportarán de manera segura en entornos impredecibles. Este curso basado en texto le introduce a los principios fundamentales de la verificación formal y la síntesis de controladores, asegurando que sus diseños autónomos cumplan estrictos estándares de seguridad y estabilidad. Pasará de simplemente probar sistemas autónomos a demostrar matemáticamente su corrección. Al comprender cómo modelar la dinámica del sistema y expresar propiedades de seguridad, adquirirá las habilidades necesarias para diseñar controladores que garanticen un funcionamiento seguro en diversas condiciones. Lo que aprenderá: * Comprender la dinámica fundamental del sistema y cómo modelar matemáticamente los comportamientos autónomos; * Aplicar la teoría de estabilidad de Lyapunov para verificar los estados estables a largo plazo de sistemas dinámicos; * Analizar la alcanzabilidad y utilizar certificados de barrera para garantizar que los límites críticos de seguridad nunca se crucen; * Explorar técnicas formales de model checking para verificar sistemas contra propiedades temporales regulares y omega-regulares; * Sintetizar controladores correctos por construcción que apliquen automáticamente las políticas de seguridad deseadas; * Examinar los desafíos modernos de seguridad, incluida la verificación de sistemas que incorporan componentes habilitados por el aprendizaje y redes neuronales. El curso comienza con la terminología matemática esencial y el modelado fundamental del sistema antes de guiarle a través del análisis de estabilidad, algoritmos de verificación formal y técnicas de síntesis de controladores. Este curso está diseñado para aspirantes a ingenieros de robótica, científicos informáticos y desarrolladores de sistemas que buscan un punto de entrada accesible a los métodos formales, requiriendo solo una formación básica en matemáticas. Comience a leer hoy mismo para dominar los fundamentos matemáticos de la autonomía segura.