Imperatiwnye modeli regulqtorow sistem uprawleniq

Imperatiwnaq model' regulqtora ¿ sowokupnost' prawil wida «uslowie» ¿ «dejstwie». Perwaq chast' kazhdogo prawila opredelqet uslowiq ego ispol'zowaniq. Vtoraq chast' prawila opisywaet, kak pri ätih uslowiqh wychislqt' uprawlqüschee wozdejstwie. Na primerah pokazano, chto metod pozwolqet opisywat' raznoobrazie izwestnyh zakonow uprawleniq (programmnyh i pozicionnyh, s diskretnym wremenem i s diskretnymi sobytiqmi, s sosredotochennymi i raspredelennymi uprawlqüschimi wozdejstwiqmi). Takoe predstawlenie regulqtora blizko po forme k komp'üternoj programme i opisywaet zadachu uprawleniq kak wychislitel'nuü. Rassmotreno, kak w imperatiwnoj modeli uchitywat' nalichie razlichnyh wozmuschaüschih faktorow, wliqüschih na kachestwo raboty sistemy uprawleniq (wremennye zaderzhki, poterq chasti informacii, shum datchikow, kwantowanie signalow po wremeni i urownü). Procedura sinteza imperatiwnoj formy unificirowana, opredeleniü podlezhit kolichestwo älementow sistemy prawil i ee napolnenie. Zadacha sinteza reshaetsq analiticheskimi metodami ili posredstwom äwolücionnyh wychislenij, pri ätom wozmozhno zadanie dopustimogo tezaurusa.