Predictability for Finite State Machines: a set-membership approach
| Autor: | Elena De Santis, Gabriella Fiore, Maria Domenica Di Benedetto |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
0209 industrial biotechnology
Finite-state machine Theoretical computer science observability Computer science 020208 electrical & electronic engineering Finite State Machines 02 engineering and technology Formalism (philosophy of mathematics) 020901 industrial engineering & automation Control and Systems Engineering diagnosability predictability 0202 electrical engineering electronic engineering information engineering Discrete Event Systems Predictability Time complexity |
| Zdroj: | IFAC-PapersOnLine. 51:355-360 |
| ISSN: | 2405-8963 |
| DOI: | 10.1016/j.ifacol.2018.06.325 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|