Discrete Dynamics in Chemical Process Control and Automation
Formal verification has previously been applied to chemical plant control and automation systems to ensure that they operate as intended. This dissertation examines the related objective of proving that a particular control system does not operate as intended. To this end, we present a set of specif...
Main Author: | |
---|---|
Format: | Others |
Published: |
Research Showcase @ CMU
2016
|
Online Access: | http://repository.cmu.edu/dissertations/862 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1901&context=dissertations |