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 ...View moreMetadata
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 applied to any automation system to detect common operability problems. A small example is included to demonstrate the method and its application.
Published in: 2015 IEEE Conference on Control Applications (CCA)
Date of Conference: 21-23 September 2015
Date Added to IEEE Xplore: 05 November 2015
ISBN Information:
Print ISSN: 1085-1992