The explicit consideration of time is nowadays crucial for the specification and the verification of Discrete Event Systems (DESs). The behaviour of a DES is characterized by the set of event sequences it generates, its language. In many applications, the DES language is compared to a given set of observed sequences to evaluate the DES accuracy. In a timed context, however, the language is infinite, making it difficult to define and evaluate an accuracy indicator. To overcome this difficulty, the accuracy of a Time Petri net model with respect to a set of sequences is formulated in this paper, using a sliding finite-time window mechanism. In addition, an algorithm to evaluate the proposed accuracy measure is provided.

Finite-time accuracy of timed discrete event systems

Basile F.;Ferrara L.
2021

Abstract

The explicit consideration of time is nowadays crucial for the specification and the verification of Discrete Event Systems (DESs). The behaviour of a DES is characterized by the set of event sequences it generates, its language. In many applications, the DES language is compared to a given set of observed sequences to evaluate the DES accuracy. In a timed context, however, the language is infinite, making it difficult to define and evaluate an accuracy indicator. To overcome this difficulty, the accuracy of a Time Petri net model with respect to a set of sequences is formulated in this paper, using a sliding finite-time window mechanism. In addition, an algorithm to evaluate the proposed accuracy measure is provided.
978-1-6654-3659-5
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/4782289
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact