Arcade.PLC: a verification platform for programmable logic controllers.

Sebastian Biallas Jörg Brauer Stefan Kowalewski

Published in: ASE (2012)

Keyphrases

programmable logic
control system
real time
model checking
field programmable gate array
control strategy
formal verification
verification method
image segmentation
reinforcement learning
petri net
hardware and software
control algorithm
control method
fuzzy control