Blake C. Rawlings, John M. Wassick, B. Erik Ydstie. Error detection for chemical plant automation logic using supervisory control theory. In 2015 IEEE Conference on Control Applications, CCA 2015, Sydney, Australia, September 21-23, 2015. pages 376-381, IEEE, 2015. [doi]
Abstract is missing.