Prof. Guilherme G. Silva Semestre: 2015/1 Estudo Dirigido Disciplina: Tpicos I Curso: Eng. Mecatrnica Aluno: 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. Vm_1 Vm_2 2 u.t. Vd_1 Vm_2