On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics.

Goran Cengic Knut Åkesson

Published in: IEEE Trans. Ind. Informatics (2010)

Keyphrases

formal analysis
formal semantics
control system
interactive evolutionary computation
logic programming
control flow
formal methods
distributed systems
semantic information
smart grid
agent model
ban logic
artificial intelligence
data flow
active rules
life cycle
web services