On pourra supposer ue le feu est initialement orange, et qu’il ne peut s’arr- eter que dans cette m -eme situation. 1. Mod ‘ eliser chacun des modes par un automate temporis•e. 2. Mod eliser par un seul automate le feu pouvant fonctionner selon les deux modes, en prenant en compte que le feu ne peut changer de mode que intersection, qui fonctionnent dans le mode classique. Les feux nord et sud (respectivement est et ouest) sont synchronis es. On pourra donc mod ‘ eliser chacune de ces paires par un seul feu, dont fun est initialement vert et l’autre rouge.
Mod’ eliser un contr- oleur pour cette intersection sachant que : il y a alternance du passage entre les deux axes – lorsque l’un des feu est vert, l’autre doit « etre rouge – les deux feux ne doivent pas Aetre simultan ement rouge plus de 5 secondes [NB : les actions et horloges de chaque feu sont distinctes] 4. Composer le contr- oleur avec les deux feux. 5. Les bus circulant sur Faxe nord-sud disposent de bon Itiers leur permettant de « faire passer le feu au vert ». Un bus peut « etre non d • etect’ e (loin), proche, ou au niveau du feu.
La politique du feu est d’essayer que le bus passe le plus vite possible. II suppose pour csa que le bus arrive au feu 30 secondes apr es la d etection. On suppose qu’il ny a d’ etection que d’un seul bus ‘a la fois (on pourra s’ eparer les bus d’au moins 2 minutes) et qu’il ne franchit pas le feu s’il est orange. a) Construire un automate qui mod elise la d’ etection du bus. b) Modifier le contr- oleur pour qu’il essaie de faciliter le passage du bus 2 OF s oleur pour qu’il essaie de faciliter le passage du bus. . CTME] Transcrire en HyTech les feux en mode classique de la question 1 et le contr oleur dela question 3. 7. CTME] V’ erifier que l’on n’atteint jamais une paire d » etats o u les deux feux sont verts. 8. CTME] En est-il de m *eme pour les ‘ etats o u les deux feux sont oranges ? Solution de l’exercice 1 Rappel : dans un automate temporis • e, ce sont les actions qui importent, et non l » etat. On utilisera donc les actions r, v, o, e correspondant respectivement au passage au rouge, vert, orange et ‘eteint. 1.
Le mode classique est un cycle contenant les contraintes de temps. UPMC M1045 – Morec o x = 30, O 3 OF s x = 30, o, x x=35, 3. On n’a ici pas besoin de se synchroniser avec toutes les actions : on peut ignorer les signaux oranges, que ron n’a pas besoin de contr- oler. On se synchronise donc avec les signaux rl , v1 , r2 , v2 . L’horloge z est une nouvelle horloge. Le contr- oleur ne fait onc qu’impl ementer les trois propri et es demand ‘ ees. c: VR z g 5, V1 z g 5, V2 4 OF S Remarquons que l’on aurait pu commencer par composer les deux feux entre eux.
Mais dans ce cas on aurait eu tous les entrelacements possibles des actions, comme si les feux evoluaient ind’ ependamment l’un de l’autre. 5. a) On utilise trois signaux : far (le bus est loin), detect (bus d etect e), cross (le bus est a l’intersection). x à 120, detect, O far, x O x = 30, cross b) pour faciliter le passage d’un bus, on va soit laisser le feu nord- sud vert plus longtemps, soit.
