Discrete Events Systems - Class 1 and 2

CPE739 - SISTEMAS A EVENTOS
DISCRETOS
Jo ao Carlos Basilio
Lilian Kawakami Carvalho
2014/01
Jo ao Carlos Basilio Lilian Kawakami Carvalho CPE739 - SISTEMAS A EVENTOS DISCRETOS
Estrutura do curso
Ementa
1
Introduc ao a sistemas a eventos discretos
2
Linguagens e aut omatos
3
Redes de Petri
4
Modelos temporizados
Estrutura do curso
Bibliograa
[1] C. G. Cassandras e S. Lafortune. Introduction to discrete
event systems, 2nd Edition. Springer 2008.
[2] J. E. Hopcroft, R. Motwani e J. D. Ullman. Introduction to
automata theory, languages and computation, 3nd Edition.
Pearson 2007.
[3] R. David e H. Alla. Discrete, continuous and hybrid Petri
nets, Springer 2005.
[4] T. Murata. Petri nets: properties, analysis and applications,
Procedding of the IEEE, vol.77 (4), pp. 541-579, 1989.
Estrutura do curso
Avaliac ao
Duas avaliac oes: P1 e P2
M edia nal:
MF =
P1+P2
2
.
Conceito nal baseado na m edia da turma e do desvio
padr ao.
Contatos
Sala: H-229D
E-mail: lilian@dee.ufrj.br
Homepage: http://www.dee.ufrj.br/lca
Estrutura do curso
Avaliac ao
Duas avaliac oes: P1 e P2
M edia nal:
MF =
P1+P2
2
.
Conceito nal baseado na m edia da turma e do desvio
padr ao.
Contatos
Sala: H-229D
E-mail: lilian@dee.ufrj.br
Homepage: http://www.dee.ufrj.br/lca
Captulo I: Introduc ao a sistemas a eventos discretos
Conceitos introdut orios
Grandezas em tempo contnuas
s ao grandezas que variam continuamente no tempo
exemplo: press ao p(t ), temperatura (t ), velocidade v(t ),
t R
As ferramentas mais apropriadas para o tratamento de
sistemas din amicos de vari aveis contnuo (SDVC) s ao as
equac oes diferenciais
Grandezas em tempo discretas
s ao grandezas cujas evoluc oes se d ao em func ao de
valores pertencentes ao conjunto dos n umeros inteiros
exemplos
Captulo I: Introduc ao a sistemas a eventos discretos
Grandezas em tempo contnuas
s ao grandezas que variam continuamente no tempo
exemplo: press ao p(t ), temperatura (t ), velocidade v(t ),
t R
As ferramentas mais apropriadas para o tratamento de
sistemas din amicos de vari aveis contnuo (SDVC) s ao as
equac oes diferenciais
Grandezas em tempo discretas
s ao grandezas cujas evoluc oes se d ao em func ao de
valores pertencentes ao conjunto dos n umeros inteiros
exemplos
func oes contnuas
s ao grandezas que assumem valores contnuos, isto e,
pertences aos reais.
exemplo
press ao: p(t ) R
x
k
R obtida pelo MNR tal que |f (x
k
)| <
Note que uma grandeza de valor contnuo pode tanto ser
domnio contnuo ou discreto
func oes discretas
s ao grandezas que podem assumir valores inteiros ou
r otulos
Exemplos
1
Valores inteiros
ex: n umero de pessoas em uma la, n umero de avi oes em
um aeroporto
2
R otulos
ex: Estado de um banheiro: estado livre ou ocupado; nvel
de um reservat orio: cheio ou vazio
Os conjuntos formados pelos valores inteiros ou pelos
r otulos s ao denominados conjuntos discretos
Estado
O estado de um sistema em um instante t = t
0
e o conjunto de
informac oes necess aria para juntamente com a entrada para
t t
0
, seja possvel determinar o comportamento do sistema
para t >t
0
.
u(t)
y(t)
x(t), x(t
0
) = x
0
sistema
Exemplo: Tanque
Exemplo: Armaz em
x(t ): quantidade de produtos em estoque no instante t.
t R, x(t ) N
u
a
(t ), u
d
(t ): chegada/sada de produtos
Suponha x(0) = 0 (dep osito vazio)
Suponha que
u
a
(t ) =
1, se produto chega no instante t

0, caso contr ario
u
d
(t ) =
1, se produto e retirado no instante t

