Je vois que personne n'a vu l'erreur signalée dans le dernier article. Le problème était simple, il fallait réinitialiser le compteur lors de la transition extinction vers HT. En effet, l'état extinction impose la présence de la basse tension, mais la haute tension est coupée. Lorsque cette haute tension est rallumée, son temps de montée n'est pas nul. Il faut donc passer par l'état HT qui ne vérifie pas la présence de la haute tension avant de passer en défaut ou en maintien. Or la transition depuis extinction vers HT se fait avec un compteur dans un état indéfini alors que l'arrivée à l'état HT suppose un compteur nul.

Fig. 1 : la même chose en grand

Les quatre états au bas du schéma sont des états normalement inaccessibles. Ils ont été rajoutés pour que tous les états soient déterminés et que le système passe en protection en cas de présence d'un état indéterminé.

Les nouvelles sorties de la machine sont maintenant :

Tab. 1 : allumage de la basse tension

B=Q₃'(Q₂'(Q₀+Q₁)+Q₂Q₁')+Q₀(Q₁ xor Q₂)

Tab. 2 : allumage de la haute tension

H=Q₃'(Q₂Q₁'Q₀'+Q₂'Q₁Q₀)

Tab. 3 : blocage du compteur à zéro

R=Q₁(Q₂+Q₃)+Q₃'Q₁'Q₀'+Q₃(Q₂ xor Q₀)

Tab. 4 : indicateur d'erreur

E=Q₂Q₁+Q₃Q₀'(Q₂+Q₁)

Fig. 2 : circuit de sortie de la machine (en grand)

Tab. 5 : transitions de l'automate

La réduction des quines et le schéma de câblage suivront au prochain épisode. Après tout, nous sommes dimanche.