Nowe ramy dla systemów zdarzeń dyskretnych

Oryginalny tytuł:

A New Framework for Discrete-Event Systems

Zawartość książki:

Problemy świata rzeczywistego są często formułowane jako różnorodne właściwości różnych typów systemów dynamicznych. Stąd też weryfikacja i synteza własności są od dawna przedmiotem zainteresowania badaczy.

Ramy kontroli nadzorczej opracowane w latach 80-tych XX wieku zapewniają ramy egzekwowania własności w pętli zamkniętej dla systemów zdarzeń dyskretnych, które zwykle składają się z dyskretnych stanów i przejść między stanami spowodowanych spontanicznymi wystąpieniami oznaczonych zdarzeń. W tym kompleksowym przeglądzie autor opracowuje ramy egzekwowania własności w pętli otwartej dla systemów zdarzeń dyskretnych, które lepiej się skalują i mogą być wdrażane w większej liczbie modeli. Autor demonstruje praktyczność tej struktury za pomocą narzędzia zwanego kompozycją współbieżną i wykorzystuje to narzędzie do ujednolicenia wielu właściwości opartych na wnioskowaniu i właściwości opartych na ukrywaniu w systemach zdarzeń dyskretnych.

W drugiej części autor wprowadza nowy model zwany etykietowanymi ważonymi automatami nad monoidami (LWAM). LWAM stanowią naturalne uogólnienie etykietowanych automatów skończonych w tym sensie, że każde przejście w nich ma wagę z monoidu, a waga przebiegu jest iloczynem wag przejść tego przebiegu.

Książka ta wprowadza czytelnika w nowy paradygmat systemów dynamicznych zdarzeń dyskretnych. Zapewnia badaczom, studentom i praktykom podstawową teorię i zestaw możliwych do wdrożenia narzędzi, które będą miały znaczący wpływ na systemy przyszłości.