Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
An usual way in industry to design discrete events system (DES) consists of using a multi-modal approach to decompose the complexity of processes and specifications. The supervisory control theory (SCT) allows to prove that the process can be controllable to fulfill the requirements. Nevertheless, even based on a simple specification about commutations, it is very difficult to prove that the connections...
The research developed here comes within a global approach of a metro line supervision study. Methodology of supervisory control theory is applied to avoid undesirable behaviors during incident situations management and so enforce passengers safety. In this paper, unlike the forbidden state problem, the set of states not to reach is not a given parameter. This set corresponds to safety and controllability...
This paper presents a comparison between centralized approach and multi-model approach based on Supervisory Control Theory (SCT). The centralized approach uses both the whole process and specification to compute the controlled process. The multi-model approach, on the other hand, is used basing on various modal perspectives. This approach allows to build smaller models, which lead to smaller scale...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.