ATPS

Sumário

Relatório 2 – Autômato de Porta Automática

Nessa etapa serão mostrados os passos para a definição e montagem de um autômato de uma porta automática.

Detalhes da Porta

A porta utilizada será em vidro contendo um sensor de proximidade interno (lado interno do shopping) e um sensor externo. Utilizaremos um modelo compatível com a porta PV5000 da magiportas (http://www.magiporta.com.br/).

Detalhes do Problema

A porta poderá estar em dois estados: Fechado e Aberto. Os sensores de proximidade serão responsáveis por sua mudança de estado, ou seja, quando ela estiver fechada e o sensor (interno ou externo) captar o movimento a porta abrirá, caso não haja mais movimento captado pelo sensor, a porta fechará e retornará ao seu estado inicial. Com esses dados podemos montar uma tabela com as possíveis projeções de movimentação da porta

Sensor Externo
Ativado
Sensor Interno
Ativado

Estado
Porta
ABERTA
ABERTA
Sensor Externo
Desativado
Estado
Porta
ABERTA
FECHADA
Sensor Interno
Desativado
Tabela 1 – Movimentações da Porta de acordo o estado do sensor de proximidade

De acordo com a tabela verificamos a existência de 4 possíveis movimentações, onde há apenas 1 em que a porta retornará ao seu estado inicial.

Autômato

Para um melhor entendimento e ilustrar o funcionamento da porta, desenvolveremos um autômato finito determinístico. Autômatos são máquinas abstratas, simples de serem implementadas para não gerar dúvidas quando forem executadas. Podem ser determinísticos ou não determinísticos. No caso da porta automática usaremos o autômato finito determinístico (AFD), pois é impossível ela estar em dois estados ao mesmo tempo.

Definição do Autômato

A solução do autômato é dada por uma quíntupla, onde os dados necessários são: Os estados da máquina, suas movimentações, suas funções de transição, seu estado inicial e final. Assim temos a seguinte definição: M=(Q,∑, Δ,s,F), onde Q são os estados, ∑ são