Logique séquentielle

[mister_why]

Bonjour,

étudiant la logique séquentielle, j'aurai aimé savoir s'il existe une méthode pour envisager tout les cas possibles afin de n'en oublier aucuns, comme en logique combinatoire avec la table de Karnaugh.

Par exemple (exemple que j'ai du moi même résoudre) : un réservoir d'eau qu'il faut remplir via deux pompes dans des puis (eux mêmes alimenté via la nappe phréatique). Et ça a été un peu casse tête pour trouver certains états transitoires.

Donc en gros je cherche s'il existe une méthode plus carré que le fait de moi même penser à tout les cas de figures.

J'espère avoir été assez clair ^^

D'avance merci
-----

[mister_why]

Précision vu qu'on ne peut plus modifier nos messages après les avoir postés …


Par exemple (exemple que j'ai du moi même résoudre) : un réservoir d'eau qu'il faut remplir via deux pompes dans des puis (eux mêmes alimenté via la nappe phréatique). Et ça a été un peu casse tête pour trouver certains états transitoires.

Si vous voulez prendre mon exemple pour m'expliquer :

j'avais :

deux capteurs par puits : niveau haut et niveau bas

deux capteurs dans le réservoir : niveau haut et niveau bas

Si le niveau haut du réservoir est atteint on n'active évidemment pas les pompes, pareil s'il n'y a pas d'eau dans les puits.

Si l'un des puits est alimenté en haut mais pas l'autre, on l'active lui et pas l'autre, tout en sachant qu'on veut alterner les pompes pour qu'elles s'usent de façon identiques.

Voila en somme pour vous faire une meilleure idée.

[PIXEL]

tu peux regarder la logique "des états stables" dite aussi méthode HUFFMAN

mais il y a aussi l'étude pragmatique des possibilités ,
qui donne toujours de bons résultats

[DAUDET78]

Non, c'est à toi de penser/construire l'organigramme.
Tu as aussi la solution de la machine d'état qui recense toutes les combinaisons et tu passes d'un état à un autre en actionnant les pompes

[A voir en vidéo sur Futura]