Sign in
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.
Xia Mao
Xin Li
Yanhong Huang
Jianqi Shi
Yueling Zhang
Published in:
IEEE Trans. Ind. Informatics (2022)
Keyphrases
</>
programmable logic
control system
linear temporal logic
industrial automation
real time
temporal logic
model checking
control law
supervisory control
closed loop
field programmable gate array
bounded model checking
control strategy
hardware description language
dynamic programming
image processing
computer vision