Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata.

Alvi Jawad Jason Jaskolka

Published in: QRS (2021)

Keyphrases

timed automata
control system
model checking
reachability analysis
industrial automation
theorem prover
industrial applications
artificial intelligence
critical infrastructure
neural network
image processing
theorem proving
quality improvement