Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Deadlock freeness supervisor for marked graph
100%
EN
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.
EN
In this paper, we are interested in determining a maintenance policy with an optimal cost to enable the company to generate significant profits, often the means of transport travelled different paths, they are characterized by the distance they covered; however each distance has an effect on the operating characteristics of means of delivery. The objective of this paper is twofold: It aims both to introduce the model of supply chain and specify distances, and codify the use of it in the proportional hazard model, later a maintenance policy was presented which takes into consideration the types of paths travelled by the means of delivery.
3
Content available Deadlock freeness supervisor for marked graph
32%
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ć.