Ementa

- Introduao e classificao de sistemas

Sistemas a Eventos Discretos

Luiz Affonso Guedes - affonso@dca.ufrn.br Raimundo Santos Moura - rmoura@dca.ufrn.br

orientados a eventos discretos.

- Autmatos finitos. - Rede de Petri Ordinria. - Autmatos Temporizados. - Redes de Petri Temporizadas. Autmatos Hbridos - States-Charts.

Luiz Affonso Guedes e Raimundo Moura

Bibliografia
Chistos Cassandras & Stphane Lafortune. Introduction to Discrete Event Systems, Springer, Second Edition, 2007.

Bibliografia
Doron Drusinsky, Modeling and Verification Using UML Statecharts, Newnes, 2006.

Chistos Cassandras & Stphane Lafortune. Introduction to Discrete Event Systems, Springer, 1999.

Claude Girault and Rdiger Valk, Petri Nets for Systems Engineering, Springer, 2002.

Motivao
Horrio 35T34 Carga-Horria 60h Avaliao Trabalhos
Ciclo Necessidade

de desenvolvimento de sistemas de se modelar e avaliar o modelo, como etapas anteriores implementao.

Modelo Modelagem Projeto Avaliao

Requisitos

Implementao

Teste

Classificao de Sistemas
Sistemas Estticos Dinmicos Estados Contnuos Estados Discretos Hbridos

Sistemas a Eventos Discretos

rea multidiciplinar

Orientado por Eventos Determinsticos

Orientado por tempo

Pesquisa Operacional SED

Computao

Estocsticos Tempo Contnuo

Tempo Discreto

Sistemas e Controle

Sistemas a Eventos Discretos

Caracterizao Sistemas dinmicos memria Estados discretos no necessariamente finitos
Variveis lgicas, smbolos, etc.

Exemplos de SED
Inerentemente Discretos Sistema de computao, Sistemas de telecomunicao, redes de comunicao, sistemas de manufatuta e sistemas de software Sistemas Hbridos Parte discreto + parte contnuo
Lgica de controle via PLC Controle de alto nvel de robs industriais Sistema de transporte

H vrios paradigmas de modelagem Autmatos Teoria de Filas Rede de Petri

Sistemas Embarcados e Sistemas em Rede

9 10

Motivao Para o Estudo de SED

Classe relevante de sistemas Apelo tecnolgico Apelo cientfico Sistemas complexos, de larga escala e

Sistemas Contnuos
Sistemas de estados contnuos Variveis com valores reais O mecanismo de transio de estado

orientado pelo tempo

crticos
Anlise Simulao Diagnstico Controle Otimizao
11 12

Comportamento regido por equao diferencial

Sistemas Contnuos
Modelados por equao de estados

Sistemas Contnuos Discretizados

Sistemas contnuos de tempo discreto

contnuos no domnio do tempo.

podem ser vistos como sistemas orientados por eventos sincronizados Sem quantizao, tm infinitos estados.

Comportamento regido por equao a diferenas

13

14

Caracterizao de SED
Estados discretos Os eventos acontecem de forma no regular ao longo do tempo No h uma sincronizao de clock

Sistemas a Eventos Discretos

Quando um evento

instantneo ocorre, h um salto de um valor para outro no estado

Trajetria no

contnua no espao de estados

15

16

Exemplo de Trajetrias de Sistemas

Exemplo de Sistema Contnuo

17

18

Exemplo de Sistema Contnuo

Produto A
MISTURADOR

Processos contnuos: variveis analgicas

nvel

Produto B

TT

LT

LC

TC

mA

AQUECEDOR

vapor

H1

t
19 20

Exemplo de Porcesso Discreto

SDV VASO DE PROCESSO

Controle por Variveis Discretas

nvel
PSLL

alto

SetSetpoint
24 Vdc
CLP

normal

LSLL

SDV

0 Vdc

t
21 22

Modelo Discreto Orientado a Eventos

Abordagem de Modelagem
Modelagem baseada em linguagem O SED modelado como um gerador de

uma linguagem formal O conjunto de eventos possvel o alfabeto da linguagem Um autmato gera uma linguagem pela manipulao dos eventos Enfoque baseado em transio de estados Modelagem baseada em lgebra
Abordagem polinomial
23

lgebra booleana

24

Modelos no Temporizados
Considera apenas a ordem dos eventos. Seqncia lgica, Linguagem Autmatos, Rede de Petri Ordinria

Modelos Temporizados
Tambm considera quando o evento

ocorre. Linguagens temporizadas Autmatos Temporizados, Redes de Petri Temporizadas

25

26

Modelos Temporizados Estocsticos

Linguagem temporizada (conjunto de

Tipos de Modelos Utilizados

seqncias de eventos) adicionada com a distribuio de probabilidade sobre esse conjunto. Autmatos temporizados estocsticos Redes de Petri Estocsticas Cadeiais de Markov Teoria de Filas

27

28

Exemplo de Modelagem
Jantar dos filsofos, com 2 filsofos (P1

Exemplo de Modelagem
Soluo por autmatos

P2) e 2 garfos (F1, F2);

F1 F2

P2 P1

29

30

Exemplo de Modelagem
Composio dos 4 autmatos:

Exemplo de Modelagem
Abordagm por Rede de Petri

Como projetar um Controlador C, tal que PF||C = CoAc(PF)?

31 32

Modelos Hbridos
Parte o modelo orientada a eventos e

Exemplos de Sistemas Hbridos

O pique de uma bola.

parte orientada pelo tempo

Autmatos Hbridos. Possibilidade

demodelagem de uma ampla gama de problemas reais

33

34

Exemplos de Sistemas Hbridos

Controle de temperatura (em torno de 750 )

Exemplos de Sistemas Hbridos

Controle de um pndulo

via um termostato.

invertido

35

36