Control de Sistemas de Eventos Discretos I

creditosObjetivo: Proporcionar los fundamentos de control y análisis de sistemas de eventos discretos basados en autómatas. Utilizar dichos fundamentos en casos prácticos.

Contenido

1. Introducción a SEDS (1 s)
2. Supervisión de SEDS(4 s)
  • Introducción. SEDs supervisados
  • Operaciones básicas para la síntesis de supervisores
  • Controlabilidad y supervisión
  • Sublenguajes supremos y óptimos
  • Eventos forzados
  • Implementación de supervisores como autómatas
  • Herramientas de síntesis
  • Exclusión mutua y reducción
4. Supervisión Descentralizada (2 s)
5. Supervisión Jerárquica (2 s)
  • Estructuras jerárquicas
  • Consistencia y acción de control jerárquica
6. Práctica (2 s)
7. Verificación formal de SEDs (3 s)