Saito, Mitsuo (Nagoya Univ.), Suzuki, Tatsuya (Nagoya Univ.), Inagaki, Shinkichi (Nagoya Univ.), Aoki, Takeshi (Nagoya Municipal Industrial Res. Inst.)

Fault Diagnosis of Event-Driven Control Systems Based on Timed Markov Model with Maximum Entropy Estimation

Scheduled for presentation during the Mini-Symposium "Formal Methods for Discrete-Event Systems" (ThP10), Thursday, July 27, 2006, 16:10−16:35, Room 103

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on May 19, 2024

Abstract

This paper presents a new fault diagnosis technology for event-driven controlled systems such as Programmable Logic Control(PLC). The controlled plant is modeled by means of the Timed Markov Model, which regards the time interval between successive two events as a random variable. In order to estimate the probability density functions of the randomized time intervals, the maximum entropy principle is introduced, which can estimate probability density functions so as to maximize the uniformity with satisfying the constraints caused by observed data. Then, the fault diagnosis algorithm, which returns the probabilistic diagnosis results, is developed. Finally, the usefulness of the proposed strategy is verified through some experimental results for a material transfer system.