2022
DOI: 10.1109/tii.2021.3123194
|View full text |Cite
|
Sign up to set email alerts
|

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
9
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
3
1
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 11 publications
(9 citation statements)
references
References 26 publications
0
9
0
Order By: Relevance
“…This is of the uttermost importance, as both humans and machines cooperate in the same environment where a minimal violation of safety requirements might damage the overall production process, thus reflecting in maintenance costs. This calls for logical-based formal methods providing correctness guarantees [18]. Run-time verification [18] and prediction [12] have started gaining momentum against customary static analysis tools: in fact, real complex systems such as factories are often hard to predict and analyse before execution.…”
Section: Cyber Securitymentioning
confidence: 99%
See 4 more Smart Citations
“…This is of the uttermost importance, as both humans and machines cooperate in the same environment where a minimal violation of safety requirements might damage the overall production process, thus reflecting in maintenance costs. This calls for logical-based formal methods providing correctness guarantees [18]. Run-time verification [18] and prediction [12] have started gaining momentum against customary static analysis tools: in fact, real complex systems such as factories are often hard to predict and analyse before execution.…”
Section: Cyber Securitymentioning
confidence: 99%
“…This calls for logical-based formal methods providing correctness guarantees [18]. Run-time verification [18] and prediction [12] have started gaining momentum against customary static analysis tools: in fact, real complex systems such as factories are often hard to predict and analyse before execution. As run-time verification can be deployed as a permanent testing condition on the environment, Mao et al [18] show that this approach is complete, thus reducing the complicated model-checking problem into a simpler conformance checking one.…”
Section: Cyber Securitymentioning
confidence: 99%
See 3 more Smart Citations