root

Automation and Verification of Safety-critical Systems

Selected publications from my group and of close research associates and partners Formal verification of nuclear instrumentation and control systems Modelling of Instrumentation and Control Logic Pakonen, A., Biswas, P., & Papakonstantinou, N. (2020). Transformation of non-standard nuclear I&C logic drawings to formal verification models. In IECON 2020 : 46th Annual Conference of the IEEE Automation and Verification of Safety-critical Systems

Recent and future invited talks

The 25th Conference of Open Innovations Association FRUCT, Helsinki, November 7, 2019, “IoT as enabler of future factories”, keynote talk Great Bay Area Summit on 5G and Artificial Intelligence (GBAS 2019, Shenzhen, November 1, 2019, “Virtual PLC for Future Flexible Factories”,  invited keynote talk International Conference on Mechanical Engineering and Automation Systems (ICMEAS 2019), Wuhan, October Recent and future invited talks

Publications on AI in Automation

Mukhutdinov, D., Filchenkov, A., Shalyto, A. & Vyatkin, V.,  Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system, 1 May 2019, In : Future Generation Computer Systems. 94, p. 587-600 14 p This paper is the first attempt to design agents as neural networks for multi-agent control of modular systems, Publications on AI in Automation

Semantics of IEC 61499

Z. Zhai, D. Li, Z. Pang, C. Liu, V. Vyatkin, “Synchronous-reactive Semantic Modelling and Verification for Function Block Networks”, IEEE Transactions on Industrial Informatics, 2017 V. Dubinin, V. Vyatkin, “Semantics-robust Design Patterns for IEC 61499”, IEEE Transactions on Industrial Informatics, 2012, 8(2), pp.279-290 P. Tata, V. Vyatkin, “Proposing a novel IEC61499 Runtime Framework implementing the Semantics of IEC 61499

>>AIC3 lab at LTU

Watch the Youtube channel of our lab in Luleå: A recent experiment on a combination of Arrowhead and IEC 61499 technologies: Visit Web-site at LTU

Future of Distributed Automation Architectures: beyond IEC 61499

TIME-STAMPED EVENTS Valeriy Vyatkin, Cheng Pang, Stavros Tripakis, “Towards Cyber-Physical Agnosticism by Enhancing IEC 61499 with PTIDES Model of Computations”,  International Annual conference of IEEE Industrial Electronics Society, Yokohama, November, 2015 Cheng Pang, Wenbin Dai, Valeriy Vyatkin, “IEC 61499 Models of Computation in Ptolemy II: A Preliminary Study”, International Annual conference of IEEE Industrial Electronics Future of Distributed Automation Architectures: beyond IEC 61499

Software Engineering in Automation

Heng-You Lin, Seppo Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin, “Model-Driven Engineering of Industrial Automation Software”, IEEE International Conference on Industrial Informatics INDIN’2015, Cambridge, July, 2015

Internet of Energy: Research Roadmap

The Internet of Energy (IoE) is the future ICT-enabled energy infrastructure. IoE will enable trade of energy between actors of virtually any size: from households to enterprises.  Automation based on the Internet of Things technologies  is the major enabler of peer to peer collaboration in IoE. Future automation systems will be built from intelligent collaborating Internet of Energy: Research Roadmap