Automated verification of function block-based industrial control systems.

Norbert Völker Bernd J. Krämer

Published in: Sci. Comput. Program. (2002)

Keyphrases

automated verification
control system
model checking
industrial automation
industrial applications
formal verification
motion estimation
automated reasoning
optimal solution
video sequences
state space
motion compensation
piecewise linear