Nouvel automate à états finis
Une nouvelle transition permet de rallumer la haute tension dans la phase d'extinction lorsque la basse tension est encore présente. Un nouvel état appelé « défaut ext » permet de maintenir le voyant « défaut » allumé en cas de défaillance du système lors de son extinction. Pour réinitialiser l'automate, il faut faire un va-et-vient du bouton marche/arrêt.
Fig. 1 : nouvel automate à états finis (la même en grand)
Les nouveaux tableaux de Karnaugh sont donc les suivants :
Q2 | Q1Q0 | |||
00 | 01 | 11 | 10 | |
1 | 1 | 1 | ||
1 | 1 | 1 |
Tab. 1 : variable basse tension (B)
B = (Q1+Q0)Q2+Q2Q1
Q2 | Q1Q0 | |||
00 | 01 | 11 | 10 | |
1 | ||||
1 | 1 |
Tab. 2 : variable haute tension (H)
H = Q2Q1Q0+Q2Q0Q1
Q2 | Q1Q0 | |||
00 | 01 | 11 | 10 | |
1 | ||||
1 | 1 | 1 | 1 |
Tab. 3 : reset compteur (R)
R = Q1Q0+Q2Q1
Q2 | Q1Q0 | |||
00 | 01 | 11 | 10 | |
1 | 1 | 1 |
Tab. 4 : défaut (E)
E=Q2Q1
Compte tenu des équations précédentes, la logique reliant les sorties Qi des trois bascules aux quatre sorties de l'automate est la suivante :
Fig. 2 : logique de sortie (la même chose en grand)