Nowadays, it is crucial to explicitly represent time in Discrete Event Systems (DESs). The behaviour of a DES is characterized by the set of event sequences it generates, its language. In many applications it is of interest to evaluate how much accurate is a DES model with respect to a set of observed sequences. However, in a timed context, the language of the system is unbounded, making difficult to define and evaluate an accuracy indicator. To overcome this difficulty, in this preliminary work the accuracy of a Time Petri net model with respect to a set of sequences is formulated using a sliding finite-time window mechanism.
A sliding-window approach to analyze the accuracy of timed DESs
Basile F.;Ferrara L.
2021-01-01
Abstract
Nowadays, it is crucial to explicitly represent time in Discrete Event Systems (DESs). The behaviour of a DES is characterized by the set of event sequences it generates, its language. In many applications it is of interest to evaluate how much accurate is a DES model with respect to a set of observed sequences. However, in a timed context, the language of the system is unbounded, making difficult to define and evaluate an accuracy indicator. To overcome this difficulty, in this preliminary work the accuracy of a Time Petri net model with respect to a set of sequences is formulated using a sliding finite-time window mechanism.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
