Title :
Analysis of faults in hybrid systems by global Petri nets
Author :
Rezai, M. ; Lawrence, P.D. ; Ito, M.R.
Author_Institution :
Dept. of Electr. Eng., British Columbia Univ., Vancouver, BC, Canada
Abstract :
In this paper we present a new methodology for modeling and analysis of faults in hybrid systems. This new methodology is targeted for use in real-time control systems. We describe a new tool which can be used to model both the plant and the computer controlling it. The modeling is performed by an extension of Petri nets called the global Petri net. This tool simulates and analyzes the entire system as a single entity. In this fashion, a single fault-detection scheme is sufficient to monitor the entire system and diagnose various forms of faults in both the computer and the plant
Keywords :
Petri nets; control systems; discrete event systems; dynamics; fault diagnosis; modelling; real-time systems; computer control; discrete event systems; fault analysis; global Petri nets; hybrid systems; modeling; real-time control systems; single fault-detection; time driven systems; Analytical models; Computational modeling; Computerized monitoring; Control systems; Embedded computing; Indium tin oxide; Nose; Petri nets; Power system modeling; Real time systems;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538115
