Analysis of faults in hybrid systems by global Petri nets

TitleAnalysis of faults in hybrid systems by global Petri nets
Publication TypeConference Paper
Year of Publication1995
AuthorsRezai, M., P. D. Lawrence, and M. R. Ito
Conference NameSystems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Pagination2251 -2256 vol.3
Date Publishedoct.
Keywordscomputer control, control systems, discrete event systems, dynamics, fault analysis, fault diagnosis, global Petri nets, hybrid systems, modeling, modelling, Petri nets, real-time control systems, real-time systems, single fault-detection, time driven systems
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

URLhttp://dx.doi.org/10.1109/ICSMC.1995.538115
DOI10.1109/ICSMC.1995.538115

a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949
Email:

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2020 The University of British Columbia