Blake C. Rawlings

According to our database, Blake C. Rawlings authored at least 8 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2020

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

2019

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

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

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

2017

Falsification of combined invariance and reachability specifications in hybrid control systems.

Blake C. Rawlings, B. Erik Ydstie

Discret. Event Dyn. Syst., 2017

2015

Error detection for chemical plant automation logic using supervisory control theory.

Blake C. Rawlings, John M. Wassick, B. Erik Ydstie

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control.

Blake C. Rawlings, Ben Christenson, John M. Wassick, B. Erik Ydstie

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014