Valeriy Vyatkin

Selected Publications

Paper copies are provided on this site in draft versions and for research purposes of individual researchers only. They remain copyright of their respective copyright holders.

Quick links:

Applications of function blocks Implementation issues, semantics Validation, Formal verification  Design methods and tools

APPLICATIONS of IEC 61499 FUNCTION BLOCKS

G. Zhabelova, V. Vyatkin, “Intelligent Logical Nodes of IEC 61850 and IEC61499 for Multi-agent Smart Grid Automation”, IEEE Transactions on Industrial Electronics 2011, accepted
Keywords:SmartGrid, Distributed control, IEC 61850, IEC 61499		  
C. Pang, J. Yan, V. Vyatkin S. Jennings, "Distributed IEC 61499 Material Handling Control based on Time Synchronization with IEEE 1588", IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Munich, September 2011
Keywords: precise clock synchronisation, time-driven control, IEEE 1588.		  
V. Vyatkin, G. Zhabelova, M. Ulieru, D. McComas, 'Toward Digital Ecologies: Intelligent Agent Networks Controlling Interdependent Infrastructures', IEEE Conference on Smart Grid Communications, Gaithensburg, MD, October 5-7, 2010
Keywords: SmartGrid, Distributed Automation, IEC 61850, IEC 61499		  
V. Vyatkin, G. Zhabelova, N. Higgins, K. Schwarz, and N.-K. C. Nair, Towards intelligent smart grid devices with IEC 61850 interoperability and IEC 61499 open control architecture, IEEE Conference on Transmission and Distribution, New Orleans, April, 2010
Keywords: SmartGrid, Distributed Automation, IEC 61850, IEC 61499		  
W. Dai, V. Vyatkin, 'On Migration from PLCs to IEC 61499: Addressing the Data Handling Issues', 8th International IEEE Conference on Industrial Informatics, (INDIN'10), July 13-16, Osaka, Japan, 2010
Keywords: IEC 61131-3, IEC 61499, Software Engineering, Automatic transformation, encapsulation, migration		  
A. Zoitl, V. Vyatkin, “IEC 61499 Architecture for Distributed Automation: the ‘Glass Half Full’ View”, IEEE Industrial Electronics Magazine, 3(4), pp. 7-23, 2009, doi: 10.1109/MIE.2009.934789
State of the art of the IEC 61499 technology
G. Black, V. Vyatkin, "Intelligent Component - based Automation of Baggage Handling Systems with IEC 61499", IEEE Transactions on Automation Science and Engineering, 2010, 7(2), doi: 10.1109/TASE.2008.2007216, pp. 337-351
 Keywords: Airport BHS, Distributed Automation, IEC 61499, Simulation

N. Higgins, V. Vyatkin, N. Nair and K. Schwarz, "Intelligent Decentralised Power Distribution Automation with IEC 61850, IEC 61499 and Holonic Control",IEEE Transactions on Systems, Machine and Cybernetics, Part C, 40(3), 2010, 10.1109/TSMCC.2010.2046322

Proposed adding logic to IEC 61850 using IEC 61499 function blocks. Demonstrated that this architecture is good for multi-agent intelligent SmartGrid control. Keywords: SmartGrid, Distributed Automation, Substation, IEC 61850, IEC 61499, Power distribution

  
Y. Al-Safi, V. Vyatkin, 'Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems in Flexible Manufacturing', International Journal of Robotics and Computer Integrated Manufacturing, DOI: 10.1016/j.rcim.2009.12.001, 2009 
preview Vyatkin V, Salcic Z., Roop P., Fitzgerald J., Information Infrastructure of Intelligent Machines based on IEC61499 Architecture, IEEE Industrial Electronics Magazine, vol. 1, No. 4, 2007
Keywords: Material handling systems, intelligent conveyors, distributed control, IEC 61499, Flexibility		  
M. Budhia, V. Vyatkin and G. Covic, 'Increasing the Flexibility of Flexible Manufacturing Systems with Intelligent Wireless Power Transfer', 6th IEEE Conference on Industrial Informatics, (INDIN’08), Seoul, Korea, July 2008
Keywords: Inductive power transfer (IPT), Distributed control, IEC 61499, Modular manufacturing systems, flexibility		  

M. Minhat, X. Xu and V. Vyatkin, 'STEPNCMillUoA - A CNC System Based STEP-NC and Function Block Architecture', Intl J. on Manufacturing and Mechatronic Systems (IJIMMS), 2008
Keywords: Computer Numeric Control, Machining, Open CNC, IEC 61499, Simulation, Deployment

M. Minhat, V. Vyatkin, X. Xu, S. Wong, Z. Al-Baya, "A Novel Open CNC Architecture Based On Step-NC Data Model and IEC 61499 Function Blocks", Intl. J. on Robotics and Computer Integrated Manufacturing, 2008
Keywords: Computer Numeric Control, Machining, Open CNC, IEC 61499, Simulation, Deployment

  

FUNCTION BLOCKS - IMPLEMENTATION ISSUES, SEMANTICS

V. Vyatkin, “IEC 61499 as Enabler of Distributed and Intelligent Automation: State of the Art Review”, IEEE Transactions on Industrial Informatics, 2011, accepted
Keywords: Distributed Automation, IEC 61499, Distributed Embedded Networking Systems, Intelligent Automation Systems, Survey 		 
V. Vyatkin, M. De Sousa, A. Zoitl, 'Communication aspects of IEC 61499 architecture', Industrial Electronics Handbook, Chapter 54, 2010, Taylor & Francis, USA, in print
Keywords: Distributed Automation, IEC 61499, Communication interfaces, MODBUS, DeviceNet		  
V. Vyatkin, 'The IEC 61499 Standard and its Semantics', IEEE Industrial Electronics Magazine, 3(4), pp. 40-48, 2009 
Keywords:  IEC 61499, Semantic problems, Execution models, Distributed automation, Sequential model, Parallel model, Synchronous execution, Cyclic model, ISaGRAF, Dependability		  
V. Dubinin, V. Vyatkin, Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard, IEEE Transactions on Industrial Informatics, 2009, doi: 10.1109/TII.2009.2033051
Keywords: Distributed Automation, IEC 61499, Software Engineering, Automatic transformations of programs, Graph grammars		  

L.H. Yoong, P.S. Roop, V. Vyatkin, Z. Salcic, 'A Synchronous Approach for IEC 61499 Function Block Implementation', IEEE Transactions on Computers, vol. 58(12), 2009, pp. 1599-1614, doi: 10.1109/TC.2009.128
Keywords: Synchronous execution, Dependability, Esterel

V. Dubinin, V. Vyatkin, "On Definition of a Formal Semantic Model for IEC 61499 Function Blocks", EURASIP Journal of Embedded Systems, vol. 2008, Article ID 426713, 10 pp., 2008. doi:10.1155/2008/426713

 Keywords: Semantic problems, Execution models, Formal mathematical model, Sequential model, Parallel model, Synchronous execution, Cyclic model, Industrial automation software		  

corrected
version		 V. Vyatkin, V. Dubinin, Ferrarini, L.M., Veber C. 'Alternatives for Execution Semantics of IEC61499', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007

V. Dubinin, V. Vyatkin, 'Towards a Formal Semantics Of IEC1499 Function Blocks', 4th IEEE Conference on Industrial Informatics (INDIN06), Singapore, 2006

 
V. Vyatkin, J. Chouinard, 'On Comparisons of the ISaGRAF implementation of IEC 61499 with FBDK and other implementations', 6th IEEE Conference on Industrial Informatics, (INDIN08), Seoul, Korea, July 2008  

MODELING, VALIDATION, FORMAL VERIFICATION, SIMULATION
C. Suender, V. Vyatkin and A. Zoitl, “Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers”, ACM Transactions on Embedded Control Systems (TECS), 2011, in print
Keywords: Distributed automation, IEC 61499, Reconfiguration on the fly, Software Engineering, Automatic transformations of programs, Formal modelling, NCES, Visual verification framework ViVe, SESA  		  

Vyatkin V, H.-M. Hanisch, C. Pang, J. Yang: "Application of Closed-Loop Modelling in Integrated Component Design and Validation of Manufacturing Automation",IEEE Transactions on Systems, Machine and Cybernetics - C, No.1, vol. 39, 2009, pp. 17-28
Keywords: IEC 61499, Simulation, Model generator, Formal verification, Intelligent Mechatronic Components, Closed-loop, Model-generation, NCES, Petri nets, Simulink

 

C. Suender, V. Vyatkin, “Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems”, International Journal of Mechatronics and Manufacturing Systems 2009 - Vol. 2, No.1/2  pp. 215 - 235

 
Vyatkin, V., Hanisch, H. M.  'Verification of Distributed Control Systems in Intelligent Manufacturing', Journal of International Manufacturing, 14, (1), p. 123-136, 2003
Keywords: Distributed automation, IEC 61499, Formal verification, Model-checking, NCES, VEDA, SESA

V. Dubinin, V. Vyatkin, 'Using Prolog for Modelling and Verification of IEC 61499 Function Blocks and Applications', 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings,  Prague, 2006
Keywords: Distributed automation, IEC 61499, Formal verification, Model-checking, NCES, Prolog
C. Pang, V. Vyatkin, 'Automatic Model Generation of IEC 61499 Function Block Using Net Condition/Event Systems', 6th IEEE Conference on Industrial Informatics (INDIN’08), Seoul, Korea, July 2008  
V. Vyatkin, G. Bouzon , 'Timing Diagrams as Visual Specifications in Verification of Industrial Automation Controllers', EURASIP Journal of Embedded Systems, 2007, vol. 2008, Article ID 251957, 9 pp, 2008. doi:10.1155/2008/251957
Keywords: Distributed systems, Formal verification, Model-checking, NCES, Specification, TDSL		  
Hanisch, H. M., Lobov, A., Martinez Lastra, J. L., Tuokko, R., Vyatkin, V.  'Formal Validation of Intelligent Automated Production Systems towards Industrial Applications', International Journal of Manufacturing Technology and Management, 8, (1), pp. 75-106, 2006
This paper provides a complete example of applying formal verification to a PLC-based automation system. Keywords: Industrial automation, PLC, Formal verification, Closed-loop modelling, Model-checking, NCES, FlexLink Lifter		  
C. Sünder, H. Rofner, V. Vyatkin, and B. Favre-Bulle, 'Formal description of IEC 61499 control logic with real-time constraints', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  
Vyatkin, V., Hanisch, H.M.  'Formal-modeling and Verification in the Software Engineering Framework of IEC61499: a way to self-verifying systems', 8th IEEE Conference on Emerging Technologies in Factory Automation, Proceedings ETFA'01, Nice, France, September, 2001  
C. Pang and V. Vyatkin, 'Formal modelling of IEC61499 systems following the Sequential Hypothesis', 5th IEEE Conference On Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  

Vyatkin V., 'Modelling and execution of reactive function block systems with Condition/Event nets', 4th IEEE Conference on Industrial Informatics (INDIN 2006), Proceedings,  Singapore, 2006

  

 

Hanisch, H. M., Vyatkin, V., 'Modelling and Verification of Distributed Control Systems', International conference "Design, Analysis, and Simulation of Distributed Systems, DADS'2005, San Diego, April, 2005

  

 

Vyatkin, V., Hanisch, H.M., 'Re-use in Formal Modeling and Verification of Distributed Control Systems', 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'05), ETFA 2005, Catania, Italy, September, 2005

  

 

Vyatkin, V., Hanisch, H. M., 'Modeling of IEC 61499 function blocks - a clue to their verification', XI International Workshop on Supervising and Diagnostics of Machining Systems, Proceedings, Karpacz, March, 2000

  

 

Vyatkin, V., Hanisch, H.M., STARKE, P., ROCH, S., 'Formalisms for verification of discrete control applications on example of IEC1499 function blocks', "Verteilte Automatisierung" (Distributed Automation), Proceedings, Magdeburg, Germany, March, 2000

  

 

Vyatkin, V., Hanisch, H.M., 'Practice of Modeling and Verification of Distributed Controllers using Signal Net Systems', International Workshop on Concurrency, Specification and Programming, Proceedings, Berlin, Germany, October, 2000

  
V. Vyatkin, H.-M. Hanisch, 'A modeling approach for verification of IEC1499 function blocks using Net Condition/Event Systems', IEEE conference on Emerging Technologies in Factory Automation (ETFA'99), Proceedings, pp. 261-270,  Barcelona, Spain, September, 1999, ISBN 0-7803-5670-5  

DESIGN METHODS, TOOLS
C. Pang ,V. Vyatkin, IEC 61499 Function Block Implementation of Intelligent Mechatronic Components, 8th International IEEE Conference on Industrial Informatics, (INDIN10), July 13-16, Osaka, Japan
C.-H. Yang , V. Vyatkin, Model Transformation between MATLAB Simulink and Function Blocks, 8th International IEEE Conference on Industrial Informatics, (INDIN10), July 13-16, Osaka, Japan  
W. Dai, V. Vyatkin, “Redesign Distributed IEC 61131-3 PLC System in IEC 61499 Function Blocks”, IEEE International Conference on Emerging Technologies and Factory Automation, Bilbao, Spain, September, 2010  
J. Yang, V. Vyatkin, 'Design and Validation of Distributed Control with Decentralized Intelligence in Process Industries: A Survey', 6th  IEEE Conference on Industrial Informatics, (INDIN’08), Seoul, Korea, July 2008  
Vyatkin, V., Grundy, J.C., Roop, P. ,  'Taming the complexity of software design process in industrial automation', Proceedings of the Software Innovation and Engineering New Zealand Workshop (SIENZ’07), Auckland, 26-27 November, 2007  
M. Hirsch, C. Gerber, H.-M. Hanisch, V. Vyatkin, 'Design and Implementation of Heterogeneous Distributed Controllers - A Case Study', 5th IEEE Conference on Industrial Informatics (INDIN’2007), Proc., pp. ,  Vienna, 2007  

V. Vyatkin, H.-M. Hanisch, 'Design of Controllers aiming at Plug-and-Play Engineering of Automated Systems from Mechatronic Components', Annual Conference of Italian Automation Society (ANIPLA), Rome 2006

  
W. Dai, A. Shih and V. Vyatkin, 'Development of distributed industrial automation systems and debugging functionality based on the Open Source OOONEIDA Workbench', Australasian Conference on Robotics and Industrial Automation, ACRA 2006, Auckland  

 

Dubinin, V., Vyatkin, V., Pfeiffer, T., 'Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499', IEEE International Conference on Robotics and Automation, Proceedings of ICRA 2005, Barcelona, April, 2005, p.4007-4012

  

 

 

 

© 2007-2010 This document authored, composed and maintained by: Valeriy V. Vyatkin All rights reserved