Valeriy Vyatkin
Professori
Professori
T410 Dept. Electrical Engineering and Automation
Full researcher profile
https://research.aalto.fi/...
Sähköposti
[email protected]
Puhelinnumero
+358505780001
Tutkimusryhmät
- Information Technologies in Industrial Automation
Julkaisut
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
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
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