%0 Conference Proceedings
%T Diagnosis of Higher-Order Discrete-Event Systems
%+ Dipartimento di Ingegneria dell'Informazione [Brescia]
%+ College of Mathematics, Physics and Information Engineering [Jinhua]
%A Lamperti, Gianfranco
%A Zhao, Xiangfu
%Z Part 1: Cross-Domain Conference and Workshop on Multidisciplinary Research and Practice for Information Systems (CD-ARES 2013)
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES)
%C Regensburg, Germany
%Y Alfredo Cuzzocrea
%Y Christian Kittl
%Y Dimitris E. Simos
%Y Edgar Weippl
%Y Lida Xu
%I Springer
%3 Availability, Reliability, and Security in Information Systems and HCI
%V LNCS-8127
%P 162-177
%8 2013-09-02
%D 2013
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01506770/document
%2 https://inria.hal.science/hal-01506770/file/978-3-642-40511-2_12_Chapter.pdf
%L hal-01506770
%U https://inria.hal.science/hal-01506770
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-CD-ARES
%~ IFIP-WG8-4
%~ IFIP-WG8-9
%~ IFIP-LNCS-8127