Identificacin de sistemas de

eventos discretos

Una aproximacin de modelado

Para ver esta pelcula, debe
disponer de QuickTime y de
un descompresor .

Universidad de Guadalajara
Departamento de Sistemas de Informacin
Mara Elena Meda Campaa
emeda@cucea.udg.mx

CONTENIDO
1.
2.
3.
4.
5.

Sistemas
Anlisis de sistemas
Modelos
Sistemas de eventos discretos
Herramientas de modelado
Redes de Petri

6. Identificacin de sistemas
7. Experiencia

1. Qu es un sistema?
Parte del sistema

Relacin

Lmite del sistema

Es un conjunto de partes inter-relaciondas.

Existe en un medio ambiente separado por sus lmites.

Persigue un objetivo.

Ejemplos
Para ver esta pelcula, debe
disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para v er esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

2. Anlisis de los sistemas

Conocer propiedades
Relacin entre sus componentes

Conocer el desempeo
Tiempo mximo de proceso
Costo mnimo
Uso de memoria o de procesador

Implementar nuevos diseos

Formas analizar un sistema

Sistema

Experimentar
con un modelo
del sistema

Experimentar
con el
sistema

Modelo
fsico

Modelo
matemtico

Solucin
analtica

Simulacin

3. Modelos
Es una abstraccin de la realidad.
Es una representacin de la realidad que
ayuda a entender cmo funciona.
Es una construccin intelectual y descriptiva
de una entidad en la cual un observador tiene
inters.
Supuestos simples son usados para capturar
el comportamiento importante.

Qu modelar?

Qu aspecto es importante?
De quin depende la importancia?

Modelos
matemticos.

Simulacin por
computadora

Modelos
analgicos

Modelos a
escala

Modelos fsicos

Tipos de modelos

icnico

abstracto

Exactitud

Abstraccin

1.
2.
3.
4.
5.

Planta piloto
Modelo de un tomo, globo terrqueo, maqueta
Reloj, medidores de voltaje, grfica de volumen/costo
Modelos de colas, modelos de robots
Velocidad, ecuaciones diferenciales.

Modelo analgico. Son aquellos en los que una propiedad del objeto real est representada por una propiedad sustituida, por lo que en general se comporta de la misma manera.

En ingeniera
Sistemas de control

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Modelos matemticos

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

Para ver esta pelcula, debe

disponer de QuickTime y de
un descompresor .

4. Sistemas de eventos
discretos

En las ltimas dcadas, la

rpida evolucin de las
tecnologas de computacin,
comunicacin e informacin
ha ayudado a la proliferacin
de
nuevos
sistemas
dinmicos ms complejos.

Ejemplos
1.
2.
3.
4.
5.
6.
7.
8.

Redes de computadoras y de
comunicaciones
Sistemas de manufactura automticos
Sistemas de control de trfico
Sistemas de control, comunicacin e
informacin
Sistemas avanzados de monitoreo y
control
Sistemas inteligentes de transporte
Sistemas distribudos
Etc.

Sistema de eventos discretos

Su comportamiento se caracteriza por una secuencia finita

o infinita de estados delimitados por eventos que ocurren
de manera asncrona
X3

Estados

X5
X6
X4
X2
X1

e1

e2 e4

e5

e6

e7

Tiempo

Sistemas de Eventos Discretos

Control de trfico en un
aeropuerto

arribo
8:00

schedules
aterrizaje schedules
8:05

Estados:
En el aire
En la tierra
Pista disponible: Booleana

Despegue
9:15

arribo
9:30

Eventos:
Arribar
Aterrizar
Despegar

Tiempo

El reto
Desarrollar nuevas tcnicas de modelado, tcnicas de
anlisis, herramientas de diseo, mtodos de pruebas, y
procedimientos de optimizacin para esta nueva
generacin de sistemas.

5. Herramientas de modelado
Lenguaje comn
permita la comunicacin
evite ambigedades
Caractersticas deseadas
Claridad
Capacidad para describir
- Estados
- Eventos
- Sincronizaciones
- Decisiones
Compacts
Soporte matemtico simple
Tcnicas de anlisis

- Administracin de recursos
- Concurrencia
- Comportamiento cclico

Redes de Petri
Componentes de una red de Petri

- Una
estructura:
Grafo bipartito

- Una descripcin
de estado: el
marcado

- Una regla de
transicin:evoluci
n de marcas

Lugares

Transiciones

Recursos
Operaciones
Estados parciales
Buffers, etc.

Eventos
Actividades
Condiciones

Arcos etiquetados

Marcas

Regla de transicin
a) Habilitacin de una transicin:
b) Disparo de una transicin:

Regla de transicin
a) Habilitacin de una transicin:

Mk+1=Mk+Cvk

b) Disparo de una transicin:

Representacin matemtica
p1

p2

t2

p3

Marcado

t3

1
0
Mo = 0
1
0
0

t1

p4

Pre(t1) =

p5

1
0
0
1
0
0

p1
p2
p3
p4
p5
p6

t4

p6

0
1
Post(t1) = 0
0
1
0

t5

C=

-1 0 1
1 -1 0
0 1 -1
-1 0 0
1 0 0
0 0 0

