SURVEYS
 |
V. Vyatkin, Software Engineering in Industrial Automation: State of the Art Review, IEEE Transactions on Industrial Informatics, 9(4), 2013 | |
|
C.-H. Yang, V. Vyatkin, C. Pang, Model-driven Development of Control Software for Distributed Automation: a Survey and an Approach, IEEE Transactions on Systems, Man and Cybernetics: Systems, 44(3), 2014, pp. 292-305 | |
|
V. Vyatkin, IEC 61499 as Enabler of Distributed and Intelligent Automation: State of the Art Review, IEEE Transactions on Industrial Informatics, 7(4), 2011, pp. 768-781, Keywords: Distributed Automation, IEC 61499, Distributed Embedded Networking Systems, Intelligent Automation Systems, Survey |
|
|
P. Vrba, V. Marik, P. Leitao, G. Zhabelova, V. Vyatkin, P. Siano, C. Cecati, T. Strasser, A Review of Agent and Service-oriented Concepts applied to Intelligent Energy Systems, IEEE Transactions on Industrial Informatics, 10(3), 2014 |
APPLICATIONS of IEC 61499 FUNCTION BLOCK ARCHITECTURE
Distributed Control of Energy Distribution, SmartGrid |
||
|
G. Zhabelova, C.-W. Yang, V. Vyatkin , SysGrid: IEC 61850 and IEC 61499 based engineering process for Smart Grid system design, IEEE Conference on Industrial Informatics (INDIN 13), Bochum, July 29-31, 2013 | |
|
G. Zhabelova, S. Patil, C.-W. Yang, V. Vyatkin, Implementation of Smart Grid Intelligence Applications using IEC 61499 Reference Architecture, IEEE Conference on Industrial Informatics (INDIN’13), Bochum, July 29-31, 2013 | |
|
J. Xu, C.-W.Yang, V. Vyatkin, S. Berber, Towards Implementation of IEC61850 GOOSE Messaging in IEC61499 Environment, IEEE Conference on Industrial Informatics (INDIN’13), Bochum, July 29-31, 2013 | |
|
C.-H. Yang, V. Vyatkin, G. Zhabelova, C-W. Yang, Co-Simulation Environment for Distributed Controls in SmartGrid, IEEE Transactions on Industrial Informatics, 2013, doi:10.1109/TII.2013.2258165 | |
|
G. Zhabelova, V. Vyatkin, Intelligent Logical Nodes of IEC 61850 and IEC61499 for Multi-agent Smart Grid Automation, IEEE Transactions on Industrial Electronics, 2012, 59(5), Page(s): 2351 – 2362 Keywords:SmartGrid, Distributed control, IEC 61850, IEC 61499 |
|
|
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, Man and Cybernetics, Part C, 41(1), 2011, pp.81-92 Keywords: SmartGrid, Distributed Automation, Substation, IEC 61850, IEC 61499, Power distribution |
|
|
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 |
|
|
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 |
|
Material Handling Systems, Intelligent Machines, Manufacturing |
||
|
C. Pang, J. Yan, V. Vyatkin, Time-Complemented Event-Driven Architecture for Distributed Cyber-Physical Systems, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, doi: 10.1109/TSMC.2014.2326837 | |
|
J. Yan, V. Vyatkin, Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers, IEEE Transactions on Industrial Informatics, 2013, in print, doi: 10.1109/TII.2013.2258164 Keywords: Truly distributed BHS control is possible! Achieved with IEC 61499 and tested on 50 controllers network. Good bye, IEC 61131-3? |
|
|
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. |
|
|
J. Yan , and V. Vyatkin , Distributed Execution and Cyber-Physical Design of Baggage Handling Automation with IEC 61499, 9th International IEEE Conference on Industrial Informatics, (INDIN’11), July, 2011, Lisbon, Portugal Keywords: Multi-agent control, material handling systems, IEC 61499, distributed networked control, performance estimation |
|
|
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 |
|
|
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), pp. 337-351 Keywords: Airport BHS, Distributed Automation, IEC 61499, Simulation |
|
|
Y. Alsafi, V. Vyatkin, ‘Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems in Flexible Manufacturing‘, International Journal of Robotics and Computer Integrated Manufacturing, vol. 26, 2010, pp. 381-391 | |
| preview |
V. Vyatkin, Z. Salcic, P. Roop, J. Fitzgerald, Information Infrastructure of Intelligent Machines based on IEC61499 Architecture, IEEE Industrial Electronics Magazine, vol. 1, No. 4, 2007, pp. 17-29 Keywords: Material handling systems, intelligent conveyors, distributed control, IEC 61499, Flexibility |
|
|
M. Minhat, X. Xu and V. Vyatkin, ‘STEPNCMillUoA – A CNC System Based STEP-NC and Function Block Architecture‘, International Journal of Mechatronic and Manufacturing Systems (IJMMS), vol.2, No. 1-2, 2009, pp.3-19, 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“, International Journal of Robotics and Computer-Integrated Manufacturing, vol. 25, pp. 560-569, 2009 Keywords: Computer Numeric Control, Machining, Open CNC, IEC 61499, Simulation, Deployment |
|
FUNCTION BLOCKS – IMPLEMENTATION ISSUES, SEMANTICS
|
W. Dai, V. Dubinin, V. Vyatkin, ‘Automatically Generated Layered Ontological Model for Semantic Analysis of Component-Based Control Systems‘, IEEE Transactions on Industrial Informatics, 2012, doi: 10.1109/TII.2012.2235450 | |
|
W. Dai, V. Dubinin, V. Vyatkin, “Migration from PLC to IEC 61499 using Semantic Web Technologies“, IEEE Transactions on Systems, Man and Cybernetics, Part A, 2013, in print | |
|
V. Vyatkin, V. Dubinin, “Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard“, IEEE Transactions on Industrial Informatics, 6(2), pp. 155-165, 2010 Keywords: Distributed Automation, IEC 61499, Software Engineering, Automatic transformations of programs, Graph grammars |
|
|
V. Vyatkin, M. De Sousa, A. Zoitl, ‘Communication aspects of IEC 61499 architecture‘, Industrial Electronics Handbook, Chapter 54, 2010, Taylor & Francis, USA Keywords: Distributed Automation, IEC 61499, Communication interfaces, MODBUS, DeviceNet |
|
|
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 State of the art of the IEC 61499 technology |
|
|
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 |
|
|
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 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
|
Yang, C., & Vyatkin, V. Transformation of Simulink models to IEC 61499 Function Blocks for verifcation of distributed control systems. Control Engineering Practice (2012), Volume 20, Issue 12, pp. 1259-1269, 2012 | |
|
C. Suender, V. Vyatkin and A. Zoitl, “Formal Validation of Downtimeless System Evolution in Embedded Automation Controllers“, ACM Transactions on Embedded Computer Systems (TECS), 12(1), 2013, 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, Man and Cybernetics –Part C, vol. 39, No.1, 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, ‘Modelling and Verification of IEC 61499 Function Blocks and Applications using Prolog ‘, 11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA‘06), 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’07), 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’07), 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‘06), 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’05, 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., Sarke, 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
|
M. Sorouri, S. Patil, V. Vyatkin, Distributed Control Patterns for Intelligent Mechatronic Systems, IEEE Conference on Industrial Informatics, 2012, Beijing, July 24-26 | |
|
S. Patil, M.Sorouri, V. Vyatkin, Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic, IEEE Conference on Emerging Technologies and Factory Automation, ETFA’2012, Krakow, Poland, September, 2012 | |
|
C. Pang ,V. Vyatkin, IEC 61499 Function Block Implementation of Intelligent Mechatronic Components, 8th International IEEE Conference on Industrial Informatics, (INDIN’10), 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, (INDIN’10), 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 (SIENZ07), 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 (INDIN07), 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 |