Escolar Documentos
Profissional Documentos
Cultura Documentos
Sumrio
Introduo
O controle supervisrio de SEDs: generalidades
Modelagem do problema
O Problema de controle supervisrio
Comentrios
04/06/03
Controle Supervisrio de
SEDs: Introduo
Introduo
04/06/03
Controle Supervisrio de
SEDs: Introduo
Eventos no controlveis
Falhas espontneas de equipamentos, perda de pacotes de
mensagens etc.
Eventos observveis
Eventos no observveis
04/06/03
Controle Supervisrio de
SEDs: Introduo
04/06/03
Controle Supervisrio de
SEDs: Introduo
Modelagem de SEDs
O arsenal matemtico centrado nas equaes
diferenciais e a diferenas inadequado ou
simplesmente inapropriado para os sistemas a
eventos discretos
04/06/03
Controle Supervisrio de
SEDs: Introduo
Ferramentas e Teorias
Necessita-se de uma abordagem
multidisciplinar
Teoria de controle
para otimizao do desempenho por controle
(realimentao)
Cincia da computao
para modelagem e verificao de processos dirigidos a
eventos
Pesquisa operacional
para anlise e simulao de modelos estocsticos de
SEDs
04/06/03
Controle Supervisrio de
SEDs: Introduo
Ferramentas e Teorias
04/06/03
Controle Supervisrio de
SEDs: Introduo
Controle Supervisrio de
SEDs: Introduo
10
Generalidades
Abordagem introduzida por Ramadge e Wonham (1989)
Abordagem Ramadge-Wonham (RW)
04/06/03
Controle Supervisrio de
SEDs: Introduo
12
Generalidades
Questes
Pode-se restringir o comportamento de um sistema para que
este atenda a certas especificaes?
Pode-se proibir a ocorrncia de uma dada seqncia de
eventos?
Poder-se impedir que o sistema alcance a um dado estado?
04/06/03
Controle Supervisrio de
SEDs: Introduo
13
Esquema de controle
Planta
Entrada de controle
Evento observado
Supervisor
Planta
Gera eventos espontaneamente
Dotada de estrutura de controle
Supervisor
Agente controlador
Observa seqncia de eventos gerada pela planta
Aplica entradas de controles
04/06/03
Controle Supervisrio de
SEDs: Introduo
14
P4
P1
mesa
circular
teste
esteira
entradas
P3
P2
CLP
furadeira
sadas
04/06/03
Controle Supervisrio de
SEDs: Introduo
15
armazm de sada
No h informao da
presena da pea na posio
Pi.
manipulador
armazm de
entrada
P1 mesa
circular
P4
teste
esteira
entradas
CLP
P3
P2
furadeira
sadas
Objetivo
Projetar o programa do CLP
04/06/03
Controle Supervisrio de
SEDs: Introduo
16
armazm de sada
04/06/03
manipulador
armazm de
entrada
P4
P1 mesa
circular
teste
esteira
entradas
CLP
P3
P2
furadeira
sadas
Requisitos adicionais
Operar com o mximo nmero de
peas o possvel
Otimalidade = controle minimamente
restritivo
No bloqueio
Controle Supervisrio de
SEDs: Introduo
17
Modelagem do problema
Notao
( q, )! significa que est definido para qQ e .
04/06/03
Controle Supervisrio de
SEDs: Introduo
19
04/06/03
Controle Supervisrio de
SEDs: Introduo
20
estados
04/06/03
0
1
2
smbolos
a
b
0
0
1
1
2
= { a, b, c}
Q = { 0, 1, 2}
q0 = 0
Qm = { 0, 2}
b
a
1
c
c
2
1
a
c
2
Observe que
(0,b) e (1,c)
no esto
definidos
Controle Supervisrio de
SEDs: Introduo
21
Propriedades
L(G) prefixo-fechada (L(G) = L(G))
Lm(G) L(G)
b
a
1
c
a
c
2
b
Notao para
expresses
regulares
04/06/03
Controle Supervisrio de
SEDs: Introduo
23
Controle Supervisrio de
SEDs: Introduo
24
Estrutura de controle
Partio de em conjuntos c e nc
c o conjunto de eventos controlveis
podem ser desabilitados (inibidos, proibidos de ocorrer)
Entradas de controle
Se , ento est habilitado por
Caso contrrio, est desabilitado
Propriedade
Eventos no controlveis no podem ser desabilitados (nc )
O controle permissivo
No fora a ocorrncia de um evento
04/06/03
Supervisrio de
ocorrncia
Apenas inibe a suaControle
SEDs: Introduo
25
Exemplo - SED
SED G mquina num sistema de manufatura
Pea bruta
Pea processada
Trs estados
P parada
T trabalhando
Q quebrada
Quatro eventos
- incio de operao
- fim de operao
- quebra
- conserto
Modelo da planta
Alfabeto
= { , , , }
Comportamento
L(G) = (()* + ()*)*( ++)
Lm(G) = (()* + ()*)*
04/06/03
Controle Supervisrio de
SEDs: Introduo
Estrutura de controle
c = {, }
nc = {, }
(notao no grafo)
26
04/06/03
Controle Supervisrio de
SEDs: Introduo
27
manipulador (G4 )
armazm de
entrada
ai
esteira (G1 )
entradas
bi
CLP
P4
P1 mesa
circular
(G0 )
P2
P3
teste (G3 )
furadeira (G2 )
sadas
Controle Supervisrio de
SEDs: Introduo
28
Especificaes globais
Tipicamente de estado proibido
Obtidas por anlise e corte de estados de G
Linguagem-alvo
Comportamento desejado em malha fechada K Lm (G)
04/06/03
Controle Supervisrio de
SEDs: Introduo
29
armazm de sada
manipulador
armazm de
entrada
P1 mesa
circular
E a b 1, b 2, b 3
0
b1, b2, b3
P3
teste
esteira
entradas
CLP
a0
P2
furadeira
sadas
Ebi
a 0, a i
i {1, 2, 3, 4}
1
b 0, b i
04/06/03
P4
Controle Supervisrio de
SEDs: Introduo
Eb = Eb1||Eb2||Eb3||Eb4
30
Eci
armazm de sada
manipulador
armazm de
entrada
i {1, 2, 3}
04/06/03
1
ai+1
ai+1
Controle Supervisrio de
SEDs: Introduo
P4
P1 mesa
circular
P3
teste
P2
furadeira
Especificao
global:
(296, 745, 10)
Linguagem alvo:
(159, 370,10)
31
Supervisor
Representado por um autmato S = (,Y,,y0,Ym)
O supervisor S segue a evoluo da planta G = (, Q, , q0,
Qm)
A ao de controle de S sobre G est implcita na estrutura
de transio de S
Num dado estado y de S e q de G, os eventos desabilitados de
G so os eventos tais que (q,)! e (y,) no definido
Controle Supervisrio de
SEDs: Introduo
32
Supervisor no bloqueante
Em geral Lm(S/G) L(S/G)
O que quer dizer Lm(S/G) L(S/G)?
O que esta condio corresponde no sistema em malha
fechada?
Supervisor no bloqueante
Lm(S/G) = L(S/G)
Todas as seqncias de eventos admitidas em malha fechada
so prefixos de tarefas completas do sistema
04/06/03
Controle Supervisrio de
SEDs: Introduo
33
a1
b1
Avana esteira at
haver pea em P1
b4
13
04/06/03
a0
12
b0
11
a0
a2
b2
Fura pea em P2
Pega pea em P4
e deposita no
armazm de sada
a4
b0
a0
10
b3
a3
b0
Testa a pea em P3
Controle Supervisrio de
SEDs: Introduo
34
Supervisor no bloqueante
Poltica de controle conservadora
A clula processa uma pea por vez
04/06/03
Controle Supervisrio de
SEDs: Introduo
35
Enunciado
Problema de controle supervisrio (PCS)
Dados uma planta G e uma especificao K *
encontre um supervisor S tal que Lm(S/G) K
04/06/03
Controle Supervisrio de
SEDs: Introduo
37
Controlabilidade e existncia de
supervisores
Para uma planta G com conjunto de eventos
no controlveis nc, a linguagem K * dita
controlvel em relao a (e.r.a.) L(G) e nc se
K ncL(G) K.
Fato
Existe um supervisor no bloqueante S tal que Lm(S/G)
= K se e somente se K Lm(G) e K for controlvel
04/06/03
Controle Supervisrio de
SEDs: Introduo
38
Soluo do PCS
Conjunto de linguagens controlveis contidas em K
C(K) = { J K | J nc L(G) J }
Subentende-se L(G) e nc
sup C (K)
Mxima linguagem controlvel (e.r.a. L(G) e nc) contida em K
Fato
O PCS possui soluo se e somente se K Lm(G) e supC(K)
04/06/03
Controle Supervisrio de
SEDs: Introduo
39
04/06/03
Controle Supervisrio de
SEDs: Introduo
40
04/06/03
Controle Supervisrio de
SEDs: Introduo
41
Modelar as especificaes
Linguagem alvo
Implementar o supervisor
04/06/03
Controle Supervisrio de
SEDs: Introduo
42
04/06/03
Controle Supervisrio de
SEDs: Introduo
43
Comentrios
Resumo
SEDs
Crescendo em nmero de aplicaes e complexidade
Necessidade de mtodos formais
04/06/03
Controle Supervisrio de
SEDs: Introduo
45
Limitaes
Complexidade computacional
Algoritmo de sntese com complexidade polinomial em
relao ao nmero de estados do autmato produto de planta
com especificaes
Nmero de estados do autmato produto cresce
exponencialmente com a adio de componentes da planta e
novas especificaes
Controle Supervisrio de
SEDs: Introduo
46
Ferramentas
Em geral acadmicas e de pesquisa
Sntese
Automatizao da implementao
CONCEL - Universidade Federal de Santa Catarina
SUPREMICA - Universidade de Chelmers
VALID (?) - Siemens
04/06/03
Controle Supervisrio de
SEDs: Introduo
47
Aplicaes
04/06/03
Controle Supervisrio de
SEDs: Introduo
48
Extenses
04/06/03
Controle Supervisrio de
SEDs: Introduo
49
reas de interesse
Automatizao da implementao de supervisores em
CLPs
Aplicao a sistemas flexveis de manufatura ou sistemas
supervisrios
Aplicaes especficas
Logstica
Sistemas de C3I
Jogos de guerra
Prtico vs terico
04/06/03
Controle Supervisrio de
SEDs: Introduo
50
Muito obrigado!