Estudo

Dirigido
Aluno:

Prof. Guilherme G. Silva

Disciplina: Tpicos I

Semestre: 2015/1
Curso: Eng. Mecatrnica
Data____/_____/_________

Considere o seguinte cruzamento rodovirio.
















Neste cruzamento veculos podem:
- Chegar por 1 e virar para 2.
- Chegar de 1 e virar para 3.
- Ir direto de 2 para 3.
- Ir direto de 3 para dois.

Para controlar o fluxo desse cruzamento suponha que h dois semforos com as luzes verde(vd_i),
vermelho (vm_i) e amarelo (am_i), sendo que i=1 ou 2 dependendo do semforo. Quando o semforo 1
estiver verde, os carros podero fluir de 2 para 3 e de 3 para 2, j quando o semforo 2 estiver em verde
os carros podero ir de 1 para 2 e de 1 para 3. Modele este sistema por meio de um autmato
considerando as cores dos semforos como os estados dos modelos (crculos) e os tempos de cada cor
como os eventos associados aos arcos. Por exemplo, na figura abaixo, os dois semforos estaro no
estado em que as luzes sero vermelhas e aps 2 unidades de tempo o sistema ir para o estado em que
o semforo 1 ir para verde e o semforo 2 permanecer em vermelho e assim por diante.

2 u.t.
Vm_1
Vm_2

Vd_1
Vm_2