Valeriy Vyatkin
Professori
Professori
T410 Dept. Electrical Engineering and Automation
Full researcher profile
https://research.aalto.fi/...
Email
[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
IEEE Transactions on Geoscience and Remote Sensing
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
IEEE Access
Interoperability in Software-Defined Process Automation Using the Open Process Automation Standard and IEC 61499: Adapter Connections of IEC 61499 and OPAS Enable Plug-and-Play Integration
Pranay Jhunjhunwala, S. Stephen Bitar, Kirill Zhukovskii, Udayanto Dwi Atmojo, Valeriy Vyatkin
2024
IEEE Industrial Electronics Magazine
Primary Frequency Control with an Air Handling Unit
Niko Karhula, Seppo Sierla, Heikki Ihasalo, Jaakko Ketomäki, Matti Huotari, Valeriy Vyatkin
2024
Energies
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
IEEE Open Journal of the Industrial Electronics Society
Evaluation of visual property specification languages based on practical model-checking experience
Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
2024
Journal of Systems and Software
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
IEEE Open Journal of the Industrial Electronics Society