Simona Campus

A remark on the decentralized diagnosis of labeled petri nets

GIUA, ALESSANDRO;SEATZU, CARLA
2014-01-01

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.
2014
44
11
1549
1549
1
Esperti anonimi
no
Cabasino, Mp; Giua, Alessandro; Paoli, A; Seatzu, Carla
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
4
none
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie