Numer: 09/2010 Str. 130
Autorzy: Grzegorz Labiak :
Tytuł: Problem pewnych niespójności między sterownikiem a układem sterowanym w systemie sterowania
Streszczenie: Referat przedstawia problem pewnych niespójności między sterownikiem a układem sterowanym w systemie sterowania. Opisywane niespójności są wynikiem wadliwie utworzonych predykatów tranzycji w wyniku czego stan sterownika nie jest zgodny ze stanem obiektu sterowanego. W referacie przedstawiono dwa sposoby usunięcia tego rodzaju wad: przy użyciu tranzycji współbieżnej oraz przy użyciu zmiennych lokalnych.
Słowa kluczowe: diagramy statechart, konflikt tranzycji, ortogonalność tranzycji, system sterowania binarnego.