Symbolic verification of control systems and operating procedures

Blake C. Rawlings, Jinkyung Kim, il Moon, B. Erik Ydstie

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

In this paper, we provide a review of Professor Powers's 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 "cyber-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.

Original languageEnglish
Pages (from-to)5299-5310
Number of pages12
JournalIndustrial and Engineering Chemistry Research
Volume53
Issue number13
DOIs
Publication statusPublished - 2014 Apr 2

Fingerprint

Students
Control systems
Model checking
Process control
Cyber Physical System

All Science Journal Classification (ASJC) codes

  • Chemistry(all)
  • Chemical Engineering(all)
  • Industrial and Manufacturing Engineering

Cite this

Rawlings, Blake C. ; Kim, Jinkyung ; Moon, il ; Ydstie, B. Erik. / Symbolic verification of control systems and operating procedures. In: Industrial and Engineering Chemistry Research. 2014 ; Vol. 53, No. 13. pp. 5299-5310.
@article{dda886af702840429dfc380dcd6f5405,
title = "Symbolic verification of control systems and operating procedures",
abstract = "In this paper, we provide a review of Professor Powers's 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 {"}cyber-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.",
author = "Rawlings, {Blake C.} and Jinkyung Kim and il Moon and Ydstie, {B. Erik}",
year = "2014",
month = "4",
day = "2",
doi = "10.1021/ie402998g",
language = "English",
volume = "53",
pages = "5299--5310",
journal = "Industrial & Engineering Chemistry Product Research and Development",
issn = "0888-5885",
publisher = "American Chemical Society",
number = "13",

}

Symbolic verification of control systems and operating procedures. / Rawlings, Blake C.; Kim, Jinkyung; Moon, il; Ydstie, B. Erik.

In: Industrial and Engineering Chemistry Research, Vol. 53, No. 13, 02.04.2014, p. 5299-5310.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Symbolic verification of control systems and operating procedures

AU - Rawlings, Blake C.

AU - Kim, Jinkyung

AU - Moon, il

AU - Ydstie, B. Erik

PY - 2014/4/2

Y1 - 2014/4/2

N2 - In this paper, we provide a review of Professor Powers's 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 "cyber-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.

AB - In this paper, we provide a review of Professor Powers's 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 "cyber-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.

UR - http://www.scopus.com/inward/record.url?scp=84897539094&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84897539094&partnerID=8YFLogxK

U2 - 10.1021/ie402998g

DO - 10.1021/ie402998g

M3 - Article

VL - 53

SP - 5299

EP - 5310

JO - Industrial & Engineering Chemistry Product Research and Development

JF - Industrial & Engineering Chemistry Product Research and Development

SN - 0888-5885

IS - 13

ER -