Blake C. Rawlings
Orcid: 0000-0002-2668-3693
According to our database1,
Blake C. Rawlings
authored at least 8 papers
between 2014 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
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.
IEEE Trans. Control. Syst. Technol., 2020
2019
Comput. Chem. Eng., 2019
2018
J. Autom. Reason., 2018
Application of formal verification and falsification to large-scale chemical plant automation systems.
Comput. Chem. Eng., 2018
2017
Falsification of combined invariance and reachability specifications in hybrid control systems.
Discret. Event Dyn. Syst., 2017
2015
Error detection for chemical plant automation logic using supervisory control theory.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015
2014
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014