Академический Документы
Профессиональный Документы
Культура Документы
eventos discretos
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
Persigue un objetivo.
Ejemplos
Para ver esta pelcula, debe
disponer de QuickTime y de
un descompresor .
Conocer el desempeo
Tiempo mximo de proceso
Costo mnimo
Uso de memoria o de procesador
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
Modelos matemticos
4. Sistemas de eventos
discretos
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.
Estados
X5
X6
X4
X2
X1
e1
e2 e4
e5
e6
e7
Tiempo
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
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
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
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
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)
(M i ), (M i1) (M n )
ti ti+1...
i (M ) (M )
k (M )
(M x )
q
r
y
t1
t2
p1
p2
p5
p3
p4
p6
t3
t4
t5
(M i ), (M i1) (M n )
Clculo de la parte
ti ti+1...
medible
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
t3
t4
t5
Modelo calculado Qi
(M i ), (M i1) (M n )
Clculo de la parte
ti ti+1...
medible
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
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
Identificacin de sistemas de
eventos discretos
Universidad de Guadalajara
Departamento de Sistemas de Informacin
Mara Elena Meda Campaa
emeda@cucea.udg.mx