Predicate Abstraction for Programmable Logic Controllers.

Sebastian Biallas Mirco Giacobbe Stefan Kowalewski

Published in: FMICS (2013)

Keyphrases

programmable logic
field programmable gate array
control system
high level
reinforcement learning
data abstraction
controller design
neural network
control strategy
control law
data analysis
knowledge representation
scheduling problem
decision theoretic planning