Teora de Control

Programa Analtico 2013

UNIDAD TEMTICA 1: Teora de Control
Qu es teora de control? Qu es control automtico? Diseo de Control. Tcnicas de la Transformada de
Laplace. Definicin. Inversa de la transformada. Uso en teora de control. Funcin de transferencia.
Concepto. Polos y ceros de la funcin de transferencia. Ubicacin de los polos y ceros. Mtodos de
Respuesta de Frecuencia. Diseo usando mtodos de respuesta. Respuesta de frecuencia de un sistema lineal.
El diagrama de Bode. Respuesta de frecuencia y estabilidad. Mrgenes de estabilidad. Estabilidad.
Estabilidad para sistemas de control. Mrgenes de estabilidad.
UNIDAD TEMTICA 2: Controladores
Controladores PID. Introduccin. Algoritmo PID clsico. Controladores digitales. Mtodo de sintonizacin.
Mtodo de ajuste de Ziegler-Nichols de lazo cerrado y abierto. Controladores PLC. Controladores SCADA.
Control de Procesos Multivariables. Descripcin de un sistema multivariable. Efecto dinmico de las
interacciones. Emparejamiento de las variables controladas y manipuladas. Sintonizacin de los
controladores. Representacin del espacio de estado. La computadora como componente del sistema.
Algoritmo de tiempo discreto. Diseo de algoritmos de tiempo discreto. Conversin analgico-digital y
viceversa. Caractersticas del software. Estructura de los sistemas de control por computadora. Seales
muestreadas. Controladores Inteligentes. Redes neuronales. Lgica difusa. Caractersticas. Algoritmo
gentico. Sistemas de aprendizaje. Sistemas inteligentes
UNIDAD TEMTICA 3: Introduccin a Sistemas de Tiempo Real
Conceptos bsicos de tiempo real. Terminologa. Tpicos de diseos de tiempo real. Ejemplos de sistemas de
tiempo real. Historia. Investigacin en sistemas de tiempo real (STR). Modelos de computacin de STR.
Mtodos de desarrollo de STR. Simulacin en el desarrollo de sistemas
UNIDAD TEMTICA 4: Atmatas y Grafos Temporizados
Introduccin a autmata temporizado. Verificacin. Grafos temporizados. Definicin. Estructura. Relojes y
Valuaciones. Comportamiento. Anlisis. Herramientas de Tiempo Continuo.
UNIDAD TEMTICA 5: REDES DE PETRI
Redes de Petri estndar. Redes de petri puras y aplicadas. Conceptos preliminares: Teora de Bolsas. Grafo
de una red. Estructura. Red de Petri marcada. Comportamiento Dinmico. Eventos y Condiciones. Modelado
con Redes de Petri. Conflictos. Espacio de estados de una red. Anlisis: seguridad, acotabilidad,
conservacin, vitalidad. Equivalencia y subconjunto. Tcnicas de anlisis: rbol de Alcanzabilidad,
algoritmo de armado, Ecuaciones matriciales. Ventajas y Desventajas. Extensiones de Redes de Petri. Redes
de Petri con Relojes. Extensin en bases a Grafos Temporizados.
UNIDAD TEMTICA 6: MODEL CHECKING PARA STR
Model checking simblico. Modelo de tiempo denso para STR. Lgicas modal temporal. Operadores
temporales. Lgica lineal temporal, LTL. Lgica arborescente computacional, CTL. Frmulas de estado y de
paso. Estructuras de Kripke. Model checking composicional. Herramientas de modelado con tcnicas de
Model Checking.