Login / Signup
Proving equivalence between control software variants for Programmable Logic Controllers.
Sebastian Ulewicz
Birgit Vogel-Heuser
Mattias Ulbrich
Alexander Weigl
Bernhard Beckert
Published in:
ETFA (2015)
Keyphrases
</>
programmable logic
control software
control system
field programmable gate array
controller design
control strategy
neural network
control algorithm
real time
reinforcement learning
computer vision
np hard
decision makers