arrow
返回
V

Valeriy Vyatkin

lulea university of technology

16H指数
59论文数
1.4K被引数
收录论文 34
发表时间
Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures
err2024-01-01
err1
errOAAI
errOvsiannikova, Polina; Pakonen, Antti; Muromsky, Dmitry; Kobzev, Maksim; Dubinin, Viktor; Vyatkin, Valeriy
err分享
err收藏
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems
err2023-01-01
err2
errOAAI
errGalkin, Nikolai; Ruchkin, Michail; Vyatkin, Valeriy; Yang, Chen-Wei; Dubinin, Viktor
err分享
err收藏
Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
err2023-01-01
err0
errOAAI
errLilli, Giordano; Xavier, Midhun; Le Priol, Etienne; Perret, Vincent; Liakh, Tatiana; Oboe, Roberto; Vyatkin, Valeriy
err分享
err收藏
Imbalanced multiclass classification with active learning in strip rolling process
err2022-11-01
err7
PREAI
errDeng, Jifei; Sun, Jie; Peng, Wen; Zhang, Dianhua; Vyatkin, Valeriy
err分享
err收藏
A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant为流程工业生成数字孪生的方法: 以纤维加工中试工厂为例
err2022-01-01
err8
errOAAI
errAzangoo, Mohammad; Sorsamaki, Lotta; Sierla, Seppoa; Matasniemi, Teemu; Rantala, Miia; Rainio, Kari; Vyatkin, Valeriy
err分享
err收藏
On Modelling of Edge Datacentre Microgrid for Participation in Smart Energy Infrastructures
err2022-01-01
err2
errOAAI
errGalkin, Nikolai; Yang, Chen-Wei; Berezovskaya, Yulia; Vesterlund, Mattias; Vyatkin, Valeriy
err分享
err收藏
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language
err2022-01-01
err4
errOAAI
errZyubin, Vladimir E.; Rozov, Andrei S.; Anureev, Igor S.; Garanina, Natalia O.; Vyatkin, Valeriy
err分享
err收藏
Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals
err2022-01-01
err8
errOAAI
errSubramanya, Rakshith; Sierla, Seppo A.; Vyatkin, Valeriy
err分享
err收藏
Oeritte: User-Friendly Counterexample Explanation for Model Checking
err2021-01-01
err7
errOAAI
errOvsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy
err分享
err收藏
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver
err2020-12-01
err11
PREAI
errChivilikhin, Daniil; Patil, Sandeep; Chukharev, Konstantin; Cordonnier, Anthony; Vyatkin, Valeriy
err分享
err收藏