IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal models for the verification of IEC 61499 function block based control applications

10th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): A. Luder ; C. Schwab ; M. Tangermann ; J. Peschke
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Catania, Italy
Conference Date: 19 September 2005
Volume: 1
ISBN (Paper): 0-7803-9401-1
DOI: 10.1109/ETFA.2005.1612508
Regular:

Industrial automation is currently on the cusp to the application of distributed systems based on distributed intelligence enabling distributed decision making within control. As one main... View More

Advertisement