Cart (Loading....) | Create Account
Close category search window

Decentralized diagnosability of regular languages is undecidable

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Sengupta, Raja ; CEE Dept., California Univ., Berkeley, CA, USA ; Tripakis, S.

We study decentralized fault diagnosis in the context of discrete-event systems. The objective is for a group of agents (the diagnosers) to determine whether a plant has generated a faulty behavior or not, and this, a bounded number of steps after the fault occurred. The plant is modeled as a finite-state automaton producing sequences of events, over some alphabet. One or more special events model faults. Each diagnoser observes only a subset of events generated by the plant. The diagnosers can communicate their observations, which are delivered without loss and in order, but with all arbitrary delay. Diagnosability is a property of the plant with respect to one or more observable event sets, which ensures the existence of diagnosers. In the centralized case, diagnosability is known to be decidable (in polynomial time). We show that the decentralized fault diagnosis problem is undecidable for two or more diagnosers. We also show that the problem is undecidable for three or more diagnosers, even in the case where the language produced by the plant is prefix-closed. We illustrate the modeling framework through an example of fault diagnosis in a simple wireless network.

Published in:

Decision and Control, 2002, Proceedings of the 41st IEEE Conference on  (Volume:1 )

Date of Conference:

10-13 Dec. 2002

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.