Application of formal verification and falsification to large-scale chemical plant automation systems-Reference-Cited by-同舟云学术

Application of formal verification and falsification to large-scale chemical plant automation systems

Published:2018-06 Issue: Volume:114 Page:211-220
ISSN:0098-1354
Container-title:Computers & Chemical Engineering
language:en
Short-container-title:Computers & Chemical Engineering

Author:

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

Publisher

Elsevier BV

Subject

Computer Science Applications,General Chemical Engineering

Reference30 articles.

1. Verification of PLC programs given as sequential function charts.;Bauer;Integration of Software Specification Techniques for Applications in Engineering. Vol. 3147. Lecture Notes in Computer Science,2004

2. Control of systems integrating logic, dynamics, and constraints;Bemporad;Automatica,1999

3. Counterexample-guided abstraction refinement for PLCs;Biallas,2010

4. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Transactions on Computers C-35.8,1986

5. Towards the automatic verification of PLC programs written in Instruction List;Canet;IEEE International Conference on Systems, Man and Cybernetics 4,2000

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs;IEEE Transactions on Software Engineering;2023-10-01

2. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023

3. Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06

4. Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems;25th International Symposium on Research in Attacks, Intrusions and Defenses;2022-10-26

5. SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses;2021 IEEE European Symposium on Security and Privacy (EuroS&P);2021-09