default search action

combined dblp search
author search
venue search
publication search

ask others

Valeriy Vyatkin

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/PakonenBV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/PakonenBV24
Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
Evaluation of visual property specification languages based on practical model-checking experience. J. Syst. Softw. 216: 112153 (2024)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/tgrs/ChengH0V24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgrs/ChengH0V24
Haibo Cheng, Yunpeng He, Peng Zeng, Valeriy Vyatkin:
Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering. IEEE Trans. Geosci. Remote. Sens. 62: 1-9 (2024)
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/amc/DengSSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amc/DengSSV24
Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Dynamic Modeling of Strip Rolling Process Using Probabilistic Neural Network. AMC 2024: 1-6
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/amc/LyuAV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amc/LyuAV24
Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards Virtual Commissioning Environment for Smart Mechatronic Systems. AMC 2024: 1-6
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/KingOV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/KingOV24
Akira King, Polina Ovsiannikova, Valeriy Vyatkin:
Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. ETFA 2024: 1-4
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LyuNRKPAV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LyuNRKPAV24
Tuojian Lyu, Tung Nguyen, Roman Rumiantsev, Mikhail V. Kolesnikov, Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards Web Platform for Cloud-Based Virtual Commissioning of IEC 61499 Distributed Automation Systems. ETFA 2024: 1-4
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/OvsiannikovaLJV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/OvsiannikovaLJV24
Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin:
Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. ETFA 2024: 1-4
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PereraAV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PereraAV24
Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries. ETFA 2024: 1-4
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ZhukovskiiOJSCDV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ZhukovskiiOJSCDV24
Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin:
Energy Consumption Optimisation for Horticultural Facilities. ETFA 2024: 1-8
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/FaqrizalLXSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/FaqrizalLXSV24
Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin:
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT 2024: 1-6
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/PangLYZNWLDV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/PangLYZNWLDV24
Cheng Pang, Jinxian Liang, Guangtao Yu, Jibin Zhang, Hiroaki Nishi, Kevin I-Kai Wang, Zeyuan Li, Wenbin Dai, Valeriy Vyatkin:
A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems. ISIE 2024: 1-6
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/XavierPV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/XavierPV24
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin:
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. ISIE 2024: 1-6
[c268]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/YangGDV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/YangGDV24
Chen-Wei Yang, Nikolai Galkin, Dmitrii Drozdov, Valeriy Vyatkin:
On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study. ISIE 2024: 1-4
2023
[j89]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/GalkinRVYD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GalkinRVYD23
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)
[j88]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/asc/DengSSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/DengSSV23
Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Mass customization with reinforcement learning: Automatic reconfiguration of a production line. Appl. Soft Comput. 145: 110547 (2023)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/at/LuderV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/LuderV23
Arndt Lüder, Valeriy Vyatkin:
Obituary Prof. Dr. Hans-Michael Hanisch. Autom. 71(3): 245-246 (2023)
[j86]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isci/DengS0V23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/DengS0V23
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)
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/XavierPDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/XavierPDV23
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
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/OvsiannikovaPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/OvsiannikovaPV23
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. ETFA 2023: 1-8
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/WiesmayrXPZV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/WiesmayrXPZV23
Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin:
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. ETFA 2023: 1-4
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/icmech/LyuLPAV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmech/LyuLPAV23
Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Mechatronic Swarm and its Virtual Commissioning. ICM 2023: 1-6
[c263]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ChengHZLV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ChengHZLV23
Haibo Cheng, Yunpeng He, Peng Zeng, Shichao Li, Valeriy Vyatkin:
Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data. IECON 2023: 1-6
[c262]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/JhunjhunwalaOV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/JhunjhunwalaOV23
Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin:
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. IECON 2023: 1-7
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/KolesnikovAV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/KolesnikovAV23
Mikhail V. Kolesnikov, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Data-Driven Human Factors Enabled Digital Twin. IECON 2023: 1-6
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/OvsiannikovaPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/OvsiannikovaPV23
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. IECON 2023: 1-6
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SubramanyaRSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SubramanyaRSV23
Rakshith Subramanya, Paula Räisänen, Seppo A. Sierla, Valeriy Vyatkin:
Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants. IECON 2023: 1-7
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangGV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangGV23
Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin:
Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling. IECON 2023: 1-6
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/XavierSPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/XavierSPV23
Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin:
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. INDIN 2023: 1-6
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/AkifevLOSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/AkifevLOSV23
Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin:
Debugging approach for IEC 61499 control applications in FBME. ISIE 2023: 1-5
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/ChengLZV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/ChengLZV23
Haibo Cheng, Shichao Li, Peng Zeng, Valeriy Vyatkin:
Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells. ISIE 2023: 1-6
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/DengESSNKV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/DengESSNKV23
Jifei Deng, Miro Eklund, Seppo A. Sierla, Jouni Savolainen, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin:
Application of reinforcement learning for energy consumption optimization of district heating system. ISIE 2023: 1-6
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/KolesnikovBAVA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/KolesnikovBAVA23
Mikhail V. Kolesnikov, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Maxim Ya. Afanasev:
Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. ISIE 2023: 1-4
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/KothalawalaJV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/KothalawalaJV23
Hiruni Kothalawala, Pranay Jhunjhunwala, Valeriy Vyatkin:
Towards migration from IEC 61131-3 to IEC 61499 in process industry: redesign of visualisation. ISIE 2023: 1-6
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/LyuGLYV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/LyuGLYV23
Tuojian Lyu, Nikolai Galkin, Tatiana Liakh, Chen-Wei Yang, Valeriy Vyatkin:
Methods of data streaming from IEC 61499 applications to Cloud storages. ISIE 2023: 1-6
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/OvsiannikovaPPJXV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/OvsiannikovaPPJXV23
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin:
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE 2023: 1-6
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/SubramanyaHSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/SubramanyaHSV23
Rakshith Subramanya, Aaltonen Harri, Seppo A. Sierla, Valeriy Vyatkin:
Onsite Renewable Generation Time Shifting for Photovoltaic Systems. ISIE 2023: 1-6
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/XavierLPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/XavierLPV23
Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin:
Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE 2023: 1-4
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/YangGV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/YangGV23
Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin:
On interoperability of Datacentre and the Energy market in the Nordic Region. ISIE 2023: 1-6
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/YuNPGLLDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/YuNPGLLDV23
Guangtao Yu, Hiroaki Nishi, Cheng Pang, Qingqing Gu, Yonghao Lin, Jinxian Liang, Wenbin William Dai, Valeriy Vyatkin:
Black Soldier Fly Bioconversion System: A Digital Twin Approach. ISIE 2023: 1-4
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgridcomm/GalkinYEV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgridcomm/GalkinYEV23
Nikolai Galkin, Chen-Wei Yang, Nicholas Etherden, Valeriy Vyatkin:
Microcomputer Prototyping of IEC61850-9-2 with Performance Analysis. SmartGridComm 2023: 1-7
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-13697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-13697
Mohammad Azangoo, Seppo A. Sierla, Valeriy Vyatkin:
Sitting on a gold mine: the story of the process industry's automatic formation of a digital twin. CoRR abs/2310.13697 (2023)
2022
[j85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/JhunjhunwalaV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/JhunjhunwalaV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ZyubinRAGV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ZyubinRAGV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/SubramanyaSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SubramanyaSV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AzangooSSMRRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AzangooSSMRRV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cii/DengSSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/DengSSV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jiii/SierlaARPFHV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiii/SierlaARPFHV22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/DengSPZV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/DengSPZV22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/ZhouLVDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/ZhouLVDL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/XavierDPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/XavierDPV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/LyuAV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/LyuAV22
Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On automatic generation of OPC UA connections in IEC 61499 automation systems. ICPS 2022: 1-6
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/XavierDPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/XavierDPV22
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BerezovskayaYV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BerezovskayaYV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/LiakhSAPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/LiakhSAPV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/JhunjhunwalaZAV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/JhunjhunwalaZAV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/LyuAV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/LyuAV22
Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On enhancing reconfigurability of I/O connection and access in IEC 61499. ISIE 2022: 818-823
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-03681
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-03681
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/OvsiannikovaBPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/OvsiannikovaBPV21
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9: 61383-61397 (2021)
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AzangooSYBMPSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AzangooSYBMPSV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BejaranoABV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BejaranoABV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BerezovskayaYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BerezovskayaYV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LashchevVV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LashchevVV21
Andrej Lashchev, Gennady Veselov, Valeriy Vyatkin:
Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. ETFA 2021: 1-4
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/OvsiannikovaV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/OvsiannikovaV21
Polina Ovsiannikova, Valeriy Vyatkin:
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. ETFA 2021: 1-4
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/XavierHPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/XavierHPV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/JhunjhunwalaBZA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/JhunjhunwalaBZA21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/KajolaBAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/KajolaBAV21
Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Dynamic Adapter Connections for IEC 61499. ICIT 2021: 1054-1059
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/LyuBV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/LyuBV21
Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin:
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS 2021: 172-178
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/LyuAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/LyuAV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/OvsiannikovaPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/OvsiannikovaPV21
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Change-based causes in counterexample explanation for model checking. IECON 2021: 1-6
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BerezovskayaYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BerezovskayaYV21
Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation. DoCEIS 2021: 189-196
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/AtmojoAVS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/AtmojoAVS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ShatrovV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ShatrovV21
Viktor Shatrov, Valeriy Vyatkin:
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. INDIN 2021: 1-6
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/XavierPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/XavierPV21
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin:
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN 2021: 1-6
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/isgteurope/SubramanyaSYMPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgteurope/SubramanyaSYMPV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/AzangooTBV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/AzangooTBV21
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE 2021: 1-7
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/GeorgeOV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/GeorgeOV21
Anand George, Polina Ovsiannikova, Valeriy Vyatkin:
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. ISIE 2021: 1-6
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/JhunjhunwalaAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/JhunjhunwalaAV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/LyuBV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/LyuBV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgridcomm/GalkinYNV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgridcomm/GalkinYNV21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-01856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-01856
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-12466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-12466
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-01854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-01854
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-01865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-01865
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-06509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-06509
Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin:
Automatic Assembly Planning based on Digital Product Descriptions. CoRR abs/2104.06509 (2021)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00595
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00595
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-05556
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-05556
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07400
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-01367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-01367
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-01903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-01903
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/BerezovskayaYMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/BerezovskayaYMV20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ChengVOZY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ChengVOZY20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ChukharevSCV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ChukharevSCV20
Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin:
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access 8: 207485-207498 (2020)
[j73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ChengYZOLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ChengYZOLV20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tii/AtmojoSWV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/AtmojoSWV20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YangDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YangDV20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VyatkinBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VyatkinBS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/ChivilikhinPCCV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/ChivilikhinPCCV20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/DaiPVCG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/DaiPVCG20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csoc/ElkinV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csoc/ElkinV20
Dmitry Elkin, Valeriy Vyatkin:
IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation. CSOC (3) 2020: 536-551
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BejaranoPBPHV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BejaranoPBPHV20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SierlaAV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SierlaAV20
Seppo A. Sierla, Mohammad Azangoo, Valeriy Vyatkin:
Generating an industrial process graph from 3D pipe routing information. ETFA 2020: 85-92
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AzangooBAVDELLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AzangooBAVDELLP20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/RomanatoDPDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/RomanatoDPDV20
Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin:
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA 2020: 1377-1380
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/JhunjhunwalaAV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/JhunjhunwalaAV20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/OvsiannikovaBPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/OvsiannikovaBPV20
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with OERITTE. ICECCS 2020: 1-10
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/AtmojoBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/AtmojoBV20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/BerezovskayaYV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/BerezovskayaYV20
Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Multi-Agent Control in Energy-Efficient Data Centres. IECON 2020: 3574-3579
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PangWDMKV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PangWDMKV20
Cheng Pang, Di Wu, Wenbin William Dai, Anna Mikola, Tommi A. Karhela, Valeriy Vyatkin:
Software-Defined Decentralized Domestic Wastewater Treatment: 1^st Milestone. IECON 2020: 3841-3846
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/ElkinV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/ElkinV20
Dmitry Elkin, Valeriy Vyatkin:
Distributed Approach to Traffic Management Automation Implemented According to IEC 61499. DoCEIS 2020: 159-167
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/ShatrovV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/ShatrovV20
Viktor Shatrov, Valeriy Vyatkin:
Formal Verification of IEC 61499 Enhanced with Timed Events. DoCEIS 2020: 168-178
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/SierlaAFVP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/SierlaAFVP20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-15097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-15097
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with Oeritte. CoRR abs/2012.15097 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/DaiWSWZVY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/DaiWSWZVY19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/RantalaNKSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/RantalaNKSV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/MukhutdinovFSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/MukhutdinovFSV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jiii/Yli-OjanperaSPV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiii/Yli-OjanperaSPV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/GuellouzBKFLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/GuellouzBKFLV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/SinhaDZV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/SinhaDZV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/GiovanelliKSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/GiovanelliKSSV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SilvaPOV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SilvaPOV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SinhaPGV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SinhaPGV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DamianoRVM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DamianoRVM19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/ChivilikhinUSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/ChivilikhinUSV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KleykoOSWVA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KleykoOSWVA19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AtmojoV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AtmojoV19
Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. ETFA 2019: 41-48
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/Papakonstantinou19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/Papakonstantinou19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MironovichBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MironovichBV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DrozdovPDV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DrozdovPDV19
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/icii/AtmojoBSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icii/AtmojoBSV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icii/AtmojoBVRVRLK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icii/AtmojoBVRVRLK19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/JarvisJYSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/JarvisJYSV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/AtmojoV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/AtmojoV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChivilikhinPCV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChivilikhinPCV19
Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin:
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN 2019: 147-151
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/KuliaevASBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/KuliaevASBV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChengH0YOV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChengH0YOV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/TanveerSMLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/TanveerSMLV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DubininVSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DubininVSV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BarniBCLPPSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BarniBCLPPSV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SeilonenVA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SeilonenVA19
Ilkka Seilonen, Valeriy Vyatkin, Udayanto Dwi Atmojo:
OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. INDIN 2019: 1008-1013
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BerezovskayaYMZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BerezovskayaYMZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/VeselovSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/VeselovSV19
Gennady E. Veselov, Andrey A. Sklyarov, Valeriy Vyatkin:
Non-linear control of a group of tracked robots. INDIN 2019: 1679-1684
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/HopsuAV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/HopsuAV19
Alexander Hopsu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On Portability of IEC 61499 Compliant Structures and Systems. ISIE 2019: 1306-1311
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/sohoma/DrozdovAPPATOCV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sohoma/DrozdovAPPATOCV19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11895
Igor Buzhinsky, Valeriy Vyatkin:
Combining closed-loop test generation and execution by means of model checking. CoRR abs/1907.11895 (2019)
2018
[j56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/MartinezKRSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/MartinezKRSV18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/KleykoOPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KleykoOPV18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/MartinezSKLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/MartinezSKLV18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ZhabelovaVEBVF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ZhabelovaVEBVF18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/SierlaKAV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/SierlaKAV18
Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin:
Automatic assembly planning based on digital product descriptions. Comput. Ind. 97: 34-46 (2018)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/SorouriV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/SorouriV18
Majid Sorouri, Valeriy Vyatkin:
Intelligent product and mechatronic software components enabling mass customisation in advanced production systems. Serv. Oriented Comput. Appl. 12(1): 73-86 (2018)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiRWVG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiRWVG18
Wenbin William Dai, Laurynas Riliskis, Peng Wang, Valeriy Vyatkin, Xinping Guan:
A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis. IEEE Trans. Ind. Informatics 14(3): 989-1000 (2018)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/PrahoferVZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/PrahoferVZ18
Herbert Prähofer, Valeriy Vyatkin, Alois Zoitl:
Guest Editorial Information Technology in Automation. IEEE Trans. Ind. Informatics 14(6): 2745-2747 (2018)
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ChivilikhinBUSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ChivilikhinBUSS18
Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin:
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA 2018: 91-98
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AtmojoVS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AtmojoVS18
Udayanto Dwi Atmojo, Valeriy Vyatkin, Zoran Salcic:
On Achieving Reliable Communication in IEC 61499. ETFA 2018: 147-154
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/JarvisJKZV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/JarvisJKZV18
Dennis Jarvis, Jacqueline Jarvis, Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin:
PROSA/G: An architecture for agent-based manufacturing execution. ETFA 2018: 155-160
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MironovichBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MironovichBV18
Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. ETFA 2018: 1043-1046
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/MironovichBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/MironovichBV18
Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications. GECCO (Companion) 2018: 1902-1905
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/AtmojoGVMHMKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/AtmojoGVMHMKP18
Udayanto Dwi Atmojo, Kashif Gulzar, Valeriy Vyatkin, Rongwei Ma, Alexander Hopsu, Henri Makkonen, Atte Korhonen, Long Tran Phu:
Distributed control architecture for dynamic reconfiguration: Flexible assembly line case study. ICPS 2018: 690-695
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/PatilDZV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/PatilDZV18
Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin:
Refactoring of IEC 61499 function block application - A case study. ICPS 2018: 726-733
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MartinezSKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MartinezSKV18
Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin:
Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant. IECON 2018: 3084-3089
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/KalachevZVJP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/KalachevZVJP18
Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin, Dennis Jarvis, Cheng Pang:
Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning. IECON 2018: 3126-3133
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DavidescuFMV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DavidescuFMV18
George Davidescu, Andrey Filchenkov, Amir Muratov, Valeriy Vyatkin:
A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids. IECON 2018: 3529-3534
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DrozdovPYZV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DrozdovPYZV18
Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin:
Formal Verification of Protection Functions for Power Distribution Networks. IECON 2018: 3550-3555
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangV18
Chen-Wei Yang, Valeriy Vyatkin:
On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems. IECON 2018: 3576-3581
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ChenDZPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ChenDZPV18
Yingxin Chen, Wenbin William Dai, Zhijie Zhang, Cheng Pang, Valeriy Vyatkin:
A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems. IECON 2018: 4687-4692
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/BerezovskayaMVZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/BerezovskayaMVZ18
Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang:
Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems. IECON 2018: 4907-4912
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ZhabelovaVEVF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ZhabelovaVEVF18
Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Valeriy Vyatkin, Damien Flieller:
Towards an Open Model for Data Center Research: From CPU to Cooling Tower. IECON 2018: 4913-4919
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/AtmojoV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/AtmojoV18
Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems. INDIN 2018: 713-718
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/OvsiannikovaCUS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/OvsiannikovaCUS18
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto:
Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN 2018: 719-724
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PatilDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PatilDV18
Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin:
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN 2018: 725-732
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/GulzarRSAKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/GulzarRSAKV18
Kashif Gulzar, Reino Ruusu, Seppo A. Sierla, Pekka Aarnio, Tommi Karhela, Valeriy Vyatkin:
Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model. INDIN 2018: 741-746
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PakonenBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PakonenBV18
Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
Counterexample visualization and explanation for function block diagrams. INDIN 2018: 747-753
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DubininVSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DubininVSV18
Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN 2018: 766-771
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiSZWPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiSZWPV18
Wenbin William Dai, Yineng Song, Zhijie Zhang, Peng Wang, Cheng Pang, Valeriy Vyatkin:
Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA. INDIN 2018: 772-777
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BuzhinskyPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BuzhinskyPV18
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE 2018: 669-674
2017
[j48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/SierlaKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SierlaKV17
Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin:
Automatic Generation of Pipelines Into a 3D Industrial Process Model. IEEE Access 5: 26591-26603 (2017)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/KunzMPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/KunzMPV17
Guilherme Kunz, José Machado, Eduardo André Perondi, Valeriy Vyatkin:
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. IEEE Trans. Ind. Electron. 64(8): 6582-6590 (2017)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YangDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YangDV17
Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin:
Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. IEEE Trans. Ind. Informatics 13(2): 668-679 (2017)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiDCVG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiDCVG17
Wenbin William Dai, Victor N. Dubinin, James H. Christensen, Valeriy Vyatkin, Xinping Guan:
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. IEEE Trans. Ind. Informatics 13(2): 725-736 (2017)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiVCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiVCD17
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin:
Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". IEEE Trans. Ind. Informatics 13(4): 1497-1502 (2017)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/BuzhinskyV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/BuzhinskyV17
Igor Buzhinsky, Valeriy Vyatkin:
Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. IEEE Trans. Ind. Informatics 13(4): 1521-1530 (2017)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/ChivilikhinSPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/ChivilikhinSPV17
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin:
Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics 13(4): 1763-1771 (2017)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/LiZPVL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/LiZPVL17
Di Li, Zhenkun Zhai, Zhibo Pang, Valeriy Vyatkin, Chengliang Liu:
Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks. IEEE Trans. Ind. Informatics 13(6): 3389-3398 (2017)
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BuzhinskyV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BuzhinskyV17
Igor Buzhinsky, Valeriy Vyatkin:
Modular plant model synthesis from behavior traces and temporal properties. ETFA 2017: 1-7
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BuzhinskyV17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BuzhinskyV17a
Igor Buzhinsky, Valeriy Vyatkin:
Testing automation systems by means of model checking. ETFA 2017: 1-7
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/DubininSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/DubininSV17
Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin:
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS 2017: 80-91
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/MetsalaGVGVSN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/MetsalaGVGVSN17
Samuli Metsälä, Kashif Gulzar, Valeriy Vyatkin, Laura Gröhn, Eero Väänänen, Lauri Saikko, Magnus Nyholm:
Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499. HoloMAS 2017: 125-139
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/AbrishambafBV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/AbrishambafBV17
Reza Abrishambaf, Mert Bal, Valeriy Vyatkin:
Distributed home automation system based on IEC61499 function blocks and wireless sensor networks. ICIT 2017: 1354-1359
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/VaananenV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/VaananenV17
Eero Väänänen, Valeriy Vyatkin:
Estimation, measurement and improvement of distributed automation applications performance. IECON 2017: 5426-5431
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/BuzhinskyPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/BuzhinskyPV17
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON 2017: 5439-5446
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DavidescuV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DavidescuV17
George Davidescu, Valeriy Vyatkin:
Network planning and self-repair in models of urban distribution networks via Hill Climbing. IECON 2017: 5477-5482
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/BuzhinskyPV17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/BuzhinskyPV17a
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Scalable methods of discrete plant model generation for closed-loop model checking. IECON 2017: 5483-5488
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangVP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangVP17
Chen-Wei Yang, Valeriy Vyatkin, Cheng Pang:
Service-oriented extension of IEC 61850 for model-driven smart grid automation design. IECON 2017: 5489-5496
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PangDMLCLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PangDMLCLV17
Cheng Pang, Wenbin William Dai, Qingdi Miao, Jinxian Liang, Guoqing Cai, Shu Lu, Valeriy Vyatkin:
Software-defined automation and control a preliminary study. IECON 2017: 5497-5502
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MartinezKRLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MartinezKRLV17
Gerardo Santillan Martinez, Tommi Karhela, Reino Ruusu, Tuomas Lackman, Valeriy Vyatkin:
Towards a systematic path for dynamic simulation to plant operation: OPC UA-enabled model adaptation method for tracking simulation. IECON 2017: 5503-5508
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DrozdovPDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DrozdovPDV17
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal verification for cyber-physically agnostic software: A case study. IECON 2017: 5509-5514
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/HuangDWV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/HuangDWV17
Wanqi Huang, Wenbin William Dai, Peng Wang, Valeriy Vyatkin:
Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems. IECON 2017: 6689-6694
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/RuusuMKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/RuusuMKV17
Reino Ruusu, Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin:
Sliding mode SISO control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems. IECON 2017: 6927-6932
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MousaviYVZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MousaviYVZ17
Arash Mousavi, Alireza Yavarian, Valeriy Vyatkin, Xiaojing Zhang:
Power quality assessment of energy efficient cooling systems in data centers. IECON 2017: 7191-7196
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/GiovanelliLSVI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/GiovanelliLSVI17
Christian Giovanelli, Xin Liu, Seppo A. Sierla, Valeriy Vyatkin, Ryutaro Ichise:
Towards an aggregator that exploits big data to bid on frequency containment reserve market. IECON 2017: 7514-7519
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MousaviBVZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MousaviBVZ17
Arash Mousavi, Yulia Berezovskaya, Valeriy Vyatkin, Xiaojing Zhang:
Energy efficient decision making in data centers with multiple cooling methods. IECON 2017: 8785-8790
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SavolainenSKMV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SavolainenSKMV17
Roope Savolainen, Seppo A. Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin:
A framework for runtime verification of industrial process control systems. INDIN 2017: 687-694
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/MironovichBV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/MironovichBV17
Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Automatic generation of function block applications using evolutionary algorithms: Initial explorations. INDIN 2017: 700-705
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/VoinovYV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/VoinovYV17
Artem Voinov, Chen-Wei Yang, Valeriy Vyatkin:
Automatic generation of function block systems implementing HMI for energy distribution automation. INDIN 2017: 706-713
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChivilikhinUSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChivilikhinUSV17
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin:
CSP-based inference of function block finite-state models from execution traces. INDIN 2017: 714-719
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/YangV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/YangV17
Chen-Wei Yang, Valeriy Vyatkin:
On requirements-driven design of distributed smart grid automation control. INDIN 2017: 738-745
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiZWVC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiZWVC17
Wenbin William Dai, Zhijie Zhang, Peng Wang, Valeriy Vyatkin, James H. Christensen:
Service-oriented data acquisition and management for industrial cyber-physical systems. INDIN 2017: 759-764
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/GiovanelliKSSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/GiovanelliKSSV17
Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin:
Towards a task allocation algorithm for frequency containment reserves. INDIN 2017: 765-768
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/NefedovSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/NefedovSV17
Evgeny Nefedov, Seppo A. Sierla, Valeriy Vyatkin:
Towards electric vehicles integration to distributed energy resources of prosumer. INDIN 2017: 769-772
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/DavidescuSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/DavidescuSV17
George Davidescu, Thomas Stützle, Valeriy Vyatkin:
Network planning in smart grids via a local search heuristic for spanning forest problems. ISIE 2017: 1212-1218
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/YangVD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/YangVD17
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin:
On development of execution model for model transforming distributed substation automation control with ontology. ISIE 2017: 1219-1225
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgreens/GiovanelliKASLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgreens/GiovanelliKASLV17
Christian Giovanelli, Olli Kilkki, Antti Alahäivälä, Ilkka Seilonen, Matti Lehtonen, Valeriy Vyatkin:
A Distributed ICT Architecture for Continuous Frequency Control. SMARTGREENS 2017: 135-142
2016
[j40]
- view
  - electronic edition @ degruyter.com
  - no references & citations available
- export record
  dblp key:
  - journals/at/SinhaPMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/SinhaPMV16
Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin:
Automatic test case generation from requirements for industrial cyber-physical systems. Autom. 64(3): 216-230 (2016)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/EtherdenVB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/EtherdenVB16
Nicholas Etherden, Valeriy Vyatkin, Math H. J. Bollen:
Virtual Power Plant for Grid Services Using IEC 61850. IEEE Trans. Ind. Informatics 12(1): 437-447 (2016)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/tsg/DegefaAKHSVL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/DegefaAKHSVL16
Merkebu Z. Degefa, Antti Alahäivälä, Olli Kilkki, Muhammad Humayun, Ilkka Seilonen, Valeriy Vyatkin, Matti Lehtonen:
MAS-Based Modeling of Active Distribution Network: The Simulation of Emerging Behaviors. IEEE Trans. Smart Grid 7(6): 2615-2623 (2016)
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AarnioVH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AarnioVH16
Pekka Aarnio, Valeriy Vyatkin, David Hästbacka:
Context modeling with situation rules for industrial maintenance. ETFA 2016: 1-9
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BlechLPVZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BlechLPVZ16
Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl:
A Comparison of Formal Verification Approaches for IEC 61499. ETFA 2016: 1-4
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DerhamyDPDEV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DerhamyDPDEV16
Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin:
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. ETFA 2016: 1-5
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PakonenPBV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PakonenPBV16
Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin:
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA 2016: 1-8
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/Papakonstantinou16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/Papakonstantinou16
Nikolaos Papakonstantinou, Jouni Savolainen, Jarmo Koistinen, Antti Aikala, Valeriy Vyatkin:
District heating temperature control algorithm based on short term weather forecast and consumption predictions. ETFA 2016: 1-8
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DaiHV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DaiHV16
Wenbin William Dai, Wanqi Huang, Valeriy Vyatkin:
Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm. IECON 2016: 5253-5258
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/NefedovV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/NefedovV16
Evgeny Nefedov, Valeriy Vyatkin:
Evaluating benefits of collaborative intelligent batteries in SmartGrid. IECON 2016: 5265-5270
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MasselotPZV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MasselotPZV16
Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin:
Towards a formal model of protection functions for power distribution networks. IECON 2016: 5302-5309
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/BerezovskayaMVZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/BerezovskayaMVZ16
Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang, Tor Björn Minde:
Improvement of energy efficiency in data centers via flexible humidity control. IECON 2016: 5585-5590
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/YangVD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/YangVD16
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin:
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS 2016: 37-45
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/SorouriV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/SorouriV16
Majid Sorouri, Valeriy Vyatkin:
Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems. PRO-VE 2016: 394-407
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/NefedovV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/NefedovV16
Evgeny Nefedov, Valeriy Vyatkin:
Decentralised Coordination of Intelligent Autonomous Batteries. DoCEIS 2016: 425-433
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChivilikhinISV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChivilikhinISV16
Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin:
Reconstruction of function block controllers based on test scenarios and verification. INDIN 2016: 646-651
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PangPBV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PangPBV16
Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
A study on user-friendly formal specification languages for requirements formalization. INDIN 2016: 676-682
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/MartinezMASKKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/MartinezMASKKV16
Gerardo Santillan Martinez, Tuomas Miettinen, Antti Aikala, Jouni Savolainen, Kalle Kondelin, Tommi Karhela, Valeriy Vyatkin:
Parameters selection in predictive online simulation. INDIN 2016: 726-729
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BuzhinskyV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BuzhinskyV16
Igor Buzhinsky, Valeriy Vyatkin:
Plant model inference for closed-loop verification of control systems: Initial explorations. INDIN 2016: 736-739
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SiivolaSNKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SiivolaSNKV16
Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin:
Requirement verification in simulation-based automation testing. INDIN 2016: 740-743
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DrozdovDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DrozdovDV16
Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN 2016: 748-755
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/isgteurope/GiovanelliKSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgteurope/GiovanelliKSV16
Christian Giovanelli, Olli Kilkki, Ilkka Seilonen, Valeriy Vyatkin:
Distributed ICT architecture and an application for optimized automated demand response. ISGT Europe 2016: 1-6
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/isgteurope/KilkkiSZV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgteurope/KilkkiSZV16
Olli Kilkki, Ilkka Seilonen, Kai Zenger, Valeriy Vyatkin:
Incentives for shaping the consumption profile of a group of consumers with energy storage devices. ISGT Europe 2016: 1-6
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/DrozdovPDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/DrozdovPDV16
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE 2016: 316-321
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/DaiHV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/DaiHV16
Wenbin William Dai, Wanqi Huang, Valeriy Vyatkin:
Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems. ISIE 2016: 1055-1060
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgridcomm/ZhabelovaYVEC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgridcomm/ZhabelovaYVEC16
Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin, Nicholas Etherden, Lars Christoffersson:
Open architecture for cost effective protection and control of power distribution networks. SmartGridComm 2016: 729-735
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/sohoma/DrozdovPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sohoma/DrozdovPV16
Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin:
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA 2016: 35-46
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SiivolaSNKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SiivolaSNKV16
Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin:
Requirement verification in simulation-based automation testing. CoRR abs/1602.02504 (2016)
2015
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/StrasserSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/StrasserSV15
Thomas I. Strasser, Pierluigi Siano, Valeriy Vyatkin:
New Trends in Intelligent Energy Systems-An Industrial Electronics Point of View. IEEE Trans. Ind. Electron. 62(4): 2420-2423 (2015)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/StrasserAKCBSLZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/StrasserAKCBSLZ15
Thomas I. Strasser, Filip Andren, Johannes Kathan, Carlo Cecati, Concettina Buccella, Pierluigi Siano, Paulo Leitão, Gulnara Zhabelova, Valeriy Vyatkin, Pavel Vrba, Vladimír Marík:
A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems. IEEE Trans. Ind. Electron. 62(4): 2424-2438 (2015)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/ZhabelovaVD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/ZhabelovaVD15
Gulnara Zhabelova, Valeriy Vyatkin, Victor N. Dubinin:
Toward Industrially Usable Agent Technology for Smart Grid Automation. IEEE Trans. Ind. Electron. 62(4): 2629-2641 (2015)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/StrasserSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/StrasserSV15
Thomas I. Strasser, Pierluigi Siano, Valeriy Vyatkin:
Guest Editorial New Trends in Intelligent Energy Systems-An Industrial Informatics Points of View. IEEE Trans. Ind. Informatics 11(1): 207-209 (2015)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiVCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiVCD15
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin:
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. IEEE Trans. Ind. Informatics 11(3): 771-781 (2015)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SorouriPSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SorouriPSV15
Majid Sorouri, Sandeep Patil, Zoran A. Salcic, Valeriy Vyatkin:
Software Composition and Distributed Operation Scheduling in Modular Automated Machines. IEEE Trans. Ind. Informatics 11(4): 865-878 (2015)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/PangYV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/PangYV15
Cheng Pang, Jeffrey Yan, Valeriy Vyatkin:
Time-Complemented Event-Driven Architecture for Distributed Automation Systems. IEEE Trans. Syst. Man Cybern. Syst. 45(8): 1165-1177 (2015)
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/case/LinSPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/LinSPV15
Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Valeriy Vyatkin:
A SysML profile supporting change orders in model driven engineering. CASE 2015: 1054-1059
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GulzarSVPFY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GulzarSVPFY15
Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin, Nikolaos Papakonstantinou, Paul G. Flikkema, Chen-Wei Yang:
An auction-based smart district heating grid. ETFA 2015: 1-8
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindgrenLLVPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindgrenLLVPP15
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho:
A real-time semantics for the IEC 61499 standard. ETFA 2015: 1-6
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MartinezKNRPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MartinezKNRPV15
Gerardo Santillan Martinez, Tommi Karhela, Hannu Niemistö, Ahti Rossi, Cheng Pang, Valeriy Vyatkin:
A hybrid approach for the initialization of tracking simulation systems. ETFA 2015: 1-8
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MousaviVBZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MousaviVBZ15
Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang:
Towards energy smart data centers: Simulation of server room cooling system. ETFA 2015: 1-6
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ZhabelovaV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ZhabelovaV15
Gulnara Zhabelova, Valeriy Vyatkin:
Towards software metrics for evaluating quality of IEC 61499 automation software. ETFA 2015: 1-8
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ZhabelovaYV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ZhabelovaYV15
Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin:
Data center power dynamics within the settings of regional power grid. ETFA 2015: 1-5
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/ZhabelovaV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/ZhabelovaV15
Gulnara Zhabelova, Valeriy Vyatkin:
Towards a Design Methodology for Agent-Based Automation of Smart Grid. HoloMAS 2015: 181-194
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/HastbackaAVK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/HastbackaAVK15
David Hästbacka, Pekka Aarnio, Valeriy Vyatkin, Seppo Kuikka:
Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning. KMIS 2015: 182-192
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SinhaPMKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SinhaPMKV15
Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin:
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ICECCS 2015: 198-201
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ZhabelovaYVH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ZhabelovaYVH15
Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin, Alex Q. Huang:
Data center energy efficiency and power quality: An alternative approach with solid state transformer. IECON 2015: 1294-1300
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangV15
Chen-Wei Yang, Valeriy Vyatkin:
Modelling of IEC 61850 message passing for automatic generation of distributed control. IECON 2015: 1524-1529
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/VyatkinPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/VyatkinPT15
Valeriy Vyatkin, Cheng Pang, Stavros Tripakis:
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON 2015: 1970-1975
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PangDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PangDV15
Cheng Pang, Wenbin William Dai, Valeriy Vyatkin:
Towards IEC 61499 models of computation in Ptolemy II. IECON 2015: 1988-1993
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SinhaPPVD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SinhaPPVD15
Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell:
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON 2015: 2172-2177
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/KilkkiGSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/KilkkiGSV15
Olli Kilkki, Christian Giovanelli, Ilkka Seilonen, Valeriy Vyatkin:
Optimization of decentralized energy storage flexibility for frequency reserves. IECON 2015: 2219-2224
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DaiV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DaiV15
Wenbin William Dai, Valeriy Vyatkin:
Reconfigurable elements of execution semantics for industrial cyber-physical systems. IECON 2015: 2252-2257
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PatilZVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PatilZVM15
Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin:
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON 2015: 3974-3979
[c89]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PatilDDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PatilDDV15
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS 2015: 73-81
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/WangPPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/WangPPV15
Jia Wang, Zhibo Pang, Cheng Pang, Valeriy Vyatkin:
Industry-friendly engineering tools for wireless home automation devices. INDIN 2015: 1174-1179
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/LinSPSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/LinSPSV15
Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin:
Change request management in model-driven engineering of industrial automation software. INDIN 2015: 1186-1191
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PatilVP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PatilVP15
Sandeep Patil, Valeriy Vyatkin, Cheng Pang:
Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN 2015: 1192-1197
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BuzhinskyUVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BuzhinskyUVV15
Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin:
Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN 2015: 1213-1218
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/KleykoOPVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/KleykoOPVM15
Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin, Arash Mousavi:
Fault detection in the hyperspace: Towards intelligent automation systems. INDIN 2015: 1219-1224
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChivilikhinSPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChivilikhinSPV15
Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin:
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN 2015: 1239-1242
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SinhaDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SinhaDV15
Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin:
Slicing the Pi: Device-specific IEC 61499 design. INDIN 2015: 1257-1262
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiVPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiVPC15
Wenbin William Dai, Valeriy Vyatkin, Cheng Pang, James H. Christensen:
Time-stamped event based execution semantics for industrial cyber-physical systems. INDIN 2015: 1263-1268
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/PatilDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/PatilDV15
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA 2015: 300-315
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/sohoma/DeminDPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sohoma/DeminDPV15
Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA 2015: 213-221
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/MousaviVBZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/MousaviVBZ15
Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang:
Cyber-physical Design of Data Centers Cooling Systems Automation. TrustCom/BigDataSE/ISPA (3) 2015: 254-260
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/YangGSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/YangGSV15
Chen-Wei Yang, Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin:
Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture. TrustCom/BigDataSE/ISPA (3) 2015: 261-268
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/BelyakovSYV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/BelyakovSYV15
Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin:
Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience. TrustCom/BigDataSE/ISPA (3) 2015: 269-274
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/MartinezKVMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/MartinezKVMP15
Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang:
An OPC UA Based Architecture for Testing Tracking Simulation Methods. TrustCom/BigDataSE/ISPA (3) 2015: 275-280
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/DubininVH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/DubininVH15
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) 2015: 287-292
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/BuzhinskyPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/BuzhinskyPV15
Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin:
Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) 2015: 301-306
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/ChivilikhinSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/ChivilikhinSV15
Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin:
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) 2015: 307-312
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/PatilDV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/PatilDV15
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) 2015: 313-320
2014
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ew/VyatkinU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ew/VyatkinU14
Valeriy Vyatkin, Mihaela Ulieru:
Editorial. EAI Endorsed Trans. Energy Web 1(2): e1 (2014)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ew/YangZV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ew/YangZV14
Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin:
SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design. EAI Endorsed Trans. Energy Web 1(2): e5 (2014)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VrbaMSLZVS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VrbaMSLZVS14
Pavel Vrba, Vladimír Marík, Pierluigi Siano, Paulo Leitão, Gulnara Zhabelova, Valeriy Vyatkin, Thomas I. Strasser:
A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems. IEEE Trans. Ind. Informatics 10(3): 1890-1903 (2014)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/DaiDV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/DaiDV14
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin:
Migration From PLC to IEC 61499 Using Semantic Web Technologies. IEEE Trans. Syst. Man Cybern. Syst. 44(3): 277-291 (2014)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/YangVP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/YangVP14
Chia-Han Yang, Valeriy Vyatkin, Cheng Pang:
Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach. IEEE Trans. Syst. Man Cybern. Syst. 44(3): 292-305 (2014)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/PatilDPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/PatilDPV14
Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin:
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference 2014: 76-91
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DaiVDC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DaiVDC14
Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen:
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. ETFA 2014: 1-8
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DubininVYP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DubininVYP14
Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang:
Automatic generation of automation applications based on ontology transformations. ETFA 2014: 1-4
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/KleykoOPVP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/KleykoOPVP14
Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang:
On methodology of implementing distributed function block applications using TinyOS WSN nodes. ETFA 2014: 1-7
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LindgrenLLEV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LindgrenLLEV14
Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin:
Real-time execution of function blocks for Internet of Things using the RTFM-kernel. ETFA 2014: 1-6
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MousaviYPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MousaviYPV14
Arash Mousavi, Cheng-Wei Yang, Cheng Pang, Valeriy Vyatkin:
Energy efficient automation model for office buildings based on ontology, agents and IEC 61499 function blocks. ETFA 2014: 1-7
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PangVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PangVD14
Cheng Pang, Valeriy Vyatkin, Wenbin William Dai:
IEC 61499 based model-driven process control engineering. ETFA 2014: 1-8
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PapakonstantinouSCOKVT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PapakonstantinouSCOKVT14
Nikolaos Papakonstantinou, Seppo A. Sierla, Konstantinia Charitoudi, Bryan O'Halloran, Tommi Karhela, Valeriy Vyatkin, Irem Turner:
Security impact assessment of industrial automation systems using genetic algorithm and simulation. ETFA 2014: 1-8
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PeltolaSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PeltolaSV14
Jukka Peltola, Seppo A. Sierla, Valeriy Vyatkin:
Adapting Keyword driven test automation framework to IEC 61131-3 industrial control applications using PLCopen XML. ETFA 2014: 1-8
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SinhaVSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SinhaVSP14
Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park:
Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. ETFA 2014: 1-7
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/YanV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/YanV14
Jeffrey Yan, Valeriy Vyatkin:
Time-complemented event-driven reconfigurable systems. ETFA 2014: 1-8
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/YangXV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/YangXV14
Chen-Wei Yang, Jiang Xu, Valeriy Vyatkin:
Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment. ETFA 2014: 1-4
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DaiVC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DaiVC14
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen:
The application of service-oriented architectures in distributed automation systems. ICRA 2014: 252-257
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/SorouriVS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/SorouriVS14
Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems. ICRA 2014: 258-263
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DaiRVOD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DaiRVOD14
Wenbin William Dai, Laurynas Riliskis, Valeriy Vyatkin, Evgeny Osipov, Jerker Delsing:
A configurable cloud-based testing infrastructure for interoperable distributed automation systems. IECON 2014: 2492-2498
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YanPYV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YanPYV14
Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin:
Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain. IECON 2014: 2512-2518
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangVMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangVMD14
Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin:
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON 2014: 3577-3583
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ZhabelovaVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ZhabelovaVD14
Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin:
Decision making for industrial agents in Smart Grid applications. IECON 2014: 3584-3590
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BelyakovSYV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BelyakovSYV14
Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin:
Knowledge-based routing in mechanical transportation systems. INDIN 2014: 48-53
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiCVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiCVD14
Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin:
Function block implementation of service oriented architecture: Case study. INDIN 2014: 112-117
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ZhabelovaYPPYSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ZhabelovaYPPYSV14
Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin:
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN 2014: 411-417
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PangPYVS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PangPYVS14
Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto:
A portability study of IEC 61499: Semantics and tools. INDIN 2014: 440-445
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/RamisGILLVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/RamisGILLVD14
Borja Ramis, Luis Gonzalez, Sergii Iarovyi, Andrei Lobov, José L. Martínez Lastra, Valeriy Vyatkin, Wenbin William Dai:
Knowledge-based web service integration for industrial automation. INDIN 2014: 733-739
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/SierlaHCYV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/SierlaHCYV14
Seppo A. Sierla, Marcin Hurkala, Konstantinia Charitoudi, Chen-Wei Yang, Valeriy Vyatkin:
Security risk analysis for smart grid automation. ISIE 2014: 1737-1744
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BaniyaMSPYV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BaniyaMSPYV14
Rupak Baniya, Mikko Maksimainen, Seppo A. Sierla, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin:
Smart indoor lighting control: Power, illuminance, and colour quality. ISIE 2014: 1745-1750
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/DaiPVP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/DaiPVP14
Wenbin William Dai, Jukka Peltola, Valeriy Vyatkin, Cheng Pang:
Service-oriented distributed control software design for process automation systems. SMC 2014: 3637-3642
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/PangVM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/PangVM14
Cheng Pang, Valeriy Vyatkin, Horst Mayer:
Towards cyber-physical approach for prototyping indoor lighting automation systems. SMC 2014: 3643-3648
2013
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ew/UlieruV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ew/UlieruV13
Mihaela Ulieru, Valeriy Vyatkin:
Welcome message from the Editors-in-Chief. EAI Endorsed Trans. Energy Web 1(1): e1 (2013)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SunderVZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SunderVZ13
Christoph Sünder, Valeriy Vyatkin, Alois Zoitl:
Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers. ACM Trans. Embed. Comput. Syst. 12(1): 17:1-17:17 (2013)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/Vyatkin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/Vyatkin13
Valeriy Vyatkin:
Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Trans. Ind. Informatics 9(3): 1234-1249 (2013)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YangZYV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YangZYV13
Chia-Han Yang, Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin:
Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid. IEEE Trans. Ind. Informatics 9(3): 1423-1435 (2013)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DaiDV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DaiDV13
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin:
Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. IEEE Trans. Ind. Informatics 9(4): 2124-2136 (2013)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/YanV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/YanV13
Jeffrey Yan, Valeriy Vyatkin:
Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers. IEEE Trans. Ind. Informatics 9(4): 2200-2209 (2013)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/Vyatkin13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/Vyatkin13a
Valeriy Vyatkin:
Guest Editorial: Special section on software engineering in industrial automation. IEEE Trans. Ind. Informatics 9(4): 2337-2339 (2013)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DaiVC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DaiVC13
Wenbin William Dai, Valeriy Vyatkin, James H. Christensen:
Essential elements for programming of distributed automation and control systems. ETFA 2013: 1-8
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LinSVS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LinSVS13
Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
Model-based customisation of intelligent mechatronic systems using SysML. ETFA 2013: 1-4
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PangVDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PangVDS13
Cheng Pang, Valeriy Vyatkin, Yinbai Deng, Majid Sorouri:
Virtual smart metering in automation and simulation of energy-efficient lighting system. ETFA 2013: 1-8
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PatilYVP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PatilYVP13
Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang:
On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. ETFA 2013: 1-4
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/YanPYV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/YanPYV13
Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin:
Towards automated visualization for distributed automation applications. ETFA 2013: 1-4
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/YanV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/YanV13
Jeffrey Yan, Valeriy Vyatkin:
Extension of reconfigurability provisions in IEC 61499. ETFA 2013: 1-7
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/ZhabelovaVZC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/ZhabelovaVZC13
Gulnara Zhabelova, Valeriy Vyatkin, Ziang Zhang, Mo-Yuen Chow:
Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid. IECON 2013: 1968-1973
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/DaiV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/DaiV13
Wenbin William Dai, Valeriy Vyatkin:
A component-based design pattern for improving reusability of automation programs. IECON 2013: 4328-4333
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/HurkalaONSKV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/HurkalaONSKV13
Marcin Hurkala, Bryan O'Halloran, Heikki Nikula, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin:
Evaluation of electric grid automation under flood hazards. IECON 2013: 4380-4385
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/VyatkinPDSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/VyatkinPDSM13
Valeriy Vyatkin, Cheng Pang, Yinbai Deng, Majid Sorouri, Horst Mayer:
System-level architecture for building automation systems: Object-orientated design and simulation. IECON 2013: 5334-5339
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/YangYV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/YangYV13
Chen-Wei Yang, Jeffrey Yan, Valeriy Vyatkin:
Towards implementation of Plug-and-Play and distributed HMI for the FREEDM system with IEC 61499. IECON 2013: 5347-5353
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PatilVM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PatilVM13
Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin:
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON 2013: 8154-8159
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SorouriVS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SorouriVS13
Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog. INDIN 2013: 242-247
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ZhabelovaYV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ZhabelovaYV13
Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin:
SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design. INDIN 2013: 364-369
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ZhabelovaPYV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ZhabelovaPYV13
Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin:
Smart Grid applications with IEC 61499 reference architecture. INDIN 2013: 458-463
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/XuYZBV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/XuYZBV13
Jiang Xu, Chen-Wei Yang, Gulnara Zhabelova, Stevan Berber, Valeriy Vyatkin:
Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment. INDIN 2013: 464-470
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/uksim/DengSPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uksim/DengSPV13
Yinbai Deng, Majid Sorouri, Cheng Pang, Valeriy Vyatkin:
A Distributed Automation Architecture Enabling Simulation-in-the-Loop of Energy-Efficient Buildings. UKSim 2013: 542-547
2012
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/DaiV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/DaiV12
Wenbin William Dai, Valeriy Vyatkin:
Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks. IEEE Trans Autom. Sci. Eng. 9(2): 390-401 (2012)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/ZhabelovaV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/ZhabelovaV12
Gulnara Zhabelova, Valeriy Vyatkin:
Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes. IEEE Trans. Ind. Electron. 59(5): 2351-2362 (2012)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/DubininV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/DubininV12
Victor Dubinin, Valeriy Vyatkin:
Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics 8(2): 279-290 (2012)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PatilVS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PatilVS12
Sandeep Patil, Valeriy Vyatkin, Majid Sorouri:
Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA 2012: 1-7
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/StrasserAVZY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/StrasserAVZY12
Thomas I. Strasser, Filip Andren, Valeriy Vyatkin, Gulnara Zhabelova, Chen-Wei Yang:
Towards an IEC 61499 compliance profile for smart grids review and analysis of possibilities. IECON 2012: 3750-3757
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SorouriPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SorouriPV12
Majid Sorouri, Sandeep Patil, Valeriy Vyatkin:
Distributed control patterns for intelligent mechatronic systems. INDIN 2012: 259-264
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiV12
Wenbin William Dai, Valeriy Vyatkin:
Transformation from PLC to distributed control using ontology mapping. INDIN 2012: 436-441
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/YanVWB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/YanVWB12
Jeffrey Yan, Valeriy Vyatkin, Gerald Weber, Nigel Beach:
Control and hardware-in-the-loop simulation of fruit packing machine with IEC 61499. INDIN 2012: 923-928
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/YangZVNA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/YangZVNA12
Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Alex Apostolov:
Smart Grid automation: Distributed protection application with IEC61850/IEC61499. INDIN 2012: 1067-1072
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/Vyatkin11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/Vyatkin11
Valeriy Vyatkin:
IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review. IEEE Trans. Ind. Informatics 7(4): 768-781 (2011)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/HigginsVNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/HigginsVNS11
Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Karlheinz Schwarz:
Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control. IEEE Trans. Syst. Man Cybern. Part C 41(1): 81-92 (2011)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/delta/DaiV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delta/DaiV11
Wenbin William Dai, Valeriy Vyatkin:
Ontology Model for Migration from IEC 61131-3 PLC to IEC 61499 Function Block. DELTA 2011: 172-175
2010
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/BlackV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/BlackV10
Geoff Black, Valeriy Vyatkin:
Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499. IEEE Trans Autom. Sci. Eng. 7(2): 337-351 (2010)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VyatkinD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VyatkinD10
Valeriy Vyatkin, Victor Dubinin:
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics 6(2): 155-165 (2010)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DaiV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DaiV10
Wenbin William Dai, Valeriy Vyatkin:
Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks. ETFA 2010: 1-8

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/YoongRVS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/YoongRVS09
Li Hsien Yoong, Partha S. Roop, Valeriy Vyatkin, Zoran A. Salcic:
A Synchronous Approach for IEC 61499 Function Block Implementation. IEEE Trans. Computers 58(12): 1599-1614 (2009)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/VyatkinHPY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/VyatkinHPY09
Valeriy Vyatkin, Hans-Michael Hanisch, Cheng Pang, Chia-Han Yang:
Closed-Loop Modeling in Future Automation System Engineering and Validation. IEEE Trans. Syst. Man Cybern. Part C 39(1): 17-28 (2009)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/DaiV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/DaiV09
Wenbin William Dai, Valeriy Vyatkin:
A case study on migration from IEC 61131 PLC to IEC 61499 function block control. INDIN 2009: 79-84
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/TataV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/TataV09
Piran Tata, Valeriy Vyatkin:
Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. INDIN 2009: 416-421
2008
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/DubininV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/DubininV08
Victor Dubinin, Valeriy Vyatkin:
On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. 2008 (2008)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/FerrariniLMVV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/FerrariniLMVV08
Luca Ferrarini, Jose L. Martinez Lastra, Allan Martel, Antonio Valentini, Valeriy Vyatkin:
Embedded Systems Design in Intelligent Industrial Automation. EURASIP J. Embed. Syst. 2008 (2008)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/VyatkinB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/VyatkinB08
Valeriy Vyatkin, Gustavo Bouzon:
Using Visual Specifications in Verification of Industrial Automation Controllers. EURASIP J. Embed. Syst. 2008 (2008)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/HigginsVNS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/HigginsVNS08
Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Karlheinz Schwarz:
Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499. SMC 2008: 36-41
2007
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/Al-SafiV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/Al-SafiV07
Yazen Al-Safi, Valeriy Vyatkin:
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems. HoloMAS 2007: 114-126
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/BlackV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/BlackV07
Geoff Black, Valeriy Vyatkin:
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499. HoloMAS 2007: 314-325
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/holomas/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/holomas/2007
Vladimír Marík, Valeriy Vyatkin, Armando W. Colombo:
Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4659, Springer 2007, ISBN 978-3-540-74478-8 [contents]
2006
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmr/VyatkinHKPD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmr/VyatkinHKPD06
Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin:
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. 1(4): 382-404 (2006)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmtm/HanischLLTV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmtm/HanischLLTV06
Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications. Int. J. Manuf. Technol. Manag. 8(1/2/3): 75-106 (2006)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmtm/Vyatkin06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmtm/Vyatkin06
Valeriy Vyatkin:
The potential impact of the IEC61499 standard on the progress of distributed intelligent automation. Int. J. Manuf. Technol. Manag. 8(1/2/3): 107-125 (2006)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/VyatkinHH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/VyatkinHH06
Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA 2006: 633-640
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DubininVH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DubininVH06
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SunderFV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SunderFV06
Christoph Sünder, Bernard Favre-Bulle, Valeriy Vyatkin:
Towards an Approach for the Verification of Downtimeless System Evolution. ETFA 2006: 1133-1136
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcim/AuingerBCLV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcim/AuingerBCLV05
Franz Auinger, Robert W. Brennan, James H. Christensen, Jose L. Martinez Lastra, Valeriy Vyatkin:
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach. Int. J. Comput. Integr. Manuf. 18(7): 572-585 (2005)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/VyatkinCL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/VyatkinCL05
Valeriy Vyatkin, James H. Christensen, Jose L. Martinez Lastra:
OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation. IEEE Trans. Ind. Informatics 1(1): 4-17 (2005)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/VyatkinH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/VyatkinH05
Valeriy Vyatkin, Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems. ETFA 2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DubininVP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DubininVP05
Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer:
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA 2005: 3996-4001
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/crc/IIR2005/HanischV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/IIR2005/HanischV05
Hans-Michael Hanisch, Valeriy Vyatkin:
Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View. The Industrial Information Technology Handbook 2005: 1-20
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jim/VyatkinH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jim/VyatkinH03
Valeriy Vyatkin, Hans-Michael Hanisch:
Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. 14(1): 123-136 (2003)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Vyatkin03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Vyatkin03
Valeriy Vyatkin:
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. Ershov Memorial Conference 2003: 319-328
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CaiVH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CaiVH03
Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch:
Design and implementation of a prototype control system according to IEC 61499. ETFA (2) 2003: 269-276
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/Vyatkin03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/Vyatkin03
Valeriy Vyatkin:
Intelligent mechatronic components: control system engineering using an open distributed architecture. ETFA (2) 2003: 277-284
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LobovLTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LobovLTV03
Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin:
Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments. ETFA (2) 2003: 329-336
2002
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip5-3/VyatkinH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-3/VyatkinH02
Valeriy Vyatkin, Hans-Michael Hanisch:
Component Design and Formal Validation of SFA Systems: A Case Study. BASYS 2002: 313-322
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Vyatkin01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Vyatkin01
Valeriy Vyatkin:
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. Ershov Memorial Conference 2001: 55-63
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/VyatkinH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/VyatkinH01
Valeriy Vyatkin, Hans-Michael Hanisch:
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. ETFA (2) 2001: 113-118
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/VyatkinH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/VyatkinH01
Valeriy Vyatkin, Hans-Michael Hanisch:
Application of visual specifications for verification of distributed controllers. SMC 2001: 646-651

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.