Learn More
We consider a generalized form of the conventional decentralized control architecture for discrete-event systems where the control actions of a set of supervisors can bè`fused'' using both union and intersection of enabled events. Namely, the supervisors agree a priori on choosing``fusion by union'' for certain controllable events and``fusion by(More)
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one centralized site. This paper casts the problem of decentralized diagnosis in a new hierarchical framework. A key feature is the exploitation of different local decisions together with(More)
Most of the results on decentralized supervisory control are based on supervisors that make unconditional decisions: “enable” and “disable.” In this paper, we introduce and study the properties of decentralized supervisory control architectures where supervisors are allowed to make conditional decisions in addition to unconditional decisions. The(More)
Various notions of diagnosability reported in literature deal with uniformly bounded finite detection or counting delays. The uniformity of delays can be relaxed while delays remain finite. We introduce various notions of diagnosability allowing nonuniformly bounded finite delays. A polynomial-time verification algorithm for diagnosability with nonuniformly(More)
We consider the detection and identification of unobservable events in the behavior of discrete event systems. We study decentralized diagnosis architectures where several sites observe the system behavior, each site having its own set of observable events. These sites do not communicate among each other but they send their local diagnostic decisions to a(More)
A theoretical framework and its practical implications for formulating and implementing model-based monitoring of discrete flow networks are discussed. Possible flows of items are described as discrete-event (DE) traces. Each trace defines the DE sequence(s) that are triggered when an entity follows a given flow-path, visiting tracking locations within the(More)