Error detection for chemical plant automation logic using supervisory control theory

Abstract

In this paper a method for detecting errors in the discrete logic of hybrid systems is applied to chemical plant automation systems. The method relies on the application of supervisory control theory to a discrete abstraction of the hybrid system that models the plant and controller. A set of general operability requirements are also presented that can be… (More)
DOI: 10.1109/CCA.2015.7320658

Topics

6 Figures and Tables

Slides referencing similar topics