Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control. - Blake C. Rawlings; Ben Christenson; John M. Wassick; B. Erik Ydstie (WODES, 2014)

Error detection for chemical plant automation logic using supervisory control theory. - Blake C. Rawlings; John M. Wassick; B. Erik Ydstie (CCA, 2015)

Falsification of combined invariance and reachability specifications in hybrid control systems. - Blake C. Rawlings; B. Erik Ydstie (Discret. Event Dyn. Syst., 2017)

Application of formal verification and falsification to large-scale chemical plant automation systems. - Blake C. Rawlings; John M. Wassick; B. Erik Ydstie (Comput. Chem. Eng., 2018)

Synthesis of Obfuscation Policies to Ensure Privacy and Utility. - Yi-Chin Wu; Vasumathi Raman; Blake C. Rawlings; Stéphane Lafortune; Sanjit A. Seshia (J. Autom. Reason., 2018)

Incorporating automation logic in online chemical production scheduling. - Blake C. Rawlings; Venkatachalam Avadiappan; Stéphane Lafortune; Christos T. Maravelias; John M. Wassick (Comput. Chem. Eng., 2019)

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. - Blake C. Rawlings; Stéphane Lafortune; B. Erik Ydstie (IEEE Trans. Control. Syst. Technol., 2020)

Q: A Sound Verification Framework for Statecharts and Their Implementations. - Samuel D. Pollard; Robert C. Armstrong; John Bender; Geoffrey C. Hulette; Raheel S. Mahmood; Karla Morris; Blake C. Rawlings; Jon M. Aytac (FTSCS, 2022)

SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems. - Michael R. Livesay; Blake C. Rawlings (HSCC, 2025)