Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  introduce the notion of  safe-codiagnosability , extending the notion of safe-diagnosability (Paoli and Lafortune, 2005) to the decentralized setting. For a system, a certain subbehavior is deemed safe (captured via a safety specification), and a further subbehavior is deemed nonfaulty (captured via a nonfault specification). Safe-codiagnosability requires that when the system executes a trace that is faulty, there exists at least one diagnoser that can detect this within bounded delay and also before the safety specification is violated. The above notion of safe-codiagnosability may also be vied as an extension of the notion of codiagnosability (Qiu and Kumar, 2006), where the latter did not have any safety requirement.  show that safe-codiagnosability is equivalent to codiagnosability together with ldquozero-delay codiagnosabilityrdquo of ldquoboundary safe tracesrdquo. (A safe trace is a boundary safe trace if there exists a single-event extension that is unsafe.)  give an algorithm of polynomial complexity for verifying safe-codiagnosability. For a safe-codiagnosable system, the same methods as those proposed in (Qiu and Kumar, 2006) can be applied for offline synthesis of individual diagnosers, as ll as for online diagnosis using them.
['Wenbin Qiu', 'Qin Wen', 'Ratnesh Kumar']
I am writing a research paper on a idea Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures
[{"from": "human", "value": "I am writing a research paper on a idea Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  introduce the notion of  safe-codiagnosability , extending the notion of safe-diagnosability (Paoli and Lafortune, 2005) to the decentralized setting. For a system, a certain subbehavior is deemed safe (captured via a safety specification), and a further subbehavior is deemed nonfaulty (captured via a nonfault specification). Safe-codiagnosability requires that when the system executes a trace that is faulty, there exists at least one diagnoser that can detect this within bounded delay and also before the safety specification is violated. The above notion of safe-codiagnosability may also be vied as an extension of the notion of codiagnosability (Qiu and Kumar, 2006), where the latter did not have any safety requirement.  show that safe-codiagnosability is equivalent to codiagnosability together with ldquozero-delay codiagnosabilityrdquo of ldquoboundary safe tracesrdquo. (A safe trace is a boundary safe trace if there exists a single-event extension that is unsafe.)  give an algorithm of polynomial complexity for verifying safe-codiagnosability. For a safe-codiagnosable system, the same methods as those proposed in (Qiu and Kumar, 2006) can be applied for offline synthesis of individual diagnosers, as ll as for online diagnosis using them."}]