1.3.3. Ejemplo 7 - Un montacargas simplificado

MONTACARGAS, PISO·1, PISO·2.

PUERTA - con rango {ABIERTA, CERRADA}

LUGAR - con rango {UNO, DOS, SUBIENDO,BAJANDO}; LUGAR = x indica si el montacargas está en ese instante en un piso, subiendo o bajando.

RETARDO - con rango {0, 1, 2, 3}; RETARDO = y significa que hace y unidades de tiempo que se le pidió algo específico al montacargas.

BOTON·i - con rango {APRETADO, NO·APRETADO}; BOTON·i = z indica si el botón en el piso i ha sido apretado o no en este instante.

TIMBRE·i - con rango {SONIDO, SILENCIO}.

1. El MONTACARGAS permanece indefinidamente en el piso al que llegó con su puerta ABIERTA, a menos que alguien presione un BOTON.

2. Si se presiona un BOTON y éste es del mismo PISO en el que está el MONTACARGAS, éste permanece en ese piso con la puerta ABIERTA durante las próximas 3 unidades de tiempo.

3. Si se presiona un BOTON y el MONTACARGAS no está con la puerta ABIERTA (está SUBIENDO o BAJANDO) no pasa nada.

4. Si se presionan ambos botones al mismo tiempo, tiene prioridad el botón del mismo piso en el que está el MONTACARGAS.

5. Si se presiona un BOTON y el MONTACARGAS está en el otro piso y con la puerta ABIERTA, en la próxima unidad de tiempo ésta se cierra, y en la siguiente unidad de tiempo viaja (sube o baja con la puerta CERRADA), demorando 2 unidades de tiempo adicional. Después abre la puerta.

6. Al llegar a un piso, se hace sonar el TIMBRE del piso correspondiente durante una unidad de tiempo.

(ENTRADAS, ESTADOS, SALIDAS, d, l)

ENTRADAS = {(A,A), (A,N), (N,A), (N,N)}

p Î {ABIERTA, CERRADA}
l Î {UNO, DOS, SUBIENDO, BAJANDO}
r Î {0, 1, 2, 3}

SALIDAS Í {ABIERTA, CERRADA} x {UNO, DOS, SUBIENDO, BAJANDO} x {SONIDO, SILENCIO} x {SONIDO, SILENCIO}

d:ESTADOS x ENTRADAS ® ESTADOS



estado	entrada	estado
PUERTA, LUGAR, RETARDO	BOTON·1, BOTON·2	PUERTA, LUGAR, RETARDO
ABIERTA, UNO, 0	N, N	ABIERTA, UNO, 0
ABIERTA, UNO, 0	A, i	ABIERTA, UNO, 1
ABIERTA, UNO, 0	N, A	CERRADA, UNO, 1
ABIERTA, UNO, 1	A, i	ABIERTA, UNO, 1
ABIERTA, UNO, 1	N, i	ABIERTA, UNO, 2
ABIERTA, UNO, 2	A, i	ABIERTA, UNO, 1
ABIERTA, UNO, 2	N, i	ABIERTA, UNO, 3
ABIERTA, UNO, 3	A, i	ABIERTA, UNO, 1
ABIERTA, UNO, 3	N, i	ABIERTA, UNO, 0
CERRADA, UNO, 1	i, i	CERRADA, SUBIENDO, 2
CERRADA, SUBIENDO, 2	i, i	CERRADA, SUBIENDO, 3
CERRADA, SUBIENDO, 3	i, i	ABIERTA, DOS, 0
...	...	...



Ejercicio: Completar la tabla de d

(e)l :


l (p, l, r, b1, b2) =

(p, l, r, SILENCIO, SONIDO) si p = CERRADA, l = SUBIENDO y r = 3 (p, l, r, SONIDO, SILENCIO) si p = CERRADA, l = BAJANDO y r = 3 (p, l, r, SILENCIO, SILENCIO) en otros casos


Ejercicio: Comprobar que hemos demostrado que {PUERTA, LUGAR, RETARDO} es un conjunto de variables de estado.

Ejercicio: Incorporar en el prototipo de simulación, la lectura de variables de entrada, para dejarlo apropiado para modelos de tiempo discreto no-autónomos.

[anterior] [home] [siguiente]

---