Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
Hadjicostis, Christoforos N.
SourceIEEE Transactions on Automatic Control
Google Scholar check
MetadataShow full item record
We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at multiple observation sites. These strategies allow observation sites to (periodically) communicate their diagnostic information (i.e., possible states along with corresponding status, such as normal operation and/or fault type) to other observation sites, which subsequently fuse all available diagnostic information (via set intersection operations), and continue operation based on the refined diagnostic information. We verify diagnosability using the proposed distributed protocol, with polynomial complexity, via compositions of (extended versions of) local verifiers, which are capable of capturing the refinement of information under the set intersection operations, as well as the influence of the refinement process on immediate or future diagnosis decisions. IEEE
Showing items related by title, author, creator and subject.
Distributed Calculation of Edge-Disjoint Spanning Trees for Robustifying Distributed Algorithms against Man-in-the-Middle Attacks Oliva, G.; Cioaba, S.; Hadjicostis, Christoforos N. (2017)In this paper we provide a distributed methodology to allow a network of agents, tasked to execute a distributed algorithm, to overcome Man-in-the-middle attacks that aim at steering the result of the algorithm towards ...
Cady, S. T.; Domínguez-Garcia, A. D.; Hadjicostis, Christoforos N. (2011)This paper discusses the hardware implementation of distributed control strategies that could be used to enable the utilization of distributed energy resources for the provision of grid support services. Although the ...
Robbins, B. A.; Hadjicostis, Christoforos N.; Domínguez-Garcia, A. D. (2013)In this paper, we propose an architecture for voltage regulation in distribution networks that relies on controlling reactive power injections provided by distributed energy resources (DERs). A local controller on each bus ...