Abstract | ||
---|---|---|
A remark related to our recent paper is made. Using a counterexample we show that we need more strict assumptions with respect to those used to prove that if a system is diagnosable in a decentralized setting, then it is also diagnosable in a centralized one. Specifically, we require that the central diagnoser sees all the events that can be seen by all the local diagnosers, and that the central diagnoser can distinguish all observable events that the local diagnosers can distinguish on their own. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/TSMC.2014.2328604 | Systems, Man, and Cybernetics: Systems, IEEE Transactions |
Keywords | Field | DocType |
Petri nets,decentralised control,discrete event systems,fault diagnosis,decentralized diagnosis,discrete event systems,fault detection,labeled Petri nets,Petri nets,discrete event systems,fault detection | Petri net,Observable,Computer science,Control theory,Fault detection and isolation,Stochastic Petri net,Process architecture,Counterexample,Cybernetics | Journal |
Volume | Issue | ISSN |
44 | 11 | 2168-2216 |
Citations | PageRank | References |
1 | 0.41 | 1 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maria Paola Cabasino | 1 | 318 | 23.10 |
Alessandro Giua | 2 | 1836 | 199.57 |
Andrea Paoli | 3 | 212 | 16.73 |
Carla Seatzu | 4 | 700 | 67.51 |