QUIZ 1

AUTMATAS DE ESTADO FINITO

UNIVERSIDAD DE PAMPLONA
VILLA DEL ROSARIO
28 DE FEBRERO DE 2015

Reaccin qumica entre xido de etileno y glicerol, que se realiza en un reactor

discontinuo (Ilustracin 1). El proceso es exotrmico y requiere unas estrictas
condiciones de temperatura: a menos de 115C no se puede llevar a cabo y, a
temperatura superior a 125C es demasiado rpida.
En primer lugar, se hace circular el glicerol por el reactor y el intercambiador (ste
puede actuar como calentador o enfriador del flujo de reactivos) hasta alcanzar
una temperatura ligeramente superior a 115C. En ese momento, se aade el
xido de etileno al reactor, producindose la reaccin y pasando a enfriar el
producto de la reaccin mediante su recirculacin por el intercambiador.

Ilustracin 1. Esquema del sistema de circulacin del reactor discontinuo, para la

reaccin entre xido de etileno y glicerol.

Narrativas de seguridad
El sistema consta de cinco indicadores de temperatura, un indicador de presin y
un indicador de flujo con alarma, como medida de proteccin.

Los indicadores de temperatura T1 y T2 se encargan de enviar la informacin a un

autmata que genera un paro de emergencia apagando las bombas de impulsin
a una temperatura superior a los 150C. Los indicadores T3, T4 y T5 informan al
autmata que debe encender la bomba J1 siempre y cuando estos indicadores
marquen aproximadamente la misma temperatura alrededor de los 120C.
El indicador de flujo con alarma verifica la presencia de flujo en la tubera, en caso
de no haber flujo enciende una alarma para avisar al operador que debe abrir la
vlvula de salida del reactor, si hay flujo el autmata debe encender la bomba J2.
El indicador de presin confirma que la presin se encuentre dentro del rango
permisible por debajo de los 100 bares, si la presin se encuentra superior a este
valor se lleva a cabo un paro de emergencia de todo el sistema.

Definicin formal del autmata

Alfabeto finito
E = {b,c,d,e,g,h}
Conjunto de estados finitos
X = {0,1,2,3,4,5}
Funciones de transicin
F(0,b) = 1
F(0,c) = 2
F(0,g) = 4
F(1,g) = 4
F(1,c) = 2
F(2,e) = 4
F(2,g) = 4
F(2,d) = 3
F(3,e) = 4
F(3,g) = 4
F(3,h) = 5
Estado inicial
X0 = 0
Conjunto de estados marcados
F = {3,4,5}

Expresin del lenguaje regular

L(G) = {,g,bg,bce,bcg,ce,cg,cde,cdg,bcdh,cdh,bcde,bcdg}

Expresin del lenguaje marcado

Lm(G) = {g,bg,bce,bcg,ce,cg,cde,cdg,bcde,bcdg,bcdh,cdh,bcd,cd}

Diagrama de estados

Ilustracin 2. Diagrama de estados del autmata.

Estados
0 = estado inicial.
1 = Encendido de alarma por ausencia de flujo, no se enciende la bomba J2.
2 = Encendido de bomba J2.
3 = Encendido de bomba J1.
4 = Paro de emergencia, supresin de la energa que alimenta todo el sistema.
5 = Salida del reactor.

Alfabeto finito
b = No se detecta flujo en el indicador de flujo con alarma, no hay flujo en la
tubera hacia la bomba J2.
c = Se detecta flujo en el indicador de flujo con alarma, hay flujo en la tubera
hacia la bomba J2.
d = Temperatura en los indicadores T3, T4 y T5 aproximada a los 120C.
e = Temperatura en los indicadores de temperatura T1 y T2 aproximada a los
150C.
g = Presin en el indicador de presin superior a 100 bar.
h = Mezclado de la reaccin qumica.

Simulacin del autmata en Stateflow de Matlab

Ilustracin 3. Diagrama de estados en Stateflow de Matlab.

Ilustracin 4. Simulacin del alfabeto para permitir los cambios de estado.

Ilustracin 5. Diagrama de estados siguiendo la secuencia cdh para llegar al

estado final 5.

Ilustracin 6. Diagrama de estados siguiendo la secuencia g para llegar al estado

final 4.

CONCLUSIONES

Afianc mis conocimientos sobre la realizacin de un autmata de estado finito a

un proceso de seguridad industrial instrumentado definindolo formalmente,
considerando el lenguaje general, el lenguaje marcado y realizando el diagrama
de estados, pude verificar el funcionamiento del autmata a travs del toolbox
Stateflow de Matlab observando que el autmata cumple con la funcin para la
cual se program.

WEBGRAFA

http://www.siafa.com.ar/notas/nota23/reaccionesexotermicas3.htm
http://ocw.upc.edu/sites/default/files/materials/15015404/tema_5_simulink5156.pdf
http://www.monografias.com/trabajos22/toolbox-stateflow/toolboxstateflow.shtml