Sistemas a Eventos Discretos

en este tipo de sistemas, a diferencia de los continuos, el estado y el tiempo son discretizados a valores especficos, es decir, estos sistemas cambian su estado en un conjunto finito de puntos temporales; temporales; instantes en los cuales un evento ocurre ocurre. .

Formalismos de DES
Redes de Petri (PN) Grafos Signados Dirigidos (GSD) Mquinas de Estados Finitos (MEF) Generalizaciones y particularizaciones de PN, GSD, MEF

Simulacin de DES
La caracterstica ms significativa de la simulacin de modelos de eventos discretos es su notable capacidad para contemplar los efectos aleatorios presentes en la mayora de los procesos reales. reales .

Maquina de transferencia de tres puesto utilizada en la fabricacin de ollas a presin

Utilidad del STATEFLOW en la simulacin de DES

Stateflow es una herramienta de diseo interactiva concebida para la modelacin y simulacin de sistemas dirigidos a eventos. eventos . Integrado estrechamente con Simulink y Matlab. Matlab.

Simulink en la simulacin con el Stateflow

Stateflow soporta el desarrollo de sistemas de tiempo discreto y tiempo continuo en un entorno grfico de diagramas de bloque, mientras que Matlab a traves del Simulink ofrecen herramientas de programacin de alto nivel, de anlisis de datos, y de visualizacin visualizacin. . La combinacin de Stateflow, Matlab y Simulink crea un entorno nico e integrado en el cual se modelan, simulan y analizan sistemas dinmicos complejos.

Caracteristicas del Stateflow

Combinacin de diagramas Representacin grfica de estados jerrquicos y paralelos Transiciones dirigidas por eventos entre ellos ellos. . Generara cdigo C Aplicaciones de diseo industrial, automotriz, aeroespacial y telecomunicaciones telecomunicaciones. .

INTERFAZ STATEFLOW SIMULINK

Interfaz Simulink Stateflow

Cada diagrama Stateflow se representa en un modelo Simulink mediante su bloque propio. propio. Esta interfaz de bloque permite intercambiar datos, seales y eventos entre un diagrama Stateflow y otros bloques bloques. . Stateflow puede controlar la ejecucin de bloques Simulink mediante la activacin de llamadas a funcines. funcines.
Interfaz Simulink Stateflow

La coleccin de bloques Stateflow en un modelo Simulink se llama mquina Stateflow. Stateflow. Utilizando diagramas Stateflow con bloques Simulink, se crean modelos que combinan un comportamiento algortmico con un comportamiento lgico lgico. . El resultado es el desarrollo de una especificacin ejecutable de un sistema completo sin abandonar el entorno Simulink y Stateflow. Stateflow .
Interfaz Simulink Stateflow

ELEMENTOS DE UN DIAGRAMA STATEFLOW

Un diagrama Stateflow utiliza los objetos y convenciones siguientes para representar un comportamiento dirigido por eventos: eventos :

DESCRIPCIN DE LOS OBJETOS EN STATEFLOW

Estado
Superestados

Transicin Evento Condicin Condicin_ accin Transicin_accin Transicin por defecto

Descripcion de los objetos en el Stateflow

Descomposicin de superestados
Descomposicin exclusiva (OR). Descomposicin paralela (AND).

Notacin de la etiqueta del estado

entry: entry : accin al entrar al estado. estado. during: accin durante el estado. exit: accin al salir del estado. on event_nam: accin que se
ejecuta una vez ocurre el evento especificado en event_nam (nombre del evento).
Notacin de la etiqueta del estado.

Utilidad del Stateflow en la simulacin de PN

El Stateflow fue concebido para ser utilizado con maquinas de estado finito. Una maquina de estados es una RdP en la cual toda transicin solo tiene un lugar de entrada y uno de salida, es decir en una transicin no puede presentarse sincronismo (concurrencia) y/o paralelismo.

Aspectos que deben tenerse en cuenta

A diferencia de las RP el Stateflow puede activar un estado de un sistema y mantenerlo, aunque este se desmarque desmarque. . En el Stateflow y las PN concepto de sincronismo debe hacerse coincidir a travs de la utilizacin de condiciones adicionales en las transiciones. transiciones .

El diseo grafico en el Stateflow puede ser diferente a la PN asociada pero el principio conceptual debe ser el mismo. mismo. Las transiciones por defecto del SF son consideradas marcas en las PN. PN. Los arcos y las transiciones de las PN son en el SF los arcos.
Aspectos que deben tenerse en cuenta

Pasos a seguir para la simulacin

1

Construir en el SF el modelo editor. editor .

correspondiente a la PN en el

Caracterizar los eventos y datos en el Explorer del SF En la maquina entregada por el Simulink conectar los bloques necesarios (display, constantes, etc etc. .) Analizar el diagrama y comprobar si hay errores Realizar la simulacin

Construir en el SF el modelo correspondiente a la PN en el editor.

Caracterizar los eventos y datos en el Explorer del SF

En la maquina entregada por el Simulink conectar los bloques necesarios (display, constantes, etc.)

Analizar el diagrama y comprobar si hay errores

Realizar la simulacin

Simulacin de Enclavamientos en una subestacin modelada en HPN

Subestacin: configuracin barra principal ms barra de transferencia Maniobra: Energizacin de un campo de lnea

Simulacin de la HPN
Representacin de la HPN en el Stateflow a travs de cuatro superestados
Un Superestado por dispositivo operacional de la subestacin Un superestado para la Jerarqua de la Red

Simulacin SF
Superestado para IS1L Superestado para jerarqua

Maquina Simulink de la simulacin

Conclusiones
El Matlab presenta una gran alternativa en la simulacin de DES La representacin grafica en el SF puede ser diferente a la RP asociada, pero conservando los principios operativos La herramienta de simulacin STATEFLOW permite la simulacin de HPN, haciendo un diseo estructurado de las maniobras con la programacin de una red por dispositivo y una red que maneja la jerarqua de los eventos.