0 0
0 0
0 0
0 1
-1 0
1 -1

Mk+1=Mk+Cvk

6. Construccin de modelos
matemticos
Modelamiento del sistema
Identificacin de sistemas
Cuando se desconoce o se conoce
parcialmente el sistema
Entradas

Salidas

Identifcacin de SED
Identificacin de sistemas: Calcular un modelo
matemtico a partir de la medicin de seales de
entrada y de salida
Seales de entrada

Sistema

Seales de salida

Mecanismo de
inferencia

Problema
Qi-1

Q1

Q2

...

t4

t3

Identificacin lnea
conforme el sistema
evoluciona

t2

t1
p1

t5

t8

t7

p2
p3

p4
t6
Medicin
wi=t7t8

Qn
Actualizacin

Seal de salida

Qi
t4

t3

Evento detectabilidad

t1

t2
p1

t5

t8

t7

p2
p3

p4
t6

Formalismo matemtico: IPN

O/C
p2
t3

t1 t2

p1

t4
p4

p3

t5

p5

t6

Actuador

(t1)=O
(t2)=C
(t3)=
...
(t6)=

0 0 0 1 0

0 0 0 0 1

Comportamiento interno

1

0
M k 1 M k Cvk
0 0 0 1 0 0
M 0
1
Yk (M k )
0
0
0
0
1

0
0

Smbolo de salida

Representacin alternativa de una IPN

t6

p6

t5

p2

t9

t2

p3
t4

t1
p1
p8
t8

p7

t7

Depm(Q)
Compleja
MDep

p1=[t4,t1]
p1=[t4,t5]
p1=[t4,t7]
p1=[t9,t1]
p1=[t9,t5]
p1=[t9,t7]

p3=[t2,t4]
p4=[t1,t3]
p6=[t5,t6]
p7=[t7,t8]

p4

t3

p5

Depu(Q)
p2=[t1,t2]
p5=[t3,t4]
p8=[t6,t9]
p8=[t8,t9]

Simple
NDep

Conceptos bsicos
R1

R2
A1

Cap
p4
tic

M0

tfc

tic, tfc
p1
t1

Carga

p3

p2
t2

tfd

tid

Palm

t3

Desc

t4

M1 M2

1
0
0



0
1
0 t1 t2

0
0
0



0
0
1

p5

Adisp

1 1 0 0

0 1 1 0
C 0 0 1 1

1 0 0 1

1 1 1 1

1

0
M 1 M 0 0 C (, t1)

1

1

1
M 2 M 1 0 C (, t 2 )

0

C(,t i ) M i1 M i

Clculo de la parte medible

t1

t2

p1

p2

p5

p3

p4

p6

t3

1 0 0 0 1

1
1
0
0
0

0 0 1 0 1
C

0
0
1
1
0

0 1 0 0 1

0 0 0 1 1

t4

1 0 0 0

1 1 0 0
C
0 0 1 1

0 0 1 0

t5
1

0
1

0
C
0

0 1

1 1

1

0
M i
1

0

1

0
M i1
0

1

0

0
M i1 M i
1

1

t i (M i ) (M i1)

Etapas del proceso de identificacin

1. Medicin de las seales de salida

(M i ), (M i1) (M n )

ti ti+1...

2. Procesamiento de un ciclo detectado

t

i (M ) (M )
k (M )

(M x )

q
r
y

t1

t2

p1

p2

p5

p3

p4

p6

t3

t4

t5

Modelo del sistema

Etapas del proceso de identificacin

1. Medicin de las seales de salida

(M i ), (M i1) (M n )

Clculo de la parte

ti ti+1...

medible

2. Procesamiento de un ciclo detectado

t

i (M ) (M )
k (M )

(M x )

q
r
y

t1

t1

t2

t2

p1

p2

p5

p1

p2

p3

p4

p6

p3

p4

t3

t4

t5

Modelo del sistema

t3

t4

t5

Modelo calculado Qi

Etapas del proceso de identificacin

1. Medicin de las seales de salida

(M i ), (M i1) (M n )

Clculo de la parte

ti ti+1...

medible

2. Procesamiento de un ciclo detectado

t

i (M ) (M )
k (M )

(M x )

q
r
y

Inferencia de la parte
no medible

t1

t1

t2

t2

p1

p2

p5

p1

p2

p5

p3

p4

p6

p3

p4

p6

t3

t4

t5

Modelo del sistema

t3

t4

t5

Modelo calculado Qi

Qu ms?
Seal de entrada
Definicin y caracterizacin de
propiedades
Clases de sistemas que se pueden
identificar
Esquemas de tolerancia a faltas
Diagnstico

Continuar ....

7. Experiencia
Centro de Investigacin en Sistemas y
Gestin de la Informacin U de G
Participacin de proyectos CUDI y NSF
Doctorado en TI PNPC
Maestra en TI

Proyecto COECyT-Jal 2009

Automatizacin basada en el diseo de
especificaciones para PLC

Identificacin de sistemas de
eventos discretos

Una aproximacin de modelado

Para ver esta pelcula, debe
disponer de QuickTime y de
un descompresor .

Universidad de Guadalajara
Departamento de Sistemas de Informacin
Mara Elena Meda Campaa
emeda@cucea.udg.mx