Diagnosis of Higher-Order Discrete-Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Diagnosis of Higher-Order Discrete-Event Systems

Résumé

Preventing major events, like the India blackout in 2012 or the Fukushima nuclear disaster in 2011, is vital for the safety of society. Automated diagnosis may play an important role in this prevention. However, a gap still exists between the complexity of systems such these and the effectiveness of state-of-the-art diagnosis techniques. The contribution of this paper is twofold: the definition of a novel class of discrete-event systems (DESs), called higherorder DESs (HDESs), and the formalization of a relevant diagnosis technique. HDESs are structured hierarchically in several cohabiting subsystems, accommodated at different abstraction levels, each one living its own life, as happens in living beings. The communication between subsystems at different levels relies on complex events, occurring when specific patterns of transitions are matched. Diagnosis of HDESs is scalable, context-sensitive, and in a way intelligent.
Fichier principal
Vignette du fichier
978-3-642-40511-2_12_Chapter.pdf (401.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01506770 , version 1 (12-04-2017)

Licence

Identifiants

  • HAL Id : hal-01506770 , version 1

Citer

Gianfranco Lamperti, Xiangfu Zhao. Diagnosis of Higher-Order Discrete-Event Systems. 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.162-177. ⟨hal-01506770⟩
65 Consultations
112 Téléchargements

Partager

More