default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValeriy Vyatkin
Person information
- affiliation: Aalto University, Helsinki, Finland
- affiliation: Luleå University of Technology, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j91]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]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) - 2023
- [j89]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]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]Arndt Lüder, Valeriy Vyatkin:
Obituary Prof. Dr. Hans-Michael Hanisch. Autom. 71(3): 245-246 (2023) - [j86]Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Offline reinforcement learning for industrial process control: A case study from steel industry. Inf. Sci. 632: 221-231 (2023) - 2022
- [j85]Pranay Jhunjhunwala, Valeriy Vyatkin:
Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard. IEEE Access 10: 2564-2577 (2022) - [j84]Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin:
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. IEEE Access 10: 35238-35250 (2022) - [j83]Rakshith Subramanya, Seppo A. Sierla, Valeriy Vyatkin:
Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals. IEEE Access 10: 54484-54506 (2022) - [j82]Mohammad Azangoo, Lotta Sorsamäki, Seppo A. Sierla, Teemu Mätäsniemi, Miia Rantala, Kari Rainio, Valeriy Vyatkin:
A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant. IEEE Access 10: 58787-58810 (2022) - [j81]Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Reinforcement learning for industrial process control: A case study in flatness control in steel industry. Comput. Ind. 143: 103748 (2022) - [j80]Seppo A. Sierla, Mohammad Azangoo, Kari Rainio, Nikolaos Papakonstantinou, Alexander Fay, Petri Honkamaa, Valeriy Vyatkin:
Roadmap to semi-automatic generation of digital twins for brownfield process plants. J. Ind. Inf. Integr. 27: 100282 (2022) - [j79]Jifei Deng, Jie Sun, Wen Peng, Dian-hua Zhang, Valeriy Vyatkin:
Imbalanced multiclass classification with active learning in strip rolling process. Knowl. Based Syst. 255: 109754 (2022) - [j78]Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu:
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. 19(1): 425-440 (2022) - 2021
- [j77]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9: 61383-61397 (2021) - 2020
- [j76]Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Valeriy Vyatkin, Tor Björn Minde:
Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency. IEEE Access 8: 46559-46573 (2020) - [j75]Haibo Cheng, Valeriy Vyatkin, Evgeny Osipov, Peng Zeng, Haibin Yu:
LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data. IEEE Access 8: 67289-67299 (2020) - [j74]Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin:
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access 8: 207485-207498 (2020) - [j73]Haibo Cheng, Haibin Yu, Peng Zeng, Evgeny Osipov, Shichao Li, Valeriy Vyatkin:
Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and SVM. Sensors 20(19): 5659 (2020) - [j72]Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang, Valeriy Vyatkin:
A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems. IEEE Trans. Ind. Informatics 16(1): 151-160 (2020) - [j71]Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin:
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics 16(1): 403-413 (2020) - [j70]Valeriy Vyatkin, Lucia Lo Bello, Thilo Sauter:
Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics. IEEE Trans. Ind. Informatics 16(12): 7709-7713 (2020) - [j69]Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin:
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics 16(12): 7821-7831 (2020) - [j68]Wenbin William Dai, Cheng Pang, Valeriy Vyatkin, James H. Christensen, Xinping Guan:
Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(3): 851-862 (2020) - 2019
- [j67]Wenbin William Dai, Peng Wang, Weiqi Sun, Xian Wu, Hualiang Zhang, Valeriy Vyatkin, Genke Yang:
Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices. IEEE Access 7: 125882-125892 (2019) - [j66]Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin:
Applying graph matching techniques to enhance reuse of plant design information. Comput. Ind. 107: 81-98 (2019) - [j65]Dmitry Mukhutdinov, Andrey Filchenkov, Anatoly Shalyto, Valeriy Vyatkin:
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Gener. Comput. Syst. 94: 587-600 (2019) - [j64]Matti Yli-Ojanperä, Seppo A. Sierla, Nikolaos Papakonstantinou, Valeriy Vyatkin:
Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. J. Ind. Inf. Integr. 15: 147-160 (2019) - [j63]Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin:
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. 16(3): 1110-1124 (2019) - [j62]Roopak Sinha, Barry Dowdeswell, Gulnara Zhabelova, Valeriy Vyatkin:
TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 3(2): 15:1-15:25 (2019) - [j61]Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin:
Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves. IEEE Trans. Ind. Informatics 15(2): 677-688 (2019) - [j60]Daswin De Silva, Zhibo Pang, Evgeny Osipov, Valeriy Vyatkin:
Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics. IEEE Trans. Ind. Informatics 15(6): 3690-3692 (2019) - [j59]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15(7): 3772-3783 (2019) - [j58]Alfonso Damiano, Craig Rieger, Valeriy Vyatkin, Milos Manic:
Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions. IEEE Trans. Ind. Informatics 15(7): 4315-4318 (2019) - [j57]Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin:
Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics 15(8): 4558-4568 (2019) - 2018
- [j56]Gerardo Santillán Martínez, Tommi Karhela, Reino Ruusu, Seppo A. Sierla, Valeriy Vyatkin:
An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture. IEEE Access 6: 15391-15407 (2018) - [j55]Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin:
Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant. IEEE Access 6: 30766-30777 (2018) - [j54]Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Jari Lappalainen, Valeriy Vyatkin:
Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model. IEEE Access 6: 45217-45232 (2018) - [j53]Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Yulia Berezovskaya, Valeriy Vyatkin, Damien Flieller:
A Comprehensive Model of Data Center: From CPU to Cooling Tower. IEEE Access 6: 61254-61266 (2018) - [j52]Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin:
Automatic assembly planning based on digital product descriptions. Comput. Ind. 97: 34-46 (2018) - [j51]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]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]Herbert Prähofer, Valeriy Vyatkin, Alois Zoitl:
Guest Editorial Information Technology in Automation. IEEE Trans. Ind. Informatics 14(6): 2745-2747 (2018) - 2017
- [j48]Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin:
Automatic Generation of Pipelines Into a 3D Industrial Process Model. IEEE Access 5: 26591-26603 (2017) - [j47]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]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]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]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]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]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]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) - 2016
- [j40]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]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]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) - 2015
- [j37]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]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]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]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]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]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]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) - 2014
- [j30]Valeriy Vyatkin, Mihaela Ulieru:
Editorial. EAI Endorsed Trans. Energy Web 1(2): e1 (2014) - [j29]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]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]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]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) - 2013
- [j25]Mihaela Ulieru, Valeriy Vyatkin:
Welcome message from the Editors-in-Chief. EAI Endorsed Trans. Energy Web 1(1): e1 (2013) - [j24]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]Valeriy Vyatkin:
Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Trans. Ind. Informatics 9(3): 1234-1249 (2013) - [j22]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]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]Jeffrey Yan, Valeriy Vyatkin:
Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers. IEEE Trans. Ind. Informatics 9(4): 2200-2209 (2013) - [j19]Valeriy Vyatkin:
Guest Editorial: Special section on software engineering in industrial automation. IEEE Trans. Ind. Informatics 9(4): 2337-2339 (2013) - 2012
- [j18]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]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]Victor Dubinin, Valeriy Vyatkin:
Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics 8(2): 279-290 (2012) - 2011
- [j15]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]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) - 2010
- [j13]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]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) - 2009
- [j11]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]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) - 2008
- [j9]Victor Dubinin, Valeriy Vyatkin:
On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. 2008 (2008) - [j8]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]Valeriy Vyatkin, Gustavo Bouzon:
Using Visual Specifications in Verification of Industrial Automation Controllers. EURASIP J. Embed. Syst. 2008 (2008) - 2006
- [j6]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]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]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) - 2005
- [j3]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]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) - 2003
- [j1]Valeriy Vyatkin, Hans-Michael Hanisch:
Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. 14(1): 123-136 (2003)
Conference and Workshop Papers
- 2024
- [c278]Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin:
Dynamic Modeling of Strip Rolling Process Using Probabilistic Neural Network. AMC 2024: 1-6 - [c277]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards Virtual Commissioning Environment for Smart Mechatronic Systems. AMC 2024: 1-6 - [c276]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]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]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]Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries. ETFA 2024: 1-4 - [c272]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]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]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]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]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
- [c267]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]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]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]Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Mechatronic Swarm and its Virtual Commissioning. ICM 2023: 1-6 - [c263]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]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]Mikhail V. Kolesnikov, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Data-Driven Human Factors Enabled Digital Twin. IECON 2023: 1-6 - [c260]Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. IECON 2023: 1-6 - [c259]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]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]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]Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin:
Debugging approach for IEC 61499 control applications in FBME. ISIE 2023: 1-5 - [c255]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]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]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]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]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]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]Rakshith Subramanya, Aaltonen Harri, Seppo A. Sierla, Valeriy Vyatkin:
Onsite Renewable Generation Time Shifting for Photovoltaic Systems. ISIE 2023: 1-6 - [c248]Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin:
Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE 2023: 1-4 - [c247]Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin:
On interoperability of Datacentre and the Energy market in the Nordic Region. ISIE 2023: 1-6 - [c246]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]Nikolai Galkin, Chen-Wei Yang, Nicholas Etherden, Valeriy Vyatkin:
Microcomputer Prototyping of IEC61850-9-2 with Performance Analysis. SmartGridComm 2023: 1-7 - 2022
- [c244]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA 2022: 1-7 - [c243]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On automatic generation of OPC UA connections in IEC 61499 automation systems. ICPS 2022: 1-6 - [c242]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6 - [c241]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Reinforcement learning approach to implementation of individual controllers in data centre control system. INDIN 2022: 41-46 - [c240]Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin:
Formal model of IEC 61499 execution trace in FBME IDE. INDIN 2022: 588-593 - [c239]Pranay Jhunjhunwala, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling. ISIE 2022: 220-225 - [c238]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On enhancing reconfigurability of I/O connection and access in IEC 61499. ISIE 2022: 818-823 - 2021
- [c237]Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin:
Hybrid Digital Twin for process industry using Apros simulation environment. ETFA 2021: 1-4 - [c236]Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin:
Towards enhanced live visualization based on communication delay prediction for remote AGV operation. ETFA 2021: 1-4 - [c235]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards reinforcement learning approach to energy-efficient control of server fans in data centres. ETFA 2021: 1-4 - [c234]Andrej Lashchev, Gennady Veselov, Valeriy Vyatkin:
Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. ETFA 2021: 1-4 - [c233]Polina Ovsiannikova, Valeriy Vyatkin:
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. ETFA 2021: 1-4 - [c232]Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin:
Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA 2021: 1-4 - [c231]Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT 2021: 967-972 - [c230]Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Dynamic Adapter Connections for IEC 61499. ICIT 2021: 1054-1059 - [c229]Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin:
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS 2021: 172-178 - [c228]Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology. IECON 2021: 1-7 - [c227]Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin:
Change-based causes in counterexample explanation for model checking. IECON 2021: 1-6 - [c226]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation. DoCEIS 2021: 189-196 - [c225]Udayanto Dwi Atmojo, Mohammad Azangoo, Valeriy Vyatkin, Ilkka Seilonen:
From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic. INDIN 2021: 1-6 - [c224]Viktor Shatrov, Valeriy Vyatkin:
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. INDIN 2021: 1-6 - [c223]Midhun Xavier, Sandeep Patil, Valeriy Vyatkin:
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN 2021: 1-6 - [c222]Rakshith Subramanya, Seppo A. Sierla, Matti Yli-Ojanperä, Henri Makkonen, Mahdi Pourakbari-Kasmaei, Valeriy Vyatkin:
Interfacing Third Party Cloud Services to a Virtual Power Plant. ISGT-Europe 2021: 1-6 - [c221]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE 2021: 1-7 - [c220]Anand George, Polina Ovsiannikova, Valeriy Vyatkin:
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. ISIE 2021: 1-6 - [c219]Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin. ISIE 2021: 1-6 - [c218]Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin:
A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. ISIE 2021: 1-6 - [c217]Nikolai Galkin, Chen-Wei Yang, Lars Nordström, Valeriy Vyatkin:
Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services. SmartGridComm 2021: 15-20 - 2020
- [c216]Dmitry Elkin, Valeriy Vyatkin:
IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation. CSOC (3) 2020: 536-551 - [c215]Ronal Bejarano, Roope Pääkkönen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin:
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. ETFA 2020: 69-76 - [c214]Seppo A. Sierla, Mohammad Azangoo, Valeriy Vyatkin:
Generating an industrial process graph from 3D pipe routing information. ETFA 2020: 85-92 - [c213]Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimäki, Jonathan Leinola, Pyry Pietarila:
Towards a 3D Scanning/VR-based Product Inspection Station. ETFA 2020: 1263-1266 - [c212]Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin:
Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA 2020: 1377-1380 - [c211]Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. ETFA 2020: 1409-1412 - [c210]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with OERITTE. ICECCS 2020: 1-10 - [c209]Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin:
A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. ICIT 2020: 271-277 - [c208]Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin:
Towards Multi-Agent Control in Energy-Efficient Data Centres. IECON 2020: 3574-3579 - [c207]Cheng Pang, Di Wu, Wenbin William Dai, Anna Mikola, Tommi A. Karhela, Valeriy Vyatkin:
Software-Defined Decentralized Domestic Wastewater Treatment: 1st Milestone. IECON 2020: 3841-3846 - [c206]Dmitry Elkin, Valeriy Vyatkin:
Distributed Approach to Traffic Management Automation Implemented According to IEC 61499. DoCEIS 2020: 159-167 - [c205]Viktor Shatrov, Valeriy Vyatkin:
Formal Verification of IEC 61499 Enhanced with Timed Events. DoCEIS 2020: 168-178 - [c204]Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou:
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. ISIE 2020: 460-467 - 2019
- [c203]Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon:
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. Ershov Informatics Conference 2019: 64-79 - [c202]Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. ETFA 2019: 41-48 - [c201]Nikolaos Papakonstantinou, Juha Karttunen, Seppo A. Sierla, Valeriy Vyatkin:
Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case. ETFA 2019: 1207-1212 - [c200]Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. ETFA 2019: 1265-1268 - [c199]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685 - [c198]Udayanto Dwi Atmojo, Jan Olaf Blech, Seppo A. Sierla, Valeriy Vyatkin:
Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. ICII 2019: 305-306 - [c197]Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin, Markus Roni, Vuong Vo, Roman Rumiantcev, Konsta Leino, Mika Kuusisto:
On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. ICII 2019: 307-308 - [c196]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. INDIN 2019: 87-92 - [c195]Udayanto Dwi Atmojo, Valeriy Vyatkin:
Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems. INDIN 2019: 140-146 - [c194]Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin:
Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN 2019: 147-151 - [c193]Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin:
Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. INDIN 2019: 164-171 - [c192]Haibo Cheng, Xiaoning Han, Peng Zeng, Haibin Yu, Evgeny Osipov, Valeriy Vyatkin:
ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems. INDIN 2019: 199-205 - [c191]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. INDIN 2019: 374-379 - [c190]Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN 2019: 466-469 - [c189]Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin:
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. INDIN 2019: 635-640 - [c188]Ilkka Seilonen, Valeriy Vyatkin, Udayanto Dwi Atmojo:
OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. INDIN 2019: 1008-1013 - [c187]Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Xiaojing Zhang, Valeriy Vyatkin:
A hybrid fault detection and diagnosis method in server rooms' cooling systems. INDIN 2019: 1405-1410 - [c186]Gennady E. Veselov, Andrey A. Sklyarov, Valeriy Vyatkin:
Non-linear control of a group of tracked robots. INDIN 2019: 1679-1684 - [c185]Alexander Hopsu, Udayanto Dwi Atmojo, Valeriy Vyatkin:
On Portability of IEC 61499 Compliant Structures and Systems. ISIE 2019: 1306-1311 - [c184]Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin:
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA 2019: 301-312 - 2018
- [c183]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]Udayanto Dwi Atmojo, Valeriy Vyatkin, Zoran Salcic:
On Achieving Reliable Communication in IEC 61499. ETFA 2018: 147-154 - [c181]Dennis Jarvis, Jacqueline Jarvis, Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin:
PROSA/G: An architecture for agent-based manufacturing execution. ETFA 2018: 155-160 - [c180]Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. ETFA 2018: 1043-1046 - [c179]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]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]Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin:
Refactoring of IEC 61499 function block application - A case study. ICPS 2018: 726-733 - [c176]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]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]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]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]Chen-Wei Yang, Valeriy Vyatkin:
On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems. IECON 2018: 3576-3581 - [c171]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]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]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]Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems. INDIN 2018: 713-718 - [c167]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]Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin:
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN 2018: 725-732 - [c165]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]Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
Counterexample visualization and explanation for function block diagrams. INDIN 2018: 747-753 - [c163]Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN 2018: 766-771 - [c162]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]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE 2018: 669-674 - 2017
- [c160]Igor Buzhinsky, Valeriy Vyatkin:
Modular plant model synthesis from behavior traces and temporal properties. ETFA 2017: 1-7 - [c159]Igor Buzhinsky, Valeriy Vyatkin:
Testing automation systems by means of model checking. ETFA 2017: 1-7 - [c158]Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin:
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS 2017: 80-91 - [c157]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]Reza Abrishambaf, Mert Bal, Valeriy Vyatkin:
Distributed home automation system based on IEC61499 function blocks and wireless sensor networks. ICIT 2017: 1354-1359 - [c155]Eero Väänänen, Valeriy Vyatkin:
Estimation, measurement and improvement of distributed automation applications performance. IECON 2017: 5426-5431 - [c154]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON 2017: 5439-5446 - [c153]George Davidescu, Valeriy Vyatkin:
Network planning and self-repair in models of urban distribution networks via Hill Climbing. IECON 2017: 5477-5482 - [c152]Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Scalable methods of discrete plant model generation for closed-loop model checking. IECON 2017: 5483-5488 - [c151]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]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]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]Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin:
Towards formal verification for cyber-physically agnostic software: A case study. IECON 2017: 5509-5514 - [c147]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]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]Arash Mousavi, Alireza Yavarian, Valeriy Vyatkin, Xiaojing Zhang:
Power quality assessment of energy efficient cooling systems in data centers. IECON 2017: 7191-7196 - [c144]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]Arash Mousavi, Yulia Berezovskaya, Valeriy Vyatkin, Xiaojing Zhang:
Energy efficient decision making in data centers with multiple cooling methods. IECON 2017: 8785-8790 - [c142]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]Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin:
Automatic generation of function block applications using evolutionary algorithms: Initial explorations. INDIN 2017: 700-705 - [c140]Artem Voinov, Chen-Wei Yang, Valeriy Vyatkin:
Automatic generation of function block systems implementing HMI for energy distribution automation. INDIN 2017: 706-713 - [c139]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]Chen-Wei Yang, Valeriy Vyatkin:
On requirements-driven design of distributed smart grid automation control. INDIN 2017: 738-745 - [c137]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]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]Evgeny Nefedov, Seppo A. Sierla, Valeriy Vyatkin:
Towards electric vehicles integration to distributed energy resources of prosumer. INDIN 2017: 769-772 - [c134]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]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]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
- [c131]Pekka Aarnio, Valeriy Vyatkin, David Hästbacka:
Context modeling with situation rules for industrial maintenance. ETFA 2016: 1-9 - [c130]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]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]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]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]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]Evgeny Nefedov, Valeriy Vyatkin:
Evaluating benefits of collaborative intelligent batteries in SmartGrid. IECON 2016: 5265-5270 - [c124]Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin:
Towards a formal model of protection functions for power distribution networks. IECON 2016: 5302-5309 - [c123]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]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]Majid Sorouri, Valeriy Vyatkin:
Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems. PRO-VE 2016: 394-407 - [c120]Evgeny Nefedov, Valeriy Vyatkin:
Decentralised Coordination of Intelligent Autonomous Batteries. DoCEIS 2016: 425-433 - [c119]Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin:
Reconstruction of function block controllers based on test scenarios and verification. INDIN 2016: 646-651 - [c118]Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin:
A study on user-friendly formal specification languages for requirements formalization. INDIN 2016: 676-682 - [c117]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]Igor Buzhinsky, Valeriy Vyatkin:
Plant model inference for closed-loop verification of control systems: Initial explorations. INDIN 2016: 736-739 - [c115]Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin:
Requirement verification in simulation-based automation testing. INDIN 2016: 740-743 - [c114]Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN 2016: 748-755 - [c113]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]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]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]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]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]Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin:
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA 2016: 35-46 - 2015
- [c107]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]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]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]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]Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang:
Towards energy smart data centers: Simulation of server room cooling system. ETFA 2015: 1-6 - [c102]Gulnara Zhabelova, Valeriy Vyatkin:
Towards software metrics for evaluating quality of IEC 61499 automation software. ETFA 2015: 1-8 - [c101]Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin:
Data center power dynamics within the settings of regional power grid. ETFA 2015: 1-5 - [c100]Gulnara Zhabelova, Valeriy Vyatkin:
Towards a Design Methodology for Agent-Based Automation of Smart Grid. HoloMAS 2015: 181-194 - [c99]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]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]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]Chen-Wei Yang, Valeriy Vyatkin:
Modelling of IEC 61850 message passing for automatic generation of distributed control. IECON 2015: 1524-1529 - [c95]Valeriy Vyatkin, Cheng Pang, Stavros Tripakis:
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON 2015: 1970-1975 - [c94]Cheng Pang, Wenbin William Dai, Valeriy Vyatkin:
Towards IEC 61499 models of computation in Ptolemy II. IECON 2015: 1988-1993 - [c93]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]Olli Kilkki, Christian Giovanelli, Ilkka Seilonen, Valeriy Vyatkin:
Optimization of decentralized energy storage flexibility for frequency reserves. IECON 2015: 2219-2224 - [c91]Wenbin William Dai, Valeriy Vyatkin:
Reconfigurable elements of execution semantics for industrial cyber-physical systems. IECON 2015: 2252-2257 - [c90]Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin:
Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON 2015: 3974-3979 - [c89]Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin:
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS 2015: 73-81 - [c88]Jia Wang, Zhibo Pang, Cheng Pang, Valeriy Vyatkin:
Industry-friendly engineering tools for wireless home automation devices. INDIN 2015: 1174-1179 - [c87]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]Sandeep Patil, Valeriy Vyatkin, Cheng Pang:
Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN 2015: 1192-1197 - [c85]Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin:
Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN 2015: 1213-1218 - [c84]Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin, Arash Mousavi:
Fault detection in the hyperspace: Towards intelligent automation systems. INDIN 2015: 1219-1224 - [c83]Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin:
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN 2015: 1239-1242 - [c82]Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin:
Slicing the Pi: Device-specific IEC 61499 design. INDIN 2015: 1257-1262 - [c81]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]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]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]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]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]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]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]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]Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin:
Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) 2015: 301-306 - [c72]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]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
- [c70]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]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]Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang:
Automatic generation of automation applications based on ontology transformations. ETFA 2014: 1-4 - [c67]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]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]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]Cheng Pang, Valeriy Vyatkin, Wenbin William Dai:
IEC 61499 based model-driven process control engineering. ETFA 2014: 1-8 - [c63]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]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]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]Jeffrey Yan, Valeriy Vyatkin:
Time-complemented event-driven reconfigurable systems. ETFA 2014: 1-8 - [c59]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]Wenbin William Dai, Valeriy Vyatkin, James H. Christensen:
The application of service-oriented architectures in distributed automation systems. ICRA 2014: 252-257 - [c57]Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems. ICRA 2014: 258-263 - [c56]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]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]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]Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin:
Decision making for industrial agents in Smart Grid applications. IECON 2014: 3584-3590 - [c52]Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin:
Knowledge-based routing in mechanical transportation systems. INDIN 2014: 48-53 - [c51]Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin:
Function block implementation of service oriented architecture: Case study. INDIN 2014: 112-117 - [c50]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]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]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]Seppo A. Sierla, Marcin Hurkala, Konstantinia Charitoudi, Chen-Wei Yang, Valeriy Vyatkin:
Security risk analysis for smart grid automation. ISIE 2014: 1737-1744 - [c46]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]Wenbin William Dai, Jukka Peltola, Valeriy Vyatkin, Cheng Pang:
Service-oriented distributed control software design for process automation systems. SMC 2014: 3637-3642 - [c44]Cheng Pang, Valeriy Vyatkin, Horst Mayer:
Towards cyber-physical approach for prototyping indoor lighting automation systems. SMC 2014: 3643-3648 - 2013
- [c43]Wenbin William Dai, Valeriy Vyatkin, James H. Christensen:
Essential elements for programming of distributed automation and control systems. ETFA 2013: 1-8 - [c42]Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
Model-based customisation of intelligent mechatronic systems using SysML. ETFA 2013: 1-4 - [c41]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]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]Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin:
Towards automated visualization for distributed automation applications. ETFA 2013: 1-4 - [c38]Jeffrey Yan, Valeriy Vyatkin:
Extension of reconfigurability provisions in IEC 61499. ETFA 2013: 1-7 - [c37]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]Wenbin William Dai, Valeriy Vyatkin:
A component-based design pattern for improving reusability of automation programs. IECON 2013: 4328-4333 - [c35]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]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]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]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]Majid Sorouri, Valeriy Vyatkin, Zoran Salcic:
Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog. INDIN 2013: 242-247 - [c30]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]Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin:
Smart Grid applications with IEC 61499 reference architecture. INDIN 2013: 458-463 - [c28]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]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
- [c26]Sandeep Patil, Valeriy Vyatkin, Majid Sorouri:
Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA 2012: 1-7 - [c25]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]Majid Sorouri, Sandeep Patil, Valeriy Vyatkin:
Distributed control patterns for intelligent mechatronic systems. INDIN 2012: 259-264 - [c23]Wenbin William Dai, Valeriy Vyatkin:
Transformation from PLC to distributed control using ontology mapping. INDIN 2012: 436-441 - [c22]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]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
- [c20]Wenbin William Dai, Valeriy Vyatkin:
Ontology Model for Migration from IEC 61131-3 PLC to IEC 61499 Function Block. DELTA 2011: 172-175 - 2010
- [c19]Wenbin William Dai, Valeriy Vyatkin:
Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks. ETFA 2010: 1-8 - 2009
- [c18]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]Piran Tata, Valeriy Vyatkin:
Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. INDIN 2009: 416-421 - 2008
- [c16]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]Yazen Al-Safi, Valeriy Vyatkin:
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems. HoloMAS 2007: 114-126 - [c14]Geoff Black, Valeriy Vyatkin:
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499. HoloMAS 2007: 314-325 - 2006
- [c13]Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA 2006: 633-640 - [c12]Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781 - [c11]Christoph Sünder, Bernard Favre-Bulle, Valeriy Vyatkin:
Towards an Approach for the Verification of Downtimeless System Evolution. ETFA 2006: 1133-1136 - 2005
- [c10]Valeriy Vyatkin, Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems. ETFA 2005 - [c9]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 - 2003
- [c8]Valeriy Vyatkin:
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. Ershov Memorial Conference 2003: 319-328 - [c7]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]Valeriy Vyatkin:
Intelligent mechatronic components: control system engineering using an open distributed architecture. ETFA (2) 2003: 277-284 - [c5]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]Valeriy Vyatkin, Hans-Michael Hanisch:
Component Design and Formal Validation of SFA Systems: A Case Study. BASYS 2002: 313-322 - 2001
- [c3]Valeriy Vyatkin:
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. Ershov Memorial Conference 2001: 55-63 - [c2]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]Valeriy Vyatkin, Hans-Michael Hanisch:
Application of visual specifications for verification of distributed controllers. SMC 2001: 646-651
Parts in Books or Collections
- 2005
- [p1]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
Editorship
- 2007
- [e1]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]
Informal and Other Publications
- 2023
- [i15]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
- [i14]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Plant model generation from event log using ProM for formal verification of CPS. CoRR abs/2211.03681 (2022) - 2021
- [i13]Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin:
Designing Actively Secure, Highly Available Industrial Automation Applications. CoRR abs/2101.01856 (2021) - [i12]Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin:
Applying graph matching techniques to enhance reuse of plant design information. CoRR abs/2103.12466 (2021) - [i11]Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou:
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. CoRR abs/2104.01854 (2021) - [i10]Thimal Kempitiya, Seppo A. Sierla, Daswin De Silva, Matti Yli-Ojanperä, Damminda Alahakoon, Valeriy Vyatkin:
An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets. CoRR abs/2104.01865 (2021) - [i9]Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin:
Automatic Assembly Planning based on Digital Product Descriptions. CoRR abs/2104.06509 (2021) - [i8]Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin:
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. CoRR abs/2108.00595 (2021) - [i7]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - [i6]Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin:
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR abs/2108.07400 (2021) - [i5]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. CoRR abs/2112.01367 (2021) - [i4]Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin:
Hybrid Digital Twin for process industry using Apros simulation environment. CoRR abs/2112.01903 (2021) - 2020
- [i3]Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with Oeritte. CoRR abs/2012.15097 (2020) - 2019
- [i2]Igor Buzhinsky, Valeriy Vyatkin:
Combining closed-loop test generation and execution by means of model checking. CoRR abs/1907.11895 (2019) - 2016
- [i1]Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin:
Requirement verification in simulation-based automation testing. CoRR abs/1602.02504 (2016)
Coauthor Index
Daniil S. Chivilikhin
aka: Daniil Chivilikhin
aka: Daniil Chivilikhin
Victor Dubinin
aka: Victor N. Dubinin
aka: Victor N. Dubinin
Tommi Karhela
aka: Tommi A. Karhela
aka: Tommi A. Karhela
Gerardo Santillan Martinez
aka: Gerardo Santillán Martínez
aka: Gerardo Santillán Martínez
[j69] [j59] [j42] [j32] [c269] [c267] [c265] [c264] [c257] [c248] [c244] [c242] [c240] [c232] [c223] [c212] [c199] [c194] [c189] [c184] [c177] [c173] [c166] [c148] [c129] [c124] [c111] [c108] [c93] [c90] [c89] [c86] [c83] [c80] [c79] [c71] [c70] [c67] [c50] [c49] [c40] [c32] [c29] [c26] [c24] [i14] [i7]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
