Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José...

57
Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury

Transcript of Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José...

Page 1: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page1

DAS-5202: Modelagem e Controle de Sistemas Automatizados

Profs. Eduardo Camponogara & José Cury

Page 2: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page2

Objetivos

• Motivar o trabalho prático• Apresentar um exemplo de problema de

automação• Desenvolver um modelo em Redes de Petri• Proceder à análise do modelo

Page 3: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page3

Fábrica de Cerveja

CLPSinais de entrada

Sinais de saída

Estação de envasilhamento

Buffer de entrada

Buffer de saídaTAMPADOR

BOMBA

ROBÔ

ATUADOR

P1 P2 P3 P4

ESTEIRA

1m

Page 4: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page4

Estação de Envasilhamento

• A linha de produção da fábrica de cerveja está equipada com uma estação de envasilhamento (EE)

• A estação de envasilhamento consiste de uma esteira e quatro máquinas, dispostas em série que recebem comandos de um CLP– Atuador (move garrafas vazias para a esteira)– Bomba (enchimento das garrafas)– Tampador– Robô (braço mecânico que remove garrafas)

Page 5: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page5

Comandos do CLP

• O controlador lógico programável (CLP) comanda a operação EE através da sequência de passos:

– O atuador avança, depositando uma garrafa vazia em P1 (A_start)

– A esteira avança de 1 metro (E_start)– A bomba enche a garrafa de cerveja (B_start)

– A esteira avança de 1 metro (E_start)– A garrafa é tampada (T_start)– A esteira avança de 1 metro (E_start)– O robô retira a garrafa da esteira (R_start)

Page 6: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page6

Lógica do CLP

• Execute indefinidamente– Envia: A_start– Aguarda: A_end

– Envia: E_start– Aguard: E_end

– Envia: B_start– Aguarda: B_end

– Envia: E_start– Aguarda: E_end

– Envia: T_start– Aguarda: T_end

– Envia: E_start– Aguarda: E_end

– Envia: R_start– Aguarda: R_end

Page 7: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page7

Observações Sobre a Lógica do CLP

• A EE foi projetada para operar uma garrafa por vez, não permitindo que o autador seja acionado antes que o robô retire a garrafa da esteira

• Quais problemas poderiam surgir se operássemos várias garrafas em paralelo?

Page 8: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page8

Problemas Com Múltiplas Garrafas

• Problemas podem surgir da diferença de velocidade das máquinas e falta de coordenação– Acionar qualquer uma das máquinas quando a

esteira estiver avançando– Sobrepor garrafas em P1

– Avançar a esteira sem que as garrafas em P2, P3 e P4 tenham sido enchidas, tampadas e retiradas, respectivamente

– Encher, tampar, ou acionar o robô sem garrafas nas posições P2, P3 e P4, respectivamente

– Encher ou tampar duas vezes a mesma garrafa– Avançar a esteira sem nenhuma garrafa

Page 9: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page9

Ineficiência da Estação

• A EE é ineficiente– As máquinas não operam simultaneamente,

reduzindo consideravelmente a capacidade de produção

• Problema de Automação Industrial– Um engenheiro de controle e automação

industrial foi contratado para projetar uma lógica que induza maior eficiência da estação de envasilhamento

Page 10: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page10

Detalhes do CLP

• O técnico responsável pela manutenção da linha de produção tem grande conhecimento de programação de CLPs

• Ele poderá implementar a lógica projetada pelo engenheiro, desde que esta faça uso dos sinais de entrada e saída da tabela a seguir

Page 11: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page11

Detalhes do CLP

Máquina Sinal Tipo Detalhes

Atuador Pneumático

A_start Saída Inicia depósito de uma garrafa no pallet

A_end Entrada

Sinal fim de operação do atuador

Esteira E_start Saída Inicia avanço de 1 m da esteira

E_end Entrada

Sinal fim de operação da esteira

Bomba de Cerveja

B_start Saída Comando inicia enchimento

B_end Entrada

Sinal fim de enchimento

Tampador T_start Saída Comando começa tampar garrafa

T_end Entrada

Sinal garrafa tampada

Robô R_start Saída Comando retira garrafa

R_end Entrada

Sinal garrafa foi removida

Page 12: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page12

Tarefa #1: Funcionamento Básico

• Desconsidere o fluxo de garrafas na esteira, modele o funcionamento do sistema com uma restrição que impeça a esteira de avançar quando o atuador, a bomba, o tampador e/ou o robô estiverem operando

Page 13: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page13

Rede de Petri: Sistema em Repouso

A_start

A_end

B_end

Atuador emOperação

E_start

B_start

E_end

Atuador emRepouso

Bomba emOperação

Bomba emRepouso

Esteira emRepouso

EsteiraAvançando

Page 14: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page14

Rede de Petri: Esteira Avançando

A_start

A_end

B_end

Atuador emOperação

E_start

B_start

E_end

Atuador emRepouso

Bomba emOperaçãoBomba em

Repouso

Esteira emRepouso

EsteiraAvançando

Page 15: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page15

Tarefa #2: Lógica Atual

• Modele a lógica de controle atual (apenas uma garrafa na esteira)

Page 16: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page16

Rede de Petri

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 17: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page17

Rede Petri: Atuador em Operação

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 18: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page18

Atuador Finalizou Operação

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 19: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page19

Esteira em Movimento

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 20: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page20

Esteira Finalizou Avanço

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 21: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page21

Tampador em Operação

ARep AOp BRep BOp TRep TOp RRep ROp

Ast Aend Bst Bend Tst Tend Rst Rend

ERep1 ERep2EOp

E_start E_end

Atuador Bomba Tampador Robô

Page 22: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page22

Tarefas de Análise do Modelo

• Seja R a rede de Petri do modelo do sistema e M0 sua marcação inicial

– R é k-limitada para M0?

– R é k-limitada para qualquer marcação inicial?

– (R, M0) é reinciável?

– Quais são os componentes conservativos?– Quais são os componentes repetitivos?

Page 23: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page23

Tarefa #2: Lógica Alternativa

• Desenvolva uma lógica de controle através da qual a esteira trabalhe sempre cheia.

• Considere a esteira inicialmente configurada como segue:

– uma garrafa vazia em P2

– Uma garrafa cheia em P3

– Uma garrafa cheia e tampada em P4

Page 24: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page24

Rede de Petri

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 25: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page25

Bomba Inicia Operação

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 26: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page26

Robô Inicia Operação

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 27: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page27

Todas as Máquinas Finalizaram Operação

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 28: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page28

Esteira em Movimento

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 29: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page29

Esteira Avançou 1 metro

A_start A_end

B_start B_end

T_start T_end

R_start R_end

E_startE_end

Esteira em Movimento

Page 30: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page30

Tarefa #3: 2a. Lógica Alternativa

• Projetar uma lógica de controle flexível, que permita à esteira operar uma, duas, três ou quatro garrafas em paralelo.

Page 31: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page31

4 Garrafas

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (4g)

Page 32: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page32

4 Garrafas – 4 Máquinas Operando

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (4g)

Page 33: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page33

4 Garrafas – Tarefas Finalizadas

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (4g)

Page 34: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page34

4 Garrafas – Esteira Avançando

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (4g)

Page 35: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page35

4 Garrafas – Condição Inicial

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (4g)

Page 36: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page36

1 Garrafa: P1 com Garrafa

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 37: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page37

1 Garrafa: Movendo Garrafa P1 -> P2

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 38: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page38

1 Garrafa: P2 com Garrafa Vazia

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 39: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page39

1 Garrafa: Enchendo Garrafa em P2

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P2->P3)

Page 40: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page40

1 Garrafa: P2 com Carrafa Cheia

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P2->P3)

Page 41: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page41

1 Garrafa: Movendo Garrafa P2 -> P3

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P2->P3)

Page 42: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page42

1 Garrafa: P3 com Garrafa Cheia

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P2->P3)

Page 43: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page43

1 Garrafa: Tampando Garrafa em P3

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P3->P4)

Page 44: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page44

1 Garrafa: Garrafa com Tampa em P3

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P3->P4)

Page 45: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page45

1 Garrafa: Movendo Garrafa P3 -> P4

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P3->P4)

Page 46: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page46

1 Garrafa: P4 c/ Garrafa Tampada

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P3->P4)

Page 47: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page47

1 Garrafa: Robô Movendo Garrafa

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 48: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page48

1 Garrafa: Robô Removeu Garrafa

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 49: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page49

1 Garrafa: Atuador Move Garrafa

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 50: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page50

1 Garrafa: P1 com Garrafa

A_start A_end

B_start B_end

T_start T_end

R_start R_end

P2 s/g

P2 vazia

P1 s/g P1 c/g

P2 cheia

P3 cheia P3 c/tampa

P3 s/g

P4 c/g P4 s/g

E_startE_end

E_mov (1g, P1->P2)

Page 51: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page51

Próximos Passos

• Projetar transições para casos envolvendo 2 e 3 garrafas

• Podemos projetar lógica mais simples e compacta?– O modelo exemplo terá em torno de:

• 2x16 transições para avançar a esteira• 2x4 transições para executar as

operações• 14 lugares para as máquinas e em torno

de 16 lugares para operações de avanço da esteira

Page 52: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page52

Próximos Passos

• Projetar Lógica

• Executar simulação com objetivo de verificar o comportamento do sistema sob controle da lógica projetada

• Executar análise das propriedades da rede de Petri

Page 53: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page53

Projeto -- Objetivos

• Em grupos de até 3 alunos, desenvolver trabalho de modelagem e controle de um sistema, colocando em prática as teorias apresentadas na disciplina (redes de Petri e autômatos)

Page 54: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page54

Projeto -- Tarefas

• Identificar um problema prático que envolva a análise e síntese de controlador para uma aplicação que se enquadre na classe de sistemas a eventos discretos (SEDs)

• Modelar o respectivo sistema

• Especificar um comportamento desejado para o sistema

Page 55: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page55

Projeto -- Tarefas

• Analisar o comportamento do sistema sem controlador e destacar os possíveis problemas decorrentes da inexistência de coordenação

• Projetar um controlador para atender as especificações e analisar a solução proposta

• Redigir um relatório das atividades e fazer uma apresentação oral

Page 56: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page56

Projeto -- Avaliação

• Critérios para Avaliação dos Trabalhos:– clareza da elaboração do problema– a riqueza do problema proposto

(complexidade, criatividade, representatividade e adequação à teoria);

– modelos e fidelidade da modelagem;– completude e “corretude” da análise e da

solução;– relatório; e– apresentação oral dos resultados.

Page 57: Page1 DAS-5202: Modelagem e Controle de Sistemas Automatizados Profs. Eduardo Camponogara & José Cury.

Page57

Fim

• Obrigado pela presença!