Diagnosis of Higher-Order Discrete-Event Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01506770
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 12, 2017 - 11:19:03 AM
Last modification on : Wednesday, April 12, 2017 - 1:43:39 PM
Long-term archiving on: Thursday, July 13, 2017 - 12:42:37 PM

File

978-3-642-40511-2_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01506770, version 1

Citation

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⟩

Share

Metrics

Record views

62

Files downloads

247