Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: methods of specyfication

Sortuj według:

Ogranicz wyniki do:

Metody specyfikacji, syntezy i weryfikacji hierarchicznych diagramów stanów

Łabiak G., Karatkevich A.

Pomiary Automatyka Kontrola

2006

R. 52, nr 7 bis

109--111

W referacie przedstawiono hierarchiczne diagramy stanów jako środek specyfikacji zachowania i syntezy cyfrowych sterowników dyskretnych. Szczególnie skoncentrowano się na pewnych aspektach dynamiki takiego zachowania, opisując pewne szkodliwe zjawiska występujące w zachowaniu, takie jak zakleszczenia i stany nieosiągalne. Ponadto w referacie zmieszczono sposoby ich wykrywania.

The paper presents hierarchical state diagrams as means for behavior specification and synthesis of discrete digital controllers. Special attention is paid to some dynamic aspects of behavior, mainly deadlocks and unreachable states. These flaws of behavior can be formally detected by means of symbolic methods and simple algorithms of detecting them are also contained it this paper.