H1 - dolna uroven hladiny, H2- horna uroven hladiny, h - aktualna uroven hladiny
dajme tomu, a - vstuypny signal,premenna, reprezentujuca data od "dolneho" senzora S1
b - vstupny signal, premenna, reprezentujuca data od "horneho" senzora S2
a = 0 , ak aktualna uroven hladiny tekutiny h este nepresiahla uroven hladiny, ktoru sleduje senzor S1(dolnu uroven hladiny - H1) , cize h < H1
a = 1 , ak aktualna uroven hladiny tekutiny h presiahla uroven hladiny, ktoru sleduje senzor S1, cize h >= H1
b = 0 , ak aktualna uroven hladiny tekutiny h este nepresiahla uroven hladiny, ktoru sleduje senzor S2(hornu uroven hladiny - H2), cize h < H2
b = 1 , ak aktualna uroven hladiny tekutiny h presiahla uroven hladiny, ktoru sleduje senzor S2, cize h >= H2
Mas 2 vstupne premenne , teda 4 mozne stavy, zistis ktore pouzijes >
ab(00) - X0 - zasobnik je prazdny
ab(01) - X1 -chyba , lebo tento stav indikuje ze , aktualna hladina je pod dolnou urovnou hladiny H1(a=0) a zaroven ze je nad hornou hladinou H2(b=1) // mozno pocitat pri navrhu navrhu, vtedy sa podla (mojho) navrhu vypne plnenie
ab(10) - X2 - zasobnik je poloprazdny/poloplny - aktualna hladina je niekde medzi H1 a H2
ab(11) - X3 - zasobnik je plny - aktualna hladina je na, alebo nad urovnou H2
X = {X0,X1,X2,X3}
Ma jeden vystupny signal - y, ktory ovlada el. clen - napustaci ventil NV >
y = 0, napustaci ventil je uzavrety(zasobnik sa nenaplna)
y = 1, napustaci ventil je otvoreny(zasobnik sa naplna)
Teda moze mat dva vystupne stavy Y0 - situacia, kedy je plnenie vypnute, Y1 - situacia kedy je plnenie zapnute. Y = {Y0,Y1}.
Obvod je asi najlepsie robit ako Moore, lebo kazdemu vnut. stavu mozno priradit prave jeden vystupny stav.
Teda ak si oznacis S0 ako stav, kedy sa zasobnik nenaplna(ma priradeny vyst. stav Y0), tak sledujes ako sa budu menit nasledujuce stavy pre jednotlive vsupy.
Na vstup pride X0 - to jest, ze aktualna hladina je pod urovnou H1 = zasobnik prazdny > musi prejst do stavu , kedy sa zacne naplnat, a to je stav S1.
Na vstup pride X1 - to jest chyba senzora - ostane v tom istom stave - S0 - nenaplna sa.
Na vstup pride X2 - to jest, ze zasobnik je poloprazdny, uroven medzi H1 a H2, ostane v tom istom stave - S0 - nenaplna sa.
Na vstup pride X3 - to jest ze, ze zasobnik je plny - ostane v tom istom stave - S0 - nenaplna sa.
Objavil sa dalsi stav - S1, to jest vnutorny stav, kedy sa zasobnik naplna( ma priradeny vystupny stav - Y1), skumas vsetky nasledujuce stavy pre vsetky mozne(uvazovane) vstupy.
Na vstup pride X0 - zasobnik je prazdny, tesne pred okamihom naplnania, ostava v tom istom istom vnut. stave S1 - plni sa.
Na vstup pride X1 - chyba senzora // mozno s tymto vstupnym stavom uvazovat pri navrhu, ale mozno ho vynechat, ja uvazujem , teda prechod do S0 - plnenie vypnute
Na vstup pride X2 - zasobnik poloprazdny, ostava v tom istom istom vnut. stave S1 - plni sa.
Na vstup pride X3 - to jest ze, ze zasobnik je plny - prechod do S0 - plnenie vypnute.
