Browsing by Subject "Matching condition"
Now showing items 1-1 of 1
-
Conference Object
Intersection based decentralized diagnosis: Implementation and verification
(Institute of Electrical and Electronics Engineers Inc., 2013)We consider decentralized diagnosis in discrete event systems that are modeled as non-deterministic finite automata and are observed, through distinct natural projection maps, at multiple observation sites. Specifically, ...