Fundamentos de Sistemas Autónomos: Modelado y Verificación de Seguridad

Construir sistemas autónomos que operen de forma segura en el mundo real requiere un diseño y verificación rigurosos. Este curso te introduce a los conceptos esenciales de modelado, especificación y verificación de sistemas autónomos con garantías de seguridad matemáticas. Aprenderás a pasar de definiciones básicas del sistema al análisis de comportamientos complejos y autooperativos. Lo que aprenderás: 1. Comprender la terminología fundamental y la arquitectura central de los sistemas autónomos. 2. Modelar la dinámica del sistema utilizando representaciones de espacio de estados y modelos de transición. 3. Especificar requisitos de seguridad y operacionales utilizando lógica formal. 4. Verificar la corrección del sistema utilizando técnicas fundamentales de model checking y validación. 5. Aplicar filtros de seguridad modernos, incluyendo funciones de barrera de control, para prevenir fallos. 6. Explorar cómo los componentes modernos de machine learning se integran en pipelines de seguridad crítica. Este curso basado en texto comienza con definiciones básicas y conceptos de control antes de progresar a especificaciones formales y métodos de verificación. Está diseñado para principiantes en ingeniería o ciencias de la computación, sin requerir conocimientos matemáticos avanzados. Empieza a leer hoy mismo para dominar los fundamentos del diseño autónomo seguro.