Un nuovo quadro per i sistemi a eventi discreti

Titolo originale:

A New Framework for Discrete-Event Systems

Contenuto del libro:

I problemi del mondo reale sono spesso formulati come proprietà di diversi tipi di sistemi dinamici. Per questo motivo, la verifica e la sintesi delle proprietà sono da tempo oggetto di ricerca.

Il quadro di controllo di supervisione sviluppato negli anni '80 fornisce un quadro di applicazione delle proprietà ad anello chiuso per sistemi a eventi discreti, che di solito consistono in stati discreti e transizioni tra stati causate dal verificarsi spontaneo di eventi etichettati. In questa revisione completa, l'autore sviluppa un framework di applicazione delle proprietà ad anello aperto per i sistemi a eventi discreti, che ha una scala migliore e può essere implementato in più modelli. L'autore dimostra la praticità di questo framework utilizzando uno strumento chiamato composizione concorrente, che utilizza per unificare più proprietà basate sull'inferenza e sull'occultamento nei sistemi a eventi discreti.

Nella seconda parte, l'autore introduce un nuovo modello chiamato automi pesati etichettati su monoidi (LWAM). Gli LWAM costituiscono una naturale generalizzazione degli automi a stati finiti etichettati, nel senso che ogni transizione in essi contenuta porta un peso da un monoide, mentre il peso di una corsa è il prodotto dei pesi delle transizioni della corsa stessa.

Questo libro introduce il lettore a un nuovo paradigma nei sistemi dinamici a eventi discreti. Fornisce a ricercatori, studenti e professionisti la teoria di base e una serie di strumenti implementabili che avranno un impatto significativo sui sistemi del futuro.