Formal models for the verification of IEC 61499 function block based control applications.

Arndt Lüder Christian Schwab Marcus Tangermann Jörn Peschke

Published in: ETFA (2005)

Keyphrases

formal models
control system
formal model
rule based systems
process model
control policy
distributed systems
real time
optimal control
adaptive control
rough sets
mobile robot
error rate
data acquisition
closed loop
user interface
control method
piecewise linear
pattern recognition
video sequences
data mining