Verification and optimization of a PLC control schedule.

Ed Brinksma Angelika Mader Ansgar Fehnker

Published in: Int. J. Softw. Tools Technol. Transf. (2002)

Keyphrases

control system
optimization problems
scheduling problem
model checking
shop floor
optimization method
control method
optimization process
constrained optimization
programmable logic controller
database
formal verification
control problems
fuzzy control
closed loop
global optimization
petri net