PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  binary control system
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available The Problems of Transition Predicates Construction in Hierarchical Concurrent Controllers
Łabiak G.
International Journal of Electronics and Telecommunications
|
2012
|
Vol. 58, No. 4
411-418
EN
The paper presents a problem of a transition predicates construction in hierarchical concurrent state oriented notation. The notation, called statechart diagrams or state machine, serves as a very convenient formalism for specification of a complex behavior of the embedded systems control unit. The controller specified in this way is discrete, deterministic and synchronous system which operates on binary values and can be implemented in programmable devices as a digital circuit. Well designed controller has conflict-free transitions and its concurrent transitions should be independent. In order to meet this requirements transition predicates must be pairwise both orthogonal and non-implicative. Computational complexities of the problems is equal to classic clique problem. The paper also suggests some statecharts syntactic structures solving these problems.
2
Content available remote Transition orthogonality in statechart diagrams and inconsistencies in binary control system
Łabiak G.
Przegląd Elektrotechniczny
|
2010
|
R. 86, nr 9
130-133
EN
The paper concerns the problem of some inconsistencies between controller and controlled object in control system. These inconsistencies are a result of incorrectly built transition predicates where state of the controller does not conforms state of the controlled object. In the paper two solutions removing this flaw has been presented: with concurrent transition and with local variables.
PL
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.