0, caso contr ario
Exemplo: Armaz em
Note que
u
a
(t ) = 1 x(t
+
) = x(t ) +1
u
d
(t ) = 1 x(t
+
) = x(t ) 1
Assim,
x(t
+
) =
x(t ) +1, Se u
a
(t ) = 1 e u
d
(t ) = 0
x(t ) 1, Se u
a
(t ) = 0 e u
d
(t ) = 1
x(t ), caso contr ario
Observac ao sobre Armaz em
1
x(t ) e denida em tempo contnuo (t R) por em x(t ) e de
valor discreto (x(t ) N)
2
u
a
(t ) e u
d
(t ), embora denidos para t R, assumem
somente valores 0 e 1.
Sistemas a eventos discretos
Evento
ocorr encia instant anea que modica o estado do sistema
Evento - Exemplo
1
Ac ao especca
apertar um bot ao liga/desliga, comando para um rob o
pegar uma peca, maquina inicia o processamento
2
Ocorr encia espont anea da natureza
computador desligado por alguma raz ao, uma falha devido
uma v alvula emperra fechada/aberta
3
Resultado de diversas condic oes que s ao satisfeitas.
Uma peca atinge determinado ponto de uma linha de
produc ao, altura de um lquido em um tanque atinge
determinado nvel.
Evento
Evento - Exemplo
1
Ac ao especca
2
3
determinado nvel.
Evento
Evento - Exemplo
1
Ac ao especca
2
3
determinado nvel.
Notac ao
Mesma da teoria de conjuntos
E = {e
1
, e
2
, e
3
, ..., e
n
}: conjunto de eventos formados pelos
eventos e
1
, e
2
, e
3
, ..., e
n
.
Example
Sistema de armazenamento
Estado: X =N ={0, 1, 2, 3, 4, 5, ...}: n umero de caixas no
armaz em
Eventos: E ={a, d}
a: chegada de produto
d: retirada de produto
Notac ao
Mesma da teoria de conjuntos
E = {e
1
, e
2
, e
3
, ..., e
n
}: conjunto de eventos formados pelos
eventos e
1
, e
2
, e
3
, ..., e
n
.
Example
Sistema de armazenamento
Estado: X =N ={0, 1, 2, 3, 4, 5, ...}: n umero de caixas no
armaz em
Eventos: E ={a, d}
a: chegada de produto
d: retirada de produto
Example
Movimento de uma peca em um tabuleiro
Estado: X ={(x, y) AA} em que
A ={1, 2, 3, 4, 5, 6, 7, 8}
Eventos: E ={l , o, n, s}
l ,o,n,s: mover uma casa para direita, esquerda, cima e
baixo
Sistemas a eventos discretos (SED)
E um sistema de estados discretos (x Z, x N, X={aberto,

fechado}) cuja a evoluc ao se d a pela ocorr encia (em geral
assncrona) de eventos.
Comparac ao entre SDVC e SED
SDVC: sistemas din amicos de vai aveis contnuas
Exemplos de SED
Sistema de las
Motivac ao: recursos n ao s ao innitos
Elementos de uma la:
1
Clientes: entidades esperando utilizar os recursos
ex: pessoas ( onibus, banco); dados (transmiss ao);
peca/produto (processamento)
2
Servidor: s ao recurso pelos quais os clientes est ao
esperando (em geral algum tipo de servico) ex: pessoas
(supermercado, banco); m aquinas(caixa eletr onico, linha
de produc ao, rob o), processadores (computadores)
3
Fila: espaco no qual a espera acontece
ex: pessoas ( onibus, banco); chamadas telef onicas
Espac o de estados: X =N
Eventos: E = {a,d}: a/d: chegada/sada de clientes.
Exemplos de SED
Sistemas formados por computadores e perif ericos
Clientes: dados, processos, tarefas, transic oes.
Servidores: processadores (CPU), perif ericos (impressoras,
discos etc)
Estados:
X = { x N
3
, x = [x
CPU
, x
D1
, x
D2
]}
Eventos:
E = {a, d
1
, d
2
, d
c
. r
1
, r
2
}
Exemplos de SED
Sistema de controle de tr afego
Hip oteses:
1
Direc ao de tr afego
2
S
1
(verde) - S
2
, S
3
(vermelho)
S
1
(vermelho) - S
2
, S
3
(verde)
modelo 1
Estados:
X ={[x
1
, x
2
x
3
], x
i
{G, R}}
G: luz verde
R: luz vermelha
Eventos: E ={g, r }
g: sem aforo muda para verde
r : sem aforo muda para vermelho
Exemplos de SED
Sistema de controle de tr afego
modelo 2
Estados:
X ={[x
12
, x
13
, x23, x
32
y], x
12
, x
13
, x23, x
32
N, y {G, R}}
x
ij
: n umero de carros parados no sem aforo s
i
que desejam
ir para j
y: luz do sem aforo s
1
Eventos:
E ={a
12
, a
13
, a
23
, a
32
, d
12
, d
13
, d
23
, d
32
, g, r }
a
ij
: chegada de carros no sem aforo S
i
indo em direc ao a j
d
i
j : partida de carros esperando no sem aforo S
i
indo em
direc ao a j
g, r : como Modelo 1
Controle supervis orio de sistemas complexos
Controle supervis orio de sistemas complexos
Primeiro nvel: Controlador tradicional, utiliza modelos SDVC
Nvel intermedi ario: estabelece uma interface entre os
m odulos SDVC e as l ogicas implementadas no
supervisor
Nvel superior: Supervisor que e projetado para lidar com
situac oes do tipo ligar, desligar, mudar modo de
operac ao, diagnosticar falhas, fazer a recuperac ao
do sistema ap os a falha, etc

Discrete Events Systems - Class 1 and 2

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Discrete Events Systems - Class 1 and 2

Încărcat de

Drepturi de autor:

Formate disponibile

CPE739 - SISTEMAS A EVENTOS

1, se produto chega no instante t

1, se produto e retirado no instante t

E um sistema de estados discretos (x Z, x N, X={aberto,

S-ar putea să vă placă și