In this paper we investigate how to predict the future occurrence of specific discrete states of a finite state system on the basis of the observations. Predictability property is defined with respect to a subset of discrete states, called critical set, representing for example faulty states or, more generally, any subset of states which is of particular interest from the system's behavior point of view. We define and characterize eventual and critical predictability properties by means of a set-membership-based formalism. Using the proposed framework, it is possible to check predictability properties with polynomial time algorithms.

Predictability for Finite State Machines: a set-membership approach

Fiore, Gabriella;Santis, Elena De;Di Benedetto, Maria Domenica
2018-01-01

Abstract

In this paper we investigate how to predict the future occurrence of specific discrete states of a finite state system on the basis of the observations. Predictability property is defined with respect to a subset of discrete states, called critical set, representing for example faulty states or, more generally, any subset of states which is of particular interest from the system's behavior point of view. We define and characterize eventual and critical predictability properties by means of a set-membership-based formalism. Using the proposed framework, it is possible to check predictability properties with polynomial time algorithms.
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: https://hdl.handle.net/11697/128753
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact