Workshop: Testes automatizados, Refactoring e Design Patterns
DAS-5202: Modelagem e Controle de Sistemas Automatizados
description
Transcript of DAS-5202: Modelagem e Controle de Sistemas Automatizados
![Page 1: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/1.jpg)
Page1
DAS-5202: Modelagem e Controle de Sistemas Automatizados
Profs. Eduardo Camponogara & José Cury
![Page 2: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/2.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/3.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/4.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/5.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/6.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/7.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/8.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/9.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/10.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/11.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/12.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/13.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/14.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/15.jpg)
Page15
Tarefa #2: Lógica Atual
• Modele a lógica de controle atual (apenas uma garrafa na esteira)
![Page 16: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/16.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/17.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/18.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/19.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/20.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/21.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/22.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/23.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/24.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/25.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/26.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/27.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/28.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/29.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/30.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/31.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/32.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/33.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/34.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/35.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/36.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/37.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/38.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/39.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/40.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/41.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/42.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/43.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/44.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/45.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/46.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/47.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/48.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/49.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/50.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/51.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/52.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/53.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/54.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/55.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/56.jpg)
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: DAS-5202: Modelagem e Controle de Sistemas Automatizados](https://reader034.fdocumentos.tips/reader034/viewer/2022051316/56814e41550346895dbbaec4/html5/thumbnails/57.jpg)
Page57
Fim
• Obrigado pela presença!