People

Valeriy Vyatkin

Professori

T410 Dept. Electrical Engineering and Automation

Full researcher profile

https://research.aalto.fi/...

[email protected]

Phone number

+358505780001

Research groups

Information Technologies in Industrial Automation

Publications

Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering

Haibo Cheng, Yunpeng He, Peng Zeng, Valeriy Vyatkin 2024

Probabilistic Model Checking for IEC 61499: A Manufacturing Application

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin 2024 ICIT 2024 - 2024 25th International Conference on Industrial Technology

Toolset Development for Modelling Sympathetic Phenomenon and its Detection by a Neural Network

Nikolai Galkin, Chen Wei Yang, Nicholas Etherden, Math Bollen, Valeriy Vyatkin, Yiming Wu 2024 2023 IEEE 2nd Industrial Electronics Society Annual On-Line Conference, ONCON 2023

Towards the Automatic Transformation of the SIMULINK Model into an FPGA-in-Loop System and its Real-Time Simulation

Nikolai Galkin, Chen Wei Yang, Valeriy Vyatkin 2024

Primary Frequency Control with an Air Handling Unit

Niko Karhula, Seppo Sierla, Heikki Ihasalo, Jaakko Ketomäki, Matti Huotari, Valeriy Vyatkin 2024

Formal verification of non-functional requirements of overall instrumentation and control architectures

Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin 2024

Evaluation of visual property specification languages based on practical model-checking experience

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin 2024

A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems

Cheng Pang, Jinxian Liang, Guangtao Yu, Jibin Zhang, Hiroaki Nishi, Kevin I.Kai Wang, Zeyuan Li, Wenbin Dai, Valeriy Vyatkin 2024 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings

A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin 2024

Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin 2024 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings