A New Framework for Discrete-Event Systems
A valós problémák gyakran különböző típusú dinamikus rendszerek különböző tulajdonságaiként fogalmazódnak meg. Ezért a tulajdonságok verifikációja és szintézise régóta tartó kutatási érdek.
Az 1980-as években kifejlesztett felügyeleti szabályozási keretrendszer zárt hurkú tulajdonságérvényesítési keretet biztosít a diszkrét eseményű rendszerek számára, amelyek általában diszkrét állapotokból és az állapotok közötti átmenetekből állnak, amelyeket a megjelölt események spontán bekövetkezése okoz. Ebben az átfogó áttekintésben a szerző a diszkrét eseményrendszerek nyílt hurkú tulajdonságérvényesítési keretrendszerét dolgozza ki, amely jobban skálázódik és több modellben is megvalósítható. A szerző egy konkurens kompozíciónak nevezett eszközzel demonstrálja e keretrendszer gyakorlati megvalósíthatóságát, és ezt az eszközt használja több következtetésen alapuló tulajdonság és elrejtésen alapuló tulajdonság egyesítésére diszkrét eseményrendszerekben.
A második részben a szerző egy új modellt mutat be, amelyet címkézett súlyozott automaták monoidok felett (labeled weighed automata over monoids, LWAM) néven ismerhetünk meg. Az LWAM-ok a címkézett véges állapotú automaták természetes általánosítását nyújtják abban az értelemben, hogy bennük minden egyes átmenet egy monoidból származó súlyt hordoz, egy futás súlya a futás átmenetei súlyainak szorzata.
Ez a könyv a diszkrét eseménydinamikai rendszerek új paradigmájába vezeti be az olvasót. A kutatók, hallgatók és gyakorlati szakemberek kezébe adja az alapvető elméletet és egy sor olyan megvalósítható eszközt, amelyek jelentős hatással lesznek a jövő rendszereire.