Learn More
In this paper, we study distributed failure diagnosis under k-bounded communication delay, where each local site transmits its observations to other sites immediately after each observation, and which is received within at most k more event executions of the plant. This work extends our prior work on decentralized failure diagnosis [17] that did not allow(More)
This paper proposes a standard method to approach the uncalibrated robotic hand-eye coordination problem that is system configurationand task-independent. The unknown hand-eye relationship is first modeled as the modeling errors of a dynamic system. An extended state observer is then implemented to estimate summation of the system’s modeling error and the(More)
In this paper we show that the problem of distributed diagnosis under unbounded communication delay is decidable when there is no inferencing involved among the diagnosers. The notion of joint∞diagnosability is introduced to capture the diagnosability property in this setting. We show the equivalence of joint∞-diagnosability and codiagnosability, which(More)
We study the supervisory control of discrete event systems under partial observation using nondeterministic supervisors. We formally define a nondeterministic control policy and also a control & observation compatible nondeterministic state machine and prove their equivalence. The control action of a nondeterministic supervisor is chosen on-line,(More)
We introduce the notion of <i>safe-codiagnosability</i>, 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(More)
This paper studies the decentralized control problem of discrete event systems via prioritized composition with exclusion (PCX). PCX was obtained by extending prioritized synchronous composition (PSC) in order to model various Boolean modes of decision fusion resulting from the exclusivity of participation in system interactions [1]. PCX decision fusion(More)
We study the supervisory control of discrete event systems under partial observation using nondeterministic supervisors. We formally de£ne a nondeterministic control policy and also a control & observation compatible nondeterministic state machine and prove their equivalence. We show that when control is exercised using a nondeterministic supervisor, the(More)