Fault detection in timed Petri net partially observed
| Autor: | Boukala Mohand Cherif, Ahmed Saadi Hadjira |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
0209 industrial biotechnology
Formalism (philosophy of mathematics) 020901 industrial engineering & automation Theoretical computer science Computer science 020208 electrical & electronic engineering 0202 electrical engineering electronic engineering information engineering 02 engineering and technology Petri net Combinatorial explosion Fault detection and isolation |
| Zdroj: | 2017 5th International Conference on Electrical Engineering - Boumerdes (ICEE-B). |
| DOI: | 10.1109/icee-b.2017.8191971 |
| Popis: | In this paper an approach is developed for the online diagnosis of timed discrete events systems, the formalism used is the labeled timed Petri nets. We have introduced a new concept is: enriched set of possible states. In addition to online diagnosis our approach allows us to avoid the combinatorial explosion of states. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|