Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValeriy Vyatkin
Person information
- affiliation: Aalto University, Helsinki, Finland
- affiliation: Luleå University of Technology, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j87]Nikolai Galkin
, Michail Ruchkin, Valeriy Vyatkin, Chen-Wei Yang, Victor Dubinin:
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. IEEE Access 11: 4633-4644 (2023)- [j86]Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Offline reinforcement learning for industrial process control: A case study from steel industry. Inf. Sci. 632: 221-231 (2023) - [c246]Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets 2023: 16-33 - [c245]Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Mechatronic Swarm and its Virtual Commissioning. ICM 2023: 1-6 - 2022
- [j85]Pranay Jhunjhunwala, Valeriy Vyatkin:
Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard. IEEE Access 10: 2564-2577 (2022) - [j84]Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin:
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. IEEE Access 10: 35238-35250 (2022) - [j83]Rakshith Subramanya, Seppo A. Sierla, Valeriy Vyatkin:
Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals. IEEE Access 10: 54484-54506 (2022) - [j82]Mohammad Azangoo, Lotta Sorsamäki, Seppo A. Sierla, Teemu Mätäsniemi, Miia Rantala, Kari Rainio, Valeriy Vyatkin:
A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant. IEEE Access 10: 58787-58810 (2022) - [j81]Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Reinforcement learning for industrial process control: A case study in flatness control in steel industry. Comput. Ind. 143: 103748 (2022) - [j80]Seppo A. Sierla, Mohammad Azangoo, Kari Rainio, Nikolaos Papakonstantinou, Alexander Fay, Petri Honkamaa, Valeriy Vyatkin:
Roadmap to semi-automatic generation of digital twins for brownfield process plants. J. Ind. Inf. Integr. 27: 100282 (2022) - [j79]Jifei Deng, Jie Sun, Wen Peng, Dian-hua Zhang, Valeriy Vyatkin:
Imbalanced multiclass classification with active learning in strip rolling process. Knowl. Based Syst. 255: 109754 (2022) - [j78]Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu:
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. 19(1): 425-440 (2022) - [c244]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA 2022: 1-7 - [c243]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On automatic generation of OPC UA connections in IEC 61499 automation systems. ICPS 2022: 1-6 - [c242]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6 - [c241]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Reinforcement learning approach to implementation of individual controllers in data centre control system. INDIN 2022: 41-46 - [c240]Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin:
Formal model of IEC 61499 execution trace in FBME IDE. INDIN 2022: 588-593 - [c239]Pranay Jhunjhunwala, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling. ISIE 2022: 220-225 - [c238]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On enhancing reconfigurability of I/O connection and access in IEC 61499. ISIE 2022: 818-823 - [i14]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Plant model generation from event log using ProM for formal verification of CPS. CoRR abs/2211.03681 (2022) - 2021
- [j77]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9: 61383-61397 (2021) - [c237]Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin:
Hybrid Digital Twin for process industry using Apros simulation environment. ETFA 2021: 1-4 - [c236]Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin:
Towards enhanced live visualization based on communication delay prediction for remote AGV operation. ETFA 2021: 1-4 - [c235]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards reinforcement learning approach to energy-efficient control of server fans in data centres. ETFA 2021: 1-4 - [c234]Andrej Lashchev, Gennady Veselov, Valeriy Vyatkin:
Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. ETFA 2021: 1-4 - [c233]Polina Ovsiannikova, Valeriy Vyatkin:
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. ETFA 2021: 1-4 - [c232]Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin:
Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA 2021: 1-4 - [c231]Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT 2021: 967-972 - [c230]Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Dynamic Adapter Connections for IEC 61499. ICIT 2021: 1054-1059 - [c229]Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin:
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS 2021: 172-178 - [c228]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology. IECON 2021: 1-7 - [c227]Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Change-based causes in counterexample explanation for model checking. IECON 2021: 1-6 - [c226]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation. DoCEIS 2021: 189-196 - [c225]Udayanto Dwi Atmojo, Mohammad Azangoo, Valeriy Vyatkin, Ilkka Seilonen:
From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic. INDIN 2021: 1-6 - [c224]Viktor Shatrov, Valeriy Vyatkin:
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. INDIN 2021: 1-6 - [c223]Midhun Xavier, Sandeep Patil, Valeriy Vyatkin:
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN 2021: 1-6 - [c222]Rakshith Subramanya, Seppo A. Sierla, Matti Yli-Ojanperä, Henri Makkonen, Mahdi Pourakbari-Kasmaei, Valeriy Vyatkin:
Interfacing Third Party Cloud Services to a Virtual Power Plant. ISGT-Europe 2021: 1-6 - [c221]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE 2021: 1-7 - [c220]Anand George, Polina Ovsiannikova, Valeriy Vyatkin:
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. ISIE 2021: 1-6 - [c219]Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin. ISIE 2021: 1-6 - [c218]Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin:
A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. ISIE 2021: 1-6 - [c217]Nikolai Galkin, Chen-Wei Yang, Lars Nordström, Valeriy Vyatkin:
Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services. SmartGridComm 2021: 15-20 - [i13]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. CoRR abs/2101.01856 (2021) - [i12]Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin:
Applying graph matching techniques to enhance reuse of plant design information. CoRR abs/2103.12466 (2021) - [i11]Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou:
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. CoRR abs/2104.01854 (2021) - [i10]Thimal Kempitiya, Seppo A. Sierla, Daswin De Silva, Matti Yli-Ojanperä, Damminda Alahakoon, Valeriy Vyatkin:
An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets. CoRR abs/2104.01865 (2021) - [i9]Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin:
Automatic Assembly Planning based on Digital Product Descriptions. CoRR abs/2104.06509 (2021) - [i8]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. CoRR abs/2108.00595 (2021) - [i7]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - [i6]Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin:
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR abs/2108.07400 (2021) - [i5]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. CoRR abs/2112.01367 (2021) - [i4]Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin:
Hybrid Digital Twin for process industry using Apros simulation environment. CoRR abs/2112.01903 (2021) - 2020
- [j76]Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Valeriy Vyatkin, Tor Björn Minde:
Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency. IEEE Access 8: 46559-46573 (2020) - [j75]Haibo Cheng, Valeriy Vyatkin, Evgeny Osipov, Peng Zeng, Haibin Yu:
LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data. IEEE Access 8: 67289-67299 (2020) - [j74]Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin:
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access 8: 207485-207498 (2020) - [j73]Haibo Cheng, Haibin Yu, Peng Zeng, Evgeny Osipov, Shichao Li, Valeriy Vyatkin:
Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and SVM. Sensors 20(19): 5659 (2020) - [j72]Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang, Valeriy Vyatkin:
A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems. IEEE Trans. Ind. Informatics 16(1): 151-160 (2020) - [j71]Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin:
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics 16(1): 403-413 (2020) - [j70]Valeriy Vyatkin, Lucia Lo Bello, Thilo Sauter:
Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics. IEEE Trans. Ind. Informatics 16(12): 7709-7713 (2020) - [j69]Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin:
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics 16(12): 7821-7831 (2020) - [j68]Wenbin William Dai, Cheng Pang, Valeriy Vyatkin, James H. Christensen, Xinping Guan:
Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(3): 851-862 (2020) - [c216]Dmitry Elkin, Valeriy Vyatkin:
IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation. CSOC (3) 2020: 536-551 - [c215]Ronal Bejarano, Roope Pääkkönen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin:
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. ETFA 2020: 69-76 - [c214]Seppo A. Sierla, Mohammad Azangoo, Valeriy Vyatkin:
Generating an industrial process graph from 3D pipe routing information. ETFA 2020: 85-92 - [c213]Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimäki, Jonathan Leinola, Pyry Pietarila:
Towards a 3D Scanning/VR-based Product Inspection Station. ETFA 2020: 1263-1266 - [c212]Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin:
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA 2020: 1377-1380 - [c211]Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. ETFA 2020: 1409-1412 - [c210]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with OERITTE. ICECCS 2020: 1-10 - [c209]Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin:
A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. ICIT 2020: 271-277 - [c208]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Multi-Agent Control in Energy-Efficient Data Centres. IECON 2020: 3574-3579 - [c207]Cheng Pang, Di Wu, Wenbin Dai, Anna Mikola, Tommi A. Karhela, Valeriy Vyatkin:
Software-Defined Decentralized Domestic Wastewater Treatment: 1st Milestone. IECON 2020: 3841-3846 - [c206]Dmitry Elkin, Valeriy Vyatkin:
Distributed Approach to Traffic Management Automation Implemented According to IEC 61499. DoCEIS 2020: 159-167 - [c205]Viktor Shatrov, Valeriy Vyatkin:
Formal Verification of IEC 61499 Enhanced with Timed Events. DoCEIS 2020: 168-178 - [c204]Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou:
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. ISIE 2020: 460-467 - [i3]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with Oeritte. CoRR abs/2012.15097 (2020)
2010 – 2019
- 2019
- [j67]Wenbin William Dai, Peng Wang, Weiqi Sun, Xian Wu, Hualiang Zhang, Valeriy Vyatkin, Genke Yang:
Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices. IEEE Access 7: 125882-125892 (2019) - [j66]Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin:
Applying graph matching techniques to enhance reuse of plant design information. Comput. Ind. 107: 81-98 (2019) - [j65]Dmitry Mukhutdinov, Andrey Filchenkov, Anatoly Shalyto, Valeriy Vyatkin:
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Gener. Comput. Syst. 94: 587-600 (2019) - [j64]Matti Yli-Ojanperä, Seppo A. Sierla, Nikolaos Papakonstantinou, Valeriy Vyatkin:
Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. J. Ind. Inf. Integr. 15: 147-160 (2019) - [j63]Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin:
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. 16(3): 1110-1124 (2019) - [j62]Roopak Sinha, Barry Dowdeswell, Gulnara Zhabelova, Valeriy Vyatkin:
TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 3(2): 15:1-15:25 (2019) - [j61]Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin:
Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves. IEEE Trans. Ind. Informatics 15(2): 677-688 (2019) - [j60]Daswin De Silva, Zhibo Pang, Evgeny Osipov, Valeriy Vyatkin:
Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics. IEEE Trans. Ind. Informatics 15(6): 3690-3692 (2019) - [j59]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15(7): 3772-3783 (2019) - [j58]Alfonso Damiano, Craig Rieger, Valeriy Vyatkin, Milos Manic:
Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions. IEEE Trans. Ind. Informatics 15(7): 4315-4318 (2019) - [j57]Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin:
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15(8): 4558-4568 (2019) - [c203]Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon:
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. Ershov Informatics Conference 2019: 64-79 - [c202]Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. ETFA 2019: 41-48 - [c201]Nikolaos Papakonstantinou, Juha Karttunen, Seppo A. Sierla, Valeriy Vyatkin:
Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case. ETFA 2019: 1207-1212 - [c200]Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. ETFA 2019: 1265-1268 - [c199]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685 - [c198]Udayanto Dwi Atmojo, Jan Olaf Blech, Seppo A. Sierla, Valeriy Vyatkin:
Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. ICII 2019: 305-306 - [c197]Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin, Markus Roni, Vuong Vo, Roman Rumiantcev, Konsta Leino, Mika Kuusisto:
On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. ICII 2019: 307-308 - [c196]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. INDIN 2019: 87-92 - [c195]Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems. INDIN 2019: 140-146 - [c194]Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin:
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN 2019: 147-151 - [c193]Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin:
Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. INDIN 2019: 164-171 - [c192]Haibo Cheng, Xiaoning Han, Peng Zeng, Haibin Yu, Evgeny Osipov, Valeriy Vyatkin:
ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems. INDIN 2019: 199-205 - [c191]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. INDIN 2019: 374-379 - [c190]Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN 2019: 466-469 - [c189]Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin:
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. INDIN 2019: 635-640 - [c188]Ilkka Seilonen, Valeriy Vyatkin, Udayanto Dwi Atmojo:
OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. INDIN 2019: 1008-1013 - [c187]Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Xiaojing Zhang, Valeriy Vyatkin:
A hybrid fault detection and diagnosis method in server rooms' cooling systems. INDIN 2019: 1405-1410 - [c186]Gennady E. Veselov, Andrey A. Sklyarov, Valeriy Vyatkin:
Non-linear control of a group of tracked robots. INDIN 2019: 1679-1684 - [c185]Alexander Hopsu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On Portability of IEC 61499 Compliant Structures and Systems. ISIE 2019: 1306-1311 - [c184]Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin:
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA 2019: 301-312 - [i2]Igor Buzhinsky, Valeriy Vyatkin:
Combining closed-loop test generation and execution by means of model checking. CoRR abs/1907.11895 (2019) - 2018
- [j56]Gerardo Santillán Martínez, Tommi Karhela, Reino Ruusu, Seppo A. Sierla, Valeriy Vyatkin:
An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture. IEEE Access 6: 15391-15407 (2018) - [j55]Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin:
Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant. IEEE Access 6: 30766-30777 (2018) - [j54]Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Jari Lappalainen, Valeriy Vyatkin:
Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model. IEEE Access 6: 45217-45232 (2018) - [j53]Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Yulia Berezovskaya, Valeriy Vyatkin, Damien Flieller:
A Comprehensive Model of Data Center: From CPU to Cooling Tower. IEEE Access 6: 61254-61266 (2018) - [j52]