Related Publications

1999

V. Vyatkin and H.-M. Hanisch: “A Modeling Approach for Verification of IEC 61499 Function Blocks using Net Condition/Event Systems”, 7th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´99), proceedings pp.261-270, Barcelona, Spain 1999.

2000

V. Vyatkin and H.-M. Hanisch: “Modeling of IEC 61499 Function Blocks as a Clue to their Verification”, Design and optimization of intelligent machine tools, proceedings pp.59-68, Karpacz, Poland 2000.
V. Vyatkin, H.-M. Hanisch, P. Starke and S. Roch: “Formalisms for Verification of Discrete Control Applications on Example of IEC 61499 Function Blocks”, Fachtagung “Verteilte Automatisierung 2000“, proceedings pp.72-79, Magdeburg, Germany 2000.
V. Vyatkin and H.-M. Hanisch: “Development of Adequate Formalisms for Verification of IEC 61499 Distributed Applications”, 39th Annual International Conference of Society of Instrument and Control Engineers, CD-ROM / 113 A-2, Iizuka, Japan 2000.
V. Vyatkin and H.-M. Hanisch: “Practice of Modeling and Verification of Distributed Controllers Using Signal Net Systems”, Workshop Concurrency, Specification & Programming, proceedings pp.335-349, Berlin, Germany 2000.
V. Vyatkin and H.-M. Hanisch: “Software Environment for Automated Verification of Distributed Industrial Controllers Following IEC 61499”, XII. Workshop on Supervising and Diagnostics of Machining Systems, proceedings pp.62-72, Karpacz, Poland 2001.

2001

V. Vyatkin and H.-M. Hanisch: “Bringing the Model-Based Verification of Distributed Control Systems into the Engineering Practice”, 6th IFAC Workshop on Intelligent Manufacturing Systems, proceedings pp.152-157, Poznan, Poland 2001.
V. Vyatkin and H.-M. Hanisch: “Application of Visual Specification for Verification of distributed Controllers”, IEEE International Conference on Systems, Man & Cybernetics (SMC´2001), proceedings pp.646-651, Tucson – Arizona, USA 2001.
V. Vyatkin and H.-M. Hanisch: “Formal Modeling and Verification in the Software Engineering Framework of IEC 61499: a Way to Self-verifying Systems”, 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2001), proceedings pp.113-118, Antibes – Juan les Pins, France 2001.

2002

V. Vyatkin and H.-M. Hanisch: “Component Design and Validation of Decentralized Reconfigurable Control Systems with IEC 61499”, International Symposium on Advanced Control of Industrial Processes (AdCONIP´02), proceedings pp.215-220, Mielparque-Kumamoto, Japan 2002.
V. Vyatkin and H.-M. Hanisch: “Component Design and Formal Validation of SFA Systems: A Case Study”, Knowledge and Technology Integration in Production and Services (BASYS´02), Fifth IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, proceedings pp.313-322, Cancun, Mexico 2002.
V. Vyatkin, H.-M. Hanisch, J.L. Martinez Lastra and R. Tuokko: “An Approach to Validation of Industrial Automation Systems combining Formal Verification and Simulation”, 43rd Conference on Simulation and Modeling (SIMS´2002), proceedings pp.191-198, Oulu, Finland 2002.
V. Vyatkin, H. – M. Hanisch, S. Karras and X. Cai: “IEC 61499 as an Architectural Framework for Integration of Formal Models in Practical Control Engineering” 13. Fachmesse & Kongress „SPS/IPC/DRIVES 2002 – Elektrische Automatisierung, proceedings pp.310-318, Nuernberg, Germany 2002.

2003

V. Vyatkin and H.–M. Hanisch: “Verification of distributed control systems in intelligent manufacturing” Journal of Intelligent Manufacturing 1/2003, pp.123-136, February 2003.
V. Vyatkin, H.-M. Hanisch and Th. Pfeiffer: “Object - oriented modular Place/ Transition Formalism for Systematic Modeling and Validation of Industrial Automation Systems”, IEEE International Conference on Industrial Informatics (INDIN’2003), CD-ROM, Banff - Alberta, Canada 2003.
X. Cai, V. Vyatkin and H.-M. Hanisch: “Design and Implementation of a Prototype Control System According to IEC 61499”, 9th IEEE Conference on Emerging Technologies and Factory Automation (ETFA’2003), proceedings pp.269-276, Lisbon, Portugal 2003.

2004

H.-M. Hanisch and V. Vyatkin: “Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer’s View”, The Industrial Information Technology Handbook, pp. 66-1 – 66-20, CRC PRESS, 2004.

2005

H.-M. Hanisch and V. Vyatkin: “Modeling and Verification of Distributed Control Systems”, Design, Analysis, and Simulation of Distributed Systems Symposium (DASD’05), proceedings pp.79-85, San Diego - California, USA 2005.

2006

M. Hirsch, V. Vyatkin and H.-M. Hanisch: "IEC 61499 Function Blocks for Distributed Networked Embedded Applications", IEEE International Conference on Industrial Informatics (INDIN´2006) proceedings pp. 670-675, Singapore 2006.
V. Vyatkin, M. Hirsch and H.-M. Hanisch: "Systematic Design and Implementation of Distributed Controllers in Industrial Automation", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2006) proceedings pp.633-640, Prague, Czech Republic 2006.
V. Dubinin, V. Vyatkin and H.-M. Hanisch: “Modeling and Verification of IEC 61499 Applications using Prolog”, 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2006), proceedings pp.774-781, Prague, Czech Republic 2006.
V. Vyatkin and H.-M. Hanisch: “Design of Controllers for Plug-And-Play Composition of Automated Systems from Smart Mechatronic Components”, International Congress on Methodologies for Emerging Technologies in Automation, CDROM, Rome, Italy 2006.

2007

M. Hirsch, C. Gerber, V. Vyatkin and H.-M. Hanisch: "Design and Implementation of Heterogeneous Distributed Controllers according to the IEC 61499 Standard - A Case Study", IEEE International Conference on Industrial Informatics (INDIN´2007) proceedings pp.829-834, Vienna, Austria 2007.
D. Missal, M. Hirsch and H.-M. Hanisch: "Hierarchical Distributed Controllers - Design and Verification", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2007) proceedings pp.657-664, Patras, Greece 2007.
I. Ivanova-Vasileva, C. Gerber and H.-M. Hanisch: "Transformation of IEC 61499 Control Systems to Formal Models", International Conference Automatics and Informatics (CAI´07), proceedings pp.V-5-V-10, Sofia, Bulgaria 2007.

2008

Christian Gerber, Hans-Michael Hanisch and Sven Ebbinghaus: “From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study,” EURASIP Journal on Embedded Systems, vol. 2008. Link
M. Khalgui, M. Hirsch, D. Missal and H.-M. Hanisch: "Reconfiguration of Embedded Systems", International Conference on Informatics in Control, Automation and Robotics (ICINCO´2008) proceedings pp.157-162, Funchal, Madeira-Portugal 2008.
M. Khalgui, H.-M. Hanisch and E. Carpanzano: “An Optimized Simulation of Embedded Systems in Manufacturing Industry”. International Conference on Embedded & Critical Applications, proceedings pp.47-54, Gammarth, Tunisia 2008.