Blake C. Rawlings

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Supervisory Control

Formal Verification

Error Detection

Anonymized Data

Top Venues

Comput. Chem. Eng.

Discret. Event Dyn. Syst.

IEEE Trans. Control. Syst. Technol.

Publications

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS (2022)
Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28 (2) (2020)
Blake C. Rawlings, Venkatachalam Avadiappan, Stéphane Lafortune, Christos T. Maravelias, John M. Wassick
Incorporating automation logic in online chemical production scheduling. Comput. Chem. Eng. 128 (2019)
Blake C. Rawlings, John M. Wassick, B. Erik Ydstie
Application of formal verification and falsification to large-scale chemical plant automation systems. Comput. Chem. Eng. 114 (2018)
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60 (1) (2018)
Blake C. Rawlings, B. Erik Ydstie
Falsification of combined invariance and reachability specifications in hybrid control systems. Discret. Event Dyn. Syst. 27 (2) (2017)
Blake C. Rawlings, John M. Wassick, B. Erik Ydstie
Error detection for chemical plant automation logic using supervisory control theory. CCA (2015)
Blake C. Rawlings, Ben Christenson, John M. Wassick, B. Erik Ydstie
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control. WODES (2014)