Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: forbidden state problem

Sortuj według:

Ogranicz wyniki do:

Deadlock freeness supervisor for marked graph

Sioud H., Achour Z., Sava A., Rezg N.

Bulletin of the Polish Academy of Sciences. Technical Sciences

2009

Vol. 57, nr 3

281-289

This note presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable transitions. The forbidden behavior is specified by General Mutual Exclusion Constraints (GMEC). We prove that, even if the system to be controlled .s live, the closed loop control may generate deadlock situations. Using the structural proprieties of marked graph we defined the causes of deadlock situations, and we defined a formal method to avoid them.