Nový rámec pre systémy s diskrétnymi udalosťami

Pôvodný názov:

A New Framework for Discrete-Event Systems

Obsah knihy:

Problémy reálneho sveta sú často formulované ako rôzne vlastnosti rôznych typov dynamických systémov. Preto sú overovanie a syntéza vlastností dlhodobým predmetom výskumu.

Rámec dozorného riadenia vyvinutý v 80. rokoch 20. storočia poskytuje rámec pre uzavreté vynucovanie vlastností pre systémy s diskrétnymi udalosťami, ktoré sa zvyčajne skladajú z diskrétnych stavov a prechodov medzi stavmi spôsobených spontánnym výskytom označených udalostí.

V tomto komplexnom prehľade autor rozvíja rámec pre vynucovanie vlastností v otvorenej slučke pre systémy diskrétnych udalostí, ktorý sa lepšie škáluje a môže byť implementovaný vo viacerých modeloch. Autor demonštruje praktickosť tohto rámca pomocou nástroja nazývaného súbežná kompozícia a používa tento nástroj na zjednotenie viacerých vlastností založených na odvodzovaní a utajovaní v diskrétnych udalostných systémoch.

V druhej časti autor zavádza nový model nazývaný označené vážené automaty nad monoidmi (LWAM). LWAM poskytujú prirodzené zovšeobecnenie označených konečnostavových automatov v tom zmysle, že každý prechod v nich nesie váhu z monoidu, pričom váha behu je súčinom váh prechodov behu.

Táto kniha uvádza čitateľa do novej paradigmy v oblasti diskrétnych udalostných dynamických systémov. Poskytuje výskumníkom, študentom a praktikom základnú teóriu a súbor na implementovateľných nástrojov, ktoré budú mať významný vplyv na systémy budúcnosti.