Un nou cadru pentru sistemele cu evenimente discrete

Titlul original:

A New Framework for Discrete-Event Systems

Conținutul cărții:

Problemele din lumea reală sunt adesea formulate ca proprietăți diverse ale diferitelor tipuri de sisteme dinamice. Prin urmare, verificarea și sinteza proprietăților au constituit interese de cercetare de lungă durată.

Cadrul de control de supraveghere dezvoltat în anii 1980 oferă un cadru de aplicare a proprietăților în buclă închisă pentru sistemele cu evenimente discrete care, de obicei, constau în stări discrete și tranziții între stări cauzate de apariția spontană a evenimentelor etichetate. În această analiză cuprinzătoare, autorul dezvoltă un cadru de aplicare a proprietăților în buclă deschisă pentru sistemele cu evenimente discrete, care se scalează mai bine și poate fi implementat în mai multe modele. Autorul demonstrează caracterul practic al acestui cadru utilizând un instrument numit compoziție concurentă și utilizează acest instrument pentru a unifica mai multe proprietăți bazate pe inferență și proprietăți bazate pe ascundere în sistemele cu evenimente discrete.

În a doua parte, autorul introduce un nou model numit automate cu greutate etichetată peste monoizi (LWAM). LWAMs oferă o generalizare naturală a automatelor cu stare finită etichetate în sensul că fiecare tranziție din acestea poartă o greutate dintr-un monoid, greutatea unei runde este produsul greutăților tranzițiilor rundei.

Această carte introduce cititorul la o nouă paradigmă în sistemele dinamice cu evenimente discrete. Ea oferă cercetătorilor, studenților și practicienilor teoria de bază și un set de instrumente implementabile care vor avea un impact semnificativ asupra sistemelor din viitor.