Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2010 - zeszyt 9

Transition orthogonality in statechart diagrams and inconsistencies in binary control system

Grzegorz ŁABIAK

nr katalogowy: 55510

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. 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. (Problem pewnych niespójności między sterownikiem a układem sterowanym w systemie sterowania). Keywords: statechart diagrams, transition conflict, transition orthogonality, binary control system. Słowa kluczowe: diagramy statechart, konflikt tranzycji, ortogonalność tranzycji, system sterowania binarnego. 1. Introduction 1.1. Digital controller design The first step in digital binary controller design is formal specification of controller behavior [1]. Behavior of the controller can be specified as a Finite State Machine - for simple behavior, as a Petri nets - which because of using of concurrency explicitly is much more efficient in complex behavior description or as statechart diagrams which traditional FSM enhance with concurrency, hierarchy and broadcast mechanism [1][2][3]. It seems that statechart diagrams in comparison with Petri nets feature greater expressive power, especially when exception modeling is concerned [4][5]. Next, formally modeled behavior can by implemented in programmable devices (e.g. FPGA or CPLD) [1]. Every behavior specification formalism features transitions which in case of deterministic behavior transfor[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 55510 "Transition orthogonality ..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2010-9 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2010-9

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma