By Topic

On Codiagnosability and Coobservability With Dynamic Observations

Sign In

Full text access may be available.

To access full text, please use your member or institutional sign in.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Weilin Wang ; Dept. of Aerosp. Eng., Univ. of Michigan, Ann Arbor, MI, USA ; Girard, A.R. ; Lafortune, S. ; Feng Lin

Codiagnosability and coobservability in discrete event systems where observations are dynamic are considered. Instead of having a fixed set of observable events, the observation of an event is dynamic (trace-dependent) in this paper. A procedure is developed to transform the problem of coobservability to the problem of codiagnosability in the context of dynamic observations. This proves that problems of coobservability are transformable to problems of codiagnosability and enables us to leverage the large literature available for codiagnosability to solve problems of coobservability. Furthermore, in the case of dynamic observations, the known polynomial-complexity tests for the property of codiagnosability based on verifier automata with fixed observable event set(s) are no longer directly applicable. A new testing procedure is developed that can handle transition-based dynamic observations and remains of polynomial complexity in the state space of the system. This new testing procedure employs a covering of the state space of the system based on cluster automata, which enhances its computational efficiency. Based on cluster automata, a new type of verifier automaton is built, called the C-VERIFIER, for verification of codiagnosability. As an application of the above mentioned transformation, the C-VERIFIER becomes a unified method for verifying both codiagnosability and coobservability.

Published in:

Automatic Control, IEEE Transactions on  (Volume:56 ,  Issue: 7 )