V. Dubinin, A. Voinov, I. Senokosov, V. Vyatkin, Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects, IEEE International Conference on Industrial Informatics, Helsinki-Espoo, July, 2019
S. Patil, V. Vyatkin, C. Pang, “Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems”, IEEE International Conference on Industrial Informatics INDIN’2015, Cambridge, July, 2015
I. Buzhinsky, V. Ulyantsev, J. Veijalainen, V. Vyatkin, “Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications” IEEE International Conference on Industrial Informatics INDIN’2015, Cambridge, July, 2015
S. Patil, G. Zhabelova, V. Vyatkin, B. McMillin, “Towards formal verification of Smart Grid Distributed Intelligence: FREEDM case“, International Annual conference of IEEE Industrial Electronics Society, Yokohama, November, 2015
I. Buzhinsky, C. Pang, V. Vyatkin, “Formal Modeling of Testing Software for Cyber-Physical Automation Systems“, First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA’15), Helsinki, 2015
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
Patil S., Bhadra S., Vyatkin V., “Configurable non-determinism in a closed-loop modelling and verification framework for embedded control systems”, IEEE International Symposium on Industrial Electronics, IECON’11, Melbourne, Australia, November, 2011
V. Dubinin, V. Vyatkin, Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard, IEEE Transactions on Industrial Informatics, 2010, 6(2), pp. 155-165
Keywords: Distributed Automation, IEC 61499, Software Engineering, Automatic transformations of programs, Graph grammars
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
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
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
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
C. Suender, V. Vyatkin, B. Favre-Bulle, “Proving Feasibility and Estimating Parameters of Dynamic Reconfiguration in IEC 61499 Controllers using Formal Modelling“, International Journal of Mechatronics and Manufacturing Systems (IJMMS), 2008
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
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
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
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
Disclaimer: 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.