Symbolic Verification of Control Systems and Operating Procedures

详细信息    查看全文

• 作者：Blake C. Rawlings ; Jinkyung Kim ; Il Moon ; B. Erik Ydstie
• 刊名：Industrial & Engineering Chemistry Research
• 出版年：2014
• 出版时间：April 2, 2014
• 年：2014
• 卷：53
• 期：13
• 页码：5299-5310
• 全文大小：454K
• 年卷期：v.53,no.13(April 2, 2014)
• ISSN：1520-5045

文摘

In this paper, we provide a review of Professor Powers鈥檚 and his students鈥?work on connecting fault analysis, discrete process control, human operating procedures, and symbolic model checking. In recent years, this type of research is placed under the banner of 鈥渃yber-physical systems research鈥? Some of the techniques and procedures Powers and his students developed can be found in the open literature and conference proceedings. However, they have not been published broadly due to the untimely passing of Professor Powers. A complete overview of the methods are not available, and the cap-stone results obtained in the two last Ph.D. theses have not been published.