Reverse twin plant for efficient diagnosability testing and optimizing
- Publisher:
- PERGAMON-ELSEVIER SCIENCE LTD
- Publication Type:
- Journal Article
- Citation:
- Engineering Applications of Artificial Intelligence, 2015, 38, pp. 131-137
- Issue Date:
- 2015-02-01
Closed Access
Filename | Description | Size | |||
---|---|---|---|---|---|
Reverse twin plant for efficient diagnosability testing and optimizing.pdf | Published version | 588.81 kB |
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
Model-based diagnosis in discrete event systems (DESs) is a major research topic in failure diagnosis, where diagnosability plays an important role in the construction of the diagnosis engine. To improve the solution efficiency for diagnosability, this paper proposes novel techniques to solve the problems of testing and optimizing for diagnosability. We propose a new concept, reverse twin plant, which is generated backwards from the final states of the DESs so there is no need to generate a complete copy of the DES model to determine the diagnosability. Such a design makes our testing algorithm much faster than existing methods. An efficient optimizing algorithm, which makes a non-diagnosable system diagnosable, is also proposed in the paper by expanding the minimal observable space with operation on just a part of the DES model. Examples and theoretical studies demonstrate the performance of the proposed designs.
Please use this identifier to cite or link to this item: