Dr. Ran Ning from the School of Electronics and Information Engineering Published an Important Research Result in IEEE Transactions on Automatic Control
Recently, Dr. Ran Ning, a teacher of the School of Electronics and Information Engineering from Hebei University, has made important progress in the research of fault diagnosis of discrete event system. The relevant research accomplishments have been published in IEEE Transactions on Automatic Control, which is a TOP journal in automatic control.
Fault diagnosis of discrete event system has always been one of the most concerned problems in the field of automatic control, and there are still many difficult problems to be solved. For instance, state space enumeration causes high computational complexity, and the Coverability Graph can not completely express the reachability information of unbounded systems. In recent years, Dr. Ran Ning, a teacher from the Department of Automation of the School of Electronics and Information Engineering, has cooperated with Professor Su Hongye of Zhejiang University, Professor Alessandro Giua and Professor Carla Seatzu of Cagliari University in Italy, to carry out the research on fault diagnosis method based on the simplified model of Petri net. In order to avoid enumerating the state space of the systems and improve the efficiency of the fault diagnosis method to a certain extent, the redundant structure of model is removed on the basis of ensuring that no effective information is lost. The paper "Codiagnosability Analysis of Bounded Petri Nets" was published on IEEE Transactions on Automatic Control, which is a TOP journal in the field of automatic control. Dr. Ran Ning is the first author and Hebei University is the corresponding insitution.
Recently, on the basis of the above achievements, Dr. Ran Ning and other professors proposed the fusion method of reachable path , which theoretically proves that fault messages are only related to the critical path. Taking a system with 7 Place and 8 Transition as an example, the traditional method of reachability graph needs to calculate 616 reachable paths. However, the reachable path method only needs to calculate six critical paths, which obviously improves the computational efficiency. Hebei University is the corresponding insitution, and Dr. Ran Ning is the first and corresponding author of the paper.
IEEE Transactions on Automatic Control is a high-level academic journal sponsored by IEEE Control Systems Society in the field of automatic control. The research mentioned above were supported by the National Natural Science Foundation of China and the Youth Fund of the Education Department of Hebei Province.
Links to the paper: