Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Valeriy Vyatkin
@article{DBLP:journals/tgrs/ChengH0V24, author = {Haibo Cheng and Yunpeng He and Peng Zeng and Valeriy Vyatkin}, title = {Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering}, journal = {{IEEE} Trans. Geosci. Remote. Sens.}, volume = {62}, pages = {1--9}, year = {2024}, url = {https://doi.org/10.1109/TGRS.2024.3357797}, doi = {10.1109/TGRS.2024.3357797}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tgrs/ChengH0V24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amc/DengSSV24, author = {Jifei Deng and Seppo A. Sierla and Jie Sun and Valeriy Vyatkin}, title = {Dynamic Modeling of Strip Rolling Process Using Probabilistic Neural Network}, booktitle = {18th {IEEE} International Conference on Advanced Motion Control, {AMC} 2024, Kyoto, Japan, February 28 - March 1, 2024}, pages = {1--6}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/AMC58169.2024.10505655}, doi = {10.1109/AMC58169.2024.10505655}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amc/DengSSV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amc/LyuAV24, author = {Tuojian Lyu and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Towards Virtual Commissioning Environment for Smart Mechatronic Systems}, booktitle = {18th {IEEE} International Conference on Advanced Motion Control, {AMC} 2024, Kyoto, Japan, February 28 - March 1, 2024}, pages = {1--6}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/AMC58169.2024.10505663}, doi = {10.1109/AMC58169.2024.10505663}, timestamp = {Thu, 02 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amc/LyuAV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/GalkinRVYD23, author = {Nikolai Galkin and Michail Ruchkin and Valeriy Vyatkin and Chen{-}Wei Yang and Victor Dubinin}, title = {Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems}, journal = {{IEEE} Access}, volume = {11}, pages = {4633--4644}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3234804}, doi = {10.1109/ACCESS.2023.3234804}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/GalkinRVYD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/asc/DengSSV23, author = {Jifei Deng and Seppo A. Sierla and Jie Sun and Valeriy Vyatkin}, title = {Mass customization with reinforcement learning: Automatic reconfiguration of a production line}, journal = {Appl. Soft Comput.}, volume = {145}, pages = {110547}, year = {2023}, url = {https://doi.org/10.1016/j.asoc.2023.110547}, doi = {10.1016/J.ASOC.2023.110547}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/asc/DengSSV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/at/LuderV23, author = {Arndt L{\"{u}}der and Valeriy Vyatkin}, title = {Obituary Prof. Dr. Hans-Michael Hanisch}, journal = {Autom.}, volume = {71}, number = {3}, pages = {245--246}, year = {2023}, url = {https://doi.org/10.1515/auto-2023-0022}, doi = {10.1515/AUTO-2023-0022}, timestamp = {Sat, 17 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/at/LuderV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/DengS0V23, author = {Jifei Deng and Seppo A. Sierla and Jie Sun and Valeriy Vyatkin}, title = {Offline reinforcement learning for industrial process control: {A} case study from steel industry}, journal = {Inf. Sci.}, volume = {632}, pages = {221--231}, year = {2023}, url = {https://doi.org/10.1016/j.ins.2023.03.019}, doi = {10.1016/J.INS.2023.03.019}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/DengS0V23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/XavierPDV23, author = {Midhun Xavier and Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, editor = {Lu{\'{\i}}s Gomes and Robert Lorenz}, title = {Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems}, booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13929}, pages = {16--33}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33620-1\_2}, doi = {10.1007/978-3-031-33620-1\_2}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/XavierPDV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/OvsiannikovaPV23, author = {Polina Ovsiannikova and Antti Pakonen and Valeriy Vyatkin}, title = {Automatic generation of repair suggestions for overall I{\&}C architecture represented with an ontology}, booktitle = {28th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15, 2023}, pages = {1--8}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ETFA54631.2023.10275557}, doi = {10.1109/ETFA54631.2023.10275557}, timestamp = {Mon, 23 Oct 2023 09:15:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/OvsiannikovaPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/WiesmayrXPZV23, author = {Bianca Wiesmayr and Midhun Xavier and Sandeep Patil and Alois Zoitl and Valeriy Vyatkin}, title = {Generating Por table Test Cases for {IEC} 61499 FBs from Interface Behaviour Specifications}, booktitle = {28th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ETFA54631.2023.10275633}, doi = {10.1109/ETFA54631.2023.10275633}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/WiesmayrXPZV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmech/LyuLPAV23, author = {Tuojian Lyu and Andrej Lashchev and Sandeep Patil and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Mechatronic Swarm and its Virtual Commissioning}, booktitle = {{IEEE} International Conference on Mechatronics, {ICM} 2023, Loughborough, United Kingdom, March 15-17, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICM54990.2023.10101912}, doi = {10.1109/ICM54990.2023.10101912}, timestamp = {Tue, 25 Apr 2023 17:02:00 +0200}, biburl = {https://dblp.org/rec/conf/icmech/LyuLPAV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ChengHZLV23, author = {Haibo Cheng and Yunpeng He and Peng Zeng and Shichao Li and Valeriy Vyatkin}, title = {Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10312480}, doi = {10.1109/IECON51785.2023.10312480}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/ChengHZLV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/JhunjhunwalaOV23, author = {Pranay Jhunjhunwala and Polina Ovsiannikova and Valeriy Vyatkin}, title = {Design Pattern for Industrial Control Applications Based on One-Line {IEC} 61499 Adapter Connections}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--7}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10312138}, doi = {10.1109/IECON51785.2023.10312138}, timestamp = {Sat, 25 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/JhunjhunwalaOV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/KolesnikovAV23, author = {Mikhail V. Kolesnikov and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Data-Driven Human Factors Enabled Digital Twin}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10311802}, doi = {10.1109/IECON51785.2023.10311802}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/KolesnikovAV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/OvsiannikovaPV23, author = {Polina Ovsiannikova and Antti Pakonen and Valeriy Vyatkin}, title = {Automatic Generation of Repair Suggestions for Control Logic of I{\&}C Systems}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10311970}, doi = {10.1109/IECON51785.2023.10311970}, timestamp = {Sat, 25 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/OvsiannikovaPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/SubramanyaRSV23, author = {Rakshith Subramanya and Paula R{\"{a}}is{\"{a}}nen and Seppo A. Sierla and Valeriy Vyatkin}, title = {Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--7}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10312212}, doi = {10.1109/IECON51785.2023.10312212}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/SubramanyaRSV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangGV23, author = {Chen{-}Wei Yang and Nikolai Galkin and Valeriy Vyatkin}, title = {Towards Interoperability of Edge Datacentre in the Energy Community with {IEC} 61850 Modelling}, booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2023, Singapore, October 16-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IECON51785.2023.10312479}, doi = {10.1109/IECON51785.2023.10312479}, timestamp = {Sat, 25 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/YangGV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/XavierSPV23, author = {Midhun Xavier and Parvathy Sobha and Sandeep Patil and Valeriy Vyatkin}, title = {DeLMS: {A} decentralized learning management system using Ethereum smart contracts and {IPFS}}, booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN} 2023, Lemgo, Germany, July 18-20, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/INDIN51400.2023.10217957}, doi = {10.1109/INDIN51400.2023.10217957}, timestamp = {Tue, 29 Aug 2023 20:54:30 +0200}, biburl = {https://dblp.org/rec/conf/indin/XavierSPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/AkifevLOSV23, author = {Daniil Akifev and Tatiana Liakh and Polina Ovsiannikova and Radimir Sorokin and Valeriy Vyatkin}, title = {Debugging approach for {IEC} 61499 control applications in {FBME}}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228129}, doi = {10.1109/ISIE51358.2023.10228129}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/AkifevLOSV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/ChengLZV23, author = {Haibo Cheng and Shichao Li and Peng Zeng and Valeriy Vyatkin}, title = {Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10227912}, doi = {10.1109/ISIE51358.2023.10227912}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/ChengLZV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/DengESSNKV23, author = {Jifei Deng and Miro Eklund and Seppo A. Sierla and Jouni Savolainen and Hannu Niemist{\"{o}} and Tommi Karhela and Valeriy Vyatkin}, title = {Application of reinforcement learning for energy consumption optimization of district heating system}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228102}, doi = {10.1109/ISIE51358.2023.10228102}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/DengESSNKV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/KolesnikovBAVA23, author = {Mikhail V. Kolesnikov and Jan Olaf Blech and Udayanto Dwi Atmojo and Valeriy Vyatkin and Maxim Ya. Afanasev}, title = {Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228180}, doi = {10.1109/ISIE51358.2023.10228180}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/KolesnikovBAVA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/KothalawalaJV23, author = {Hiruni Kothalawala and Pranay Jhunjhunwala and Valeriy Vyatkin}, title = {Towards migration from {IEC} 61131-3 to {IEC} 61499 in process industry: redesign of visualisation}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10227953}, doi = {10.1109/ISIE51358.2023.10227953}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/KothalawalaJV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/LyuGLYV23, author = {Tuojian Lyu and Nikolai Galkin and Tatiana Liakh and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Methods of data streaming from {IEC} 61499 applications to Cloud storages}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228163}, doi = {10.1109/ISIE51358.2023.10228163}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/LyuGLYV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/OvsiannikovaPPJXV23, author = {Polina Ovsiannikova and Etienne Le Priol and Vincent Perret and Pranay Jhunjhunwala and Midhun Xavier and Valeriy Vyatkin}, title = {Formal verification of observers supervising a cyber-physical system implemented using {IEC} 61499}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228148}, doi = {10.1109/ISIE51358.2023.10228148}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/OvsiannikovaPPJXV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/SubramanyaHSV23, author = {Rakshith Subramanya and Aaltonen Harri and Seppo A. Sierla and Valeriy Vyatkin}, title = {Onsite Renewable Generation Time Shifting for Photovoltaic Systems}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228097}, doi = {10.1109/ISIE51358.2023.10228097}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/SubramanyaHSV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/XavierLPV23, author = {Midhun Xavier and Tatiana Laikh and Sandeep Patil and Valeriy Vyatkin}, title = {Developing a Test Suite for Evaluating {IEC} 61499 Application Portability}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10228154}, doi = {10.1109/ISIE51358.2023.10228154}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/XavierLPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/YangGV23, author = {Chen{-}Wei Yang and Nikolai Galkin and Valeriy Vyatkin}, title = {On interoperability of Datacentre and the Energy market in the Nordic Region}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10227974}, doi = {10.1109/ISIE51358.2023.10227974}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/YangGV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/YuNPGLLDV23, author = {Guangtao Yu and Hiroaki Nishi and Cheng Pang and Qingqing Gu and Yonghao Lin and Jinxian Liang and Wenbin William Dai and Valeriy Vyatkin}, title = {Black Soldier Fly Bioconversion System: {A} Digital Twin Approach}, booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2023, Helsinki, Finland, June 19-21, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISIE51358.2023.10227952}, doi = {10.1109/ISIE51358.2023.10227952}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/YuNPGLLDV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgridcomm/GalkinYEV23, author = {Nikolai Galkin and Chen{-}Wei Yang and Nicholas Etherden and Valeriy Vyatkin}, title = {Microcomputer Prototyping of {IEC61850-9-2} with Performance Analysis}, booktitle = {{IEEE} International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm IEEE, Glasgow, United Kingdom, October 31 - November 3, 2023}, pages = {1--7}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SmartGridComm57358.2023.10333923}, doi = {10.1109/SMARTGRIDCOMM57358.2023.10333923}, timestamp = {Wed, 03 Jan 2024 08:34:34 +0100}, biburl = {https://dblp.org/rec/conf/smartgridcomm/GalkinYEV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-13697, author = {Mohammad Azangoo and Seppo A. Sierla and Valeriy Vyatkin}, title = {Sitting on a gold mine: the story of the process industry's automatic formation of a digital twin}, journal = {CoRR}, volume = {abs/2310.13697}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.13697}, doi = {10.48550/ARXIV.2310.13697}, eprinttype = {arXiv}, eprint = {2310.13697}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-13697.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/JhunjhunwalaV22, author = {Pranay Jhunjhunwala and Valeriy Vyatkin}, title = {Proposing and Prototyping an Extension to the Adapter Concept in the {IEC} 61499 Standard}, journal = {{IEEE} Access}, volume = {10}, pages = {2564--2577}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2021.3137642}, doi = {10.1109/ACCESS.2021.3137642}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/JhunjhunwalaV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ZyubinRAGV22, author = {Vladimir E. Zyubin and Andrei S. Rozov and Igor S. Anureev and Natalya Olegovna Garanina and Valeriy Vyatkin}, title = {poST: {A} Process-Oriented Extension of the {IEC} 61131-3 Structured Text Language}, journal = {{IEEE} Access}, volume = {10}, pages = {35238--35250}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3157601}, doi = {10.1109/ACCESS.2022.3157601}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ZyubinRAGV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/SubramanyaSV22, author = {Rakshith Subramanya and Seppo A. Sierla and Valeriy Vyatkin}, title = {Exploiting Battery Storages With Reinforcement Learning: {A} Review for Energy Professionals}, journal = {{IEEE} Access}, volume = {10}, pages = {54484--54506}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3176446}, doi = {10.1109/ACCESS.2022.3176446}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/SubramanyaSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/AzangooSSMRRV22, author = {Mohammad Azangoo and Lotta Sorsam{\"{a}}ki and Seppo A. Sierla and Teemu M{\"{a}}t{\"{a}}sniemi and Miia Rantala and Kari Rainio and Valeriy Vyatkin}, title = {A Methodology for Generating a Digital Twin for Process Industry: {A} Case Study of a Fiber Processing Pilot Plant}, journal = {{IEEE} Access}, volume = {10}, pages = {58787--58810}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3178424}, doi = {10.1109/ACCESS.2022.3178424}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/AzangooSSMRRV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cii/DengSSV22, author = {Jifei Deng and Seppo A. Sierla and Jie Sun and Valeriy Vyatkin}, title = {Reinforcement learning for industrial process control: {A} case study in flatness control in steel industry}, journal = {Comput. Ind.}, volume = {143}, pages = {103748}, year = {2022}, url = {https://doi.org/10.1016/j.compind.2022.103748}, doi = {10.1016/J.COMPIND.2022.103748}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cii/DengSSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jiii/SierlaARPFHV22, author = {Seppo A. Sierla and Mohammad Azangoo and Kari Rainio and Nikolaos Papakonstantinou and Alexander Fay and Petri Honkamaa and Valeriy Vyatkin}, title = {Roadmap to semi-automatic generation of digital twins for brownfield process plants}, journal = {J. Ind. Inf. Integr.}, volume = {27}, pages = {100282}, year = {2022}, url = {https://doi.org/10.1016/j.jii.2021.100282}, doi = {10.1016/J.JII.2021.100282}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jiii/SierlaARPFHV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/DengSPZV22, author = {Jifei Deng and Jie Sun and Wen Peng and Dian{-}hua Zhang and Valeriy Vyatkin}, title = {Imbalanced multiclass classification with active learning in strip rolling process}, journal = {Knowl. Based Syst.}, volume = {255}, pages = {109754}, year = {2022}, url = {https://doi.org/10.1016/j.knosys.2022.109754}, doi = {10.1016/J.KNOSYS.2022.109754}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/DengSPZV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/ZhouLVDL22, author = {Nan Zhou and Di Li and Valeriy Vyatkin and Victor Dubinin and Chengliang Liu}, title = {Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {19}, number = {1}, pages = {425--440}, year = {2022}, url = {https://doi.org/10.1109/TASE.2020.3038034}, doi = {10.1109/TASE.2020.3038034}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/ZhouLVDL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/XavierDPV22, author = {Midhun Xavier and Victor Dubinin and Sandeep Patil and Valeriy Vyatkin}, title = {An interactive learning approach on digital twin for deriving the controller logic in {IEC} 61499 standard}, booktitle = {27th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9, 2022}, pages = {1--7}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ETFA52439.2022.9921602}, doi = {10.1109/ETFA52439.2022.9921602}, timestamp = {Wed, 02 Nov 2022 18:01:35 +0100}, biburl = {https://dblp.org/rec/conf/etfa/XavierDPV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/LyuAV22, author = {Tuojian Lyu and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {On automatic generation of {OPC} {UA} connections in {IEC} 61499 automation systems}, booktitle = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems, {ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICPS51978.2022.9816861}, doi = {10.1109/ICPS51978.2022.9816861}, timestamp = {Mon, 06 Nov 2023 13:38:03 +0100}, biburl = {https://dblp.org/rec/conf/icphys/LyuAV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/XavierDPV22, author = {Midhun Xavier and Victor Dubinin and Sandeep Patil and Valeriy Vyatkin}, title = {Process mining in industrial control systems}, booktitle = {20th {IEEE} International Conference on Industrial Informatics, {INDIN} 2022, Perth, Australia, July 25-28, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/INDIN51773.2022.9976111}, doi = {10.1109/INDIN51773.2022.9976111}, timestamp = {Fri, 06 Jan 2023 16:53:15 +0100}, biburl = {https://dblp.org/rec/conf/indin/XavierDPV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BerezovskayaYV22, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Reinforcement learning approach to implementation of individual controllers in data centre control system}, booktitle = {20th {IEEE} International Conference on Industrial Informatics, {INDIN} 2022, Perth, Australia, July 25-28, 2022}, pages = {41--46}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/INDIN51773.2022.9976179}, doi = {10.1109/INDIN51773.2022.9976179}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/BerezovskayaYV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/LiakhSAPV22, author = {Tatiana Liakh and Radimir Sorokin and Daniil Akifev and Sandeep Patil and Valeriy Vyatkin}, title = {Formal model of {IEC} 61499 execution trace in {FBME} {IDE}}, booktitle = {20th {IEEE} International Conference on Industrial Informatics, {INDIN} 2022, Perth, Australia, July 25-28, 2022}, pages = {588--593}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/INDIN51773.2022.9976176}, doi = {10.1109/INDIN51773.2022.9976176}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/LiakhSAPV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/JhunjhunwalaZAV22, author = {Pranay Jhunjhunwala and Alois Zoitl and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Monitoring design pattern for distributed automation systems in {IEC} 61499 and its formal modelling}, booktitle = {31st {IEEE} International Symposium on Industrial Electronics, {ISIE} 2022, Anchorage, AK, USA, June 1-3, 2022}, pages = {220--225}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISIE51582.2022.9831470}, doi = {10.1109/ISIE51582.2022.9831470}, timestamp = {Wed, 03 Aug 2022 15:28:29 +0200}, biburl = {https://dblp.org/rec/conf/isie/JhunjhunwalaZAV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/LyuAV22, author = {Tuojian Lyu and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {On enhancing reconfigurability of {I/O} connection and access in {IEC} 61499}, booktitle = {31st {IEEE} International Symposium on Industrial Electronics, {ISIE} 2022, Anchorage, AK, USA, June 1-3, 2022}, pages = {818--823}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISIE51582.2022.9831506}, doi = {10.1109/ISIE51582.2022.9831506}, timestamp = {Wed, 03 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/LyuAV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-03681, author = {Midhun Xavier and Victor Dubinin and Sandeep Patil and Valeriy Vyatkin}, title = {Plant model generation from event log using ProM for formal verification of {CPS}}, journal = {CoRR}, volume = {abs/2211.03681}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.03681}, doi = {10.48550/ARXIV.2211.03681}, eprinttype = {arXiv}, eprint = {2211.03681}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-03681.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/OvsiannikovaBPV21, author = {Polina Ovsiannikova and Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, title = {Oeritte: User-Friendly Counterexample Explanation for Model Checking}, journal = {{IEEE} Access}, volume = {9}, pages = {61383--61397}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3073459}, doi = {10.1109/ACCESS.2021.3073459}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/OvsiannikovaBPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/AzangooSYBMPSV21, author = {Mohammad Azangoo and Joonas Salmi and Iivo Yrj{\"{o}}l{\"{a}} and Jonathan Bensky and Gerardo Santillan Martinez and Nikolaos Papakonstantinou and Seppo A. Sierla and Valeriy Vyatkin}, title = {Hybrid Digital Twin for process industry using Apros simulation environment}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613416}, doi = {10.1109/ETFA45728.2021.9613416}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/AzangooSYBMPSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BejaranoABV21, author = {Ronal Bejarano and Udayanto Dwi Atmojo and Jan Olaf Blech and Valeriy Vyatkin}, title = {Towards enhanced live visualization based on communication delay prediction for remote {AGV} operation}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613513}, doi = {10.1109/ETFA45728.2021.9613513}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/BejaranoABV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BerezovskayaYV21, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Towards reinforcement learning approach to energy-efficient control of server fans in data centres}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613639}, doi = {10.1109/ETFA45728.2021.9613639}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/BerezovskayaYV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/LashchevVV21, author = {Andrej Lashchev and Gennady Veselov and Valeriy Vyatkin}, title = {Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with {ROS}}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613176}, doi = {10.1109/ETFA45728.2021.9613176}, timestamp = {Thu, 30 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/LashchevVV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/OvsiannikovaV21, author = {Polina Ovsiannikova and Valeriy Vyatkin}, title = {Towards user-friendly model checking of {IEC} 61499 systems with counterexample explanation}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613491}, doi = {10.1109/ETFA45728.2021.9613491}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/OvsiannikovaV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/XavierHPV21, author = {Midhun Xavier and Johannes H{\aa}kansson and Sandeep Patil and Valeriy Vyatkin}, title = {Plant Model Generator from Digital Twin for Purpose of Formal Verification}, booktitle = {26th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ETFA45728.2021.9613704}, doi = {10.1109/ETFA45728.2021.9613704}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/XavierHPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/JhunjhunwalaBZA21, author = {Pranay Jhunjhunwala and Jan Olaf Blech and Alois Zoitl and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {A Design Pattern for Monitoring Adapter Connections in {IEC} 61499}, booktitle = {22nd {IEEE} International Conference on Industrial Technology, {ICIT} 2021, Valencia, Spain, March 10-12, 2021}, pages = {967--972}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICIT46573.2021.9453685}, doi = {10.1109/ICIT46573.2021.9453685}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icit2/JhunjhunwalaBZA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/KajolaBAV21, author = {Paavo Kajola and Jan Olaf Blech and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Dynamic Adapter Connections for {IEC} 61499}, booktitle = {22nd {IEEE} International Conference on Industrial Technology, {ICIT} 2021, Valencia, Spain, March 10-12, 2021}, pages = {1054--1059}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICIT46573.2021.9453625}, doi = {10.1109/ICIT46573.2021.9453625}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icit2/KajolaBAV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/LyuBV21, author = {Tuojian Lyu and Jan Olaf Blech and Valeriy Vyatkin}, title = {SMT-Based Deployment Calculation for {IEC} 61499 Control Applications}, booktitle = {4th {IEEE} International Conference on Industrial Cyber-Physical Systems, {ICPS} 2021, Victoria, BC, Canada, May 10-12, 2021}, pages = {172--178}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICPS49255.2021.9468194}, doi = {10.1109/ICPS49255.2021.9468194}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icphys/LyuBV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/LyuAV21, author = {Tuojian Lyu and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Towards cloud-based virtual commissioning of distributed automation applications with {IEC} 61499 and containerization technology}, booktitle = {{IECON} 2021 - 47th Annual Conference of the {IEEE} Industrial Electronics Society, Toronto, ON, Canada, October 13-16, 2021}, pages = {1--7}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/IECON48115.2021.9589945}, doi = {10.1109/IECON48115.2021.9589945}, timestamp = {Wed, 17 Nov 2021 15:21:52 +0100}, biburl = {https://dblp.org/rec/conf/iecon/LyuAV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/OvsiannikovaPV21, author = {Polina Ovsiannikova and Antti Pakonen and Valeriy Vyatkin}, title = {Change-based causes in counterexample explanation for model checking}, booktitle = {{IECON} 2021 - 47th Annual Conference of the {IEEE} Industrial Electronics Society, Toronto, ON, Canada, October 13-16, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/IECON48115.2021.9589122}, doi = {10.1109/IECON48115.2021.9589122}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/OvsiannikovaPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/BerezovskayaYV21, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Valeriy Vyatkin}, editor = {Luis M. Camarinha{-}Matos and Pedro Ferreira and Guilherme Brito}, title = {Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation}, booktitle = {Technological Innovation for Applied {AI} Systems - 12th {IFIP} {WG} 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {626}, pages = {189--196}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-78288-7\_18}, doi = {10.1007/978-3-030-78288-7\_18}, timestamp = {Wed, 28 Jul 2021 15:03:22 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-5/BerezovskayaYV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/AtmojoAVS21, author = {Udayanto Dwi Atmojo and Mohammad Azangoo and Valeriy Vyatkin and Ilkka Seilonen}, title = {From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic}, booktitle = {19th {IEEE} International Conference on Industrial Informatics, {INDIN} 2021, Palma de Mallorca, Spain, July 21-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/INDIN45523.2021.9557440}, doi = {10.1109/INDIN45523.2021.9557440}, timestamp = {Mon, 18 Oct 2021 17:08:58 +0200}, biburl = {https://dblp.org/rec/conf/indin/AtmojoAVS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ShatrovV21, author = {Viktor Shatrov and Valeriy Vyatkin}, title = {Promela Formal Modelling and Verification of {IEC} 61499 Systems with comparison to {SMV}}, booktitle = {19th {IEEE} International Conference on Industrial Informatics, {INDIN} 2021, Palma de Mallorca, Spain, July 21-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/INDIN45523.2021.9557513}, doi = {10.1109/INDIN45523.2021.9557513}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/ShatrovV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/XavierPV21, author = {Midhun Xavier and Sandeep Patil and Valeriy Vyatkin}, title = {Cyber-physical automation systems modelling with {IEC} 61499 for their formal verification}, booktitle = {19th {IEEE} International Conference on Industrial Informatics, {INDIN} 2021, Palma de Mallorca, Spain, July 21-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/INDIN45523.2021.9557416}, doi = {10.1109/INDIN45523.2021.9557416}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/XavierPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isgteurope/SubramanyaSYMPV21, author = {Rakshith Subramanya and Seppo A. Sierla and Matti Yli{-}Ojanper{\"{a}} and Henri Makkonen and Mahdi Pourakbari{-}Kasmaei and Valeriy Vyatkin}, title = {Interfacing Third Party Cloud Services to a Virtual Power Plant}, booktitle = {{IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT} Europe 2021, Espoo, Finland, October 18-21, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISGTEurope52324.2021.9640200}, doi = {10.1109/ISGTEUROPE52324.2021.9640200}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isgteurope/SubramanyaSYMPV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/AzangooTBV21, author = {Mohammad Azangoo and Amir Taherkordi and Jan Olaf Blech and Valeriy Vyatkin}, title = {Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments}, booktitle = {30th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2021, Kyoto, Japan, June 20-23, 2021}, pages = {1--7}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISIE45552.2021.9576361}, doi = {10.1109/ISIE45552.2021.9576361}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/AzangooTBV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/GeorgeOV21, author = {Anand George and Polina Ovsiannikova and Valeriy Vyatkin}, title = {Towards unambiguous {FBD:} {IEC} 61499 modelling, automatic generation and equivalence testing}, booktitle = {30th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2021, Kyoto, Japan, June 20-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISIE45552.2021.9576175}, doi = {10.1109/ISIE45552.2021.9576175}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/GeorgeOV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/JhunjhunwalaAV21, author = {Pranay Jhunjhunwala and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Applying Skill-based Engineering using {OPC-UA} in Production System with a Digital Twin}, booktitle = {30th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2021, Kyoto, Japan, June 20-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISIE45552.2021.9576342}, doi = {10.1109/ISIE45552.2021.9576342}, timestamp = {Tue, 09 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/JhunjhunwalaAV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/LyuBV21, author = {Tuojian Lyu and Jan Olaf Blech and Valeriy Vyatkin}, title = {A Case Study of Utilizing the {SMT} Solver for Deployment Optimization of an {IEC} 61499-based Application}, booktitle = {30th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2021, Kyoto, Japan, June 20-23, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISIE45552.2021.9576459}, doi = {10.1109/ISIE45552.2021.9576459}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/LyuBV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgridcomm/GalkinYNV21, author = {Nikolai Galkin and Chen{-}Wei Yang and Lars Nordstr{\"{o}}m and Valeriy Vyatkin}, title = {Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services}, booktitle = {{IEEE} International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany, October 25-28, 2021}, pages = {15--20}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SmartGridComm51999.2021.9631990}, doi = {10.1109/SMARTGRIDCOMM51999.2021.9631990}, timestamp = {Wed, 22 Dec 2021 16:11:45 +0100}, biburl = {https://dblp.org/rec/conf/smartgridcomm/GalkinYNV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-01856, author = {Awais Tanveer and Roopak Sinha and Stephen G. MacDonell and Paulo Leit{\~{a}}o and Valeriy Vyatkin}, title = {Designing Actively Secure, Highly Available Industrial Automation Applications}, journal = {CoRR}, volume = {abs/2101.01856}, year = {2021}, url = {https://arxiv.org/abs/2101.01856}, eprinttype = {arXiv}, eprint = {2101.01856}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-01856.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-12466, author = {Miia Rantala and Hannu Niemist{\"{o}} and Tommi Karhela and Seppo A. Sierla and Valeriy Vyatkin}, title = {Applying graph matching techniques to enhance reuse of plant design information}, journal = {CoRR}, volume = {abs/2103.12466}, year = {2021}, url = {https://arxiv.org/abs/2103.12466}, eprinttype = {arXiv}, eprint = {2103.12466}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-12466.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-01854, author = {Seppo A. Sierla and Mohammad Azangoo and Alexander Fay and Valeriy Vyatkin and Nikolaos Papakonstantinou}, title = {Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins}, journal = {CoRR}, volume = {abs/2104.01854}, year = {2021}, url = {https://arxiv.org/abs/2104.01854}, eprinttype = {arXiv}, eprint = {2104.01854}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-01854.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-01865, author = {Thimal Kempitiya and Seppo A. Sierla and Daswin De Silva and Matti Yli{-}Ojanper{\"{a}} and Damminda Alahakoon and Valeriy Vyatkin}, title = {An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets}, journal = {CoRR}, volume = {abs/2104.01865}, year = {2021}, url = {https://arxiv.org/abs/2104.01865}, eprinttype = {arXiv}, eprint = {2104.01865}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-01865.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-06509, author = {Seppo A. Sierla and Ville Kyrki and Pekka Aarnio and Valeriy Vyatkin}, title = {Automatic Assembly Planning based on Digital Product Descriptions}, journal = {CoRR}, volume = {abs/2104.06509}, year = {2021}, url = {https://arxiv.org/abs/2104.06509}, eprinttype = {arXiv}, eprint = {2104.06509}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-06509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-00595, author = {Dennis Jarvis and Jacqueline Jarvis and Chen{-}Wei Yang and Roopak Sinha and Valeriy Vyatkin}, title = {Janus: {A} Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems}, journal = {CoRR}, volume = {abs/2108.00595}, year = {2021}, url = {https://arxiv.org/abs/2108.00595}, eprinttype = {arXiv}, eprint = {2108.00595}, timestamp = {Thu, 05 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-00595.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-05556, author = {Roopak Sinha and Sandeep Patil and Lu{\'{\i}}s Gomes and Valeriy Vyatkin}, title = {A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems}, journal = {CoRR}, volume = {abs/2108.05556}, year = {2021}, url = {https://arxiv.org/abs/2108.05556}, eprinttype = {arXiv}, eprint = {2108.05556}, timestamp = {Fri, 28 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-05556.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-07400, author = {Roopak Sinha and Cheng Pang and Gerardo Santill{\'{a}}n Mart{\'{\i}}nez and Juha Kuronen and Valeriy Vyatkin}, title = {Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems}, journal = {CoRR}, volume = {abs/2108.07400}, year = {2021}, url = {https://arxiv.org/abs/2108.07400}, eprinttype = {arXiv}, eprint = {2108.07400}, timestamp = {Fri, 20 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-07400.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-01367, author = {Mohammad Azangoo and Amir Taherkordi and Jan Olaf Blech and Valeriy Vyatkin}, title = {Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments}, journal = {CoRR}, volume = {abs/2112.01367}, year = {2021}, url = {https://arxiv.org/abs/2112.01367}, eprinttype = {arXiv}, eprint = {2112.01367}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-01367.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-01903, author = {Mohammad Azangoo and Joonas Salmi and Iivo Yrj{\"{o}}l{\"{a}} and Jonathan Bensky and Gerardo Santillan Martinez and Nikolaos Papakonstantinou and Seppo A. Sierla and Valeriy Vyatkin}, title = {Hybrid Digital Twin for process industry using Apros simulation environment}, journal = {CoRR}, volume = {abs/2112.01903}, year = {2021}, url = {https://arxiv.org/abs/2112.01903}, eprinttype = {arXiv}, eprint = {2112.01903}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-01903.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/BerezovskayaYMV20, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Arash Mousavi and Valeriy Vyatkin and Tor Bj{\"{o}}rn Minde}, title = {Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency}, journal = {{IEEE} Access}, volume = {8}, pages = {46559--46573}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2978065}, doi = {10.1109/ACCESS.2020.2978065}, timestamp = {Wed, 15 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/BerezovskayaYMV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ChengVOZY20, author = {Haibo Cheng and Valeriy Vyatkin and Evgeny Osipov and Peng Zeng and Haibin Yu}, title = {{LSTM} Based {EFAST} Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data}, journal = {{IEEE} Access}, volume = {8}, pages = {67289--67299}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2985230}, doi = {10.1109/ACCESS.2020.2985230}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ChengVOZY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ChukharevSCV20, author = {Konstantin Chukharev and Dmitrii Suvorov and Daniil Chivilikhin and Valeriy Vyatkin}, title = {SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers}, journal = {{IEEE} Access}, volume = {8}, pages = {207485--207498}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.3037780}, doi = {10.1109/ACCESS.2020.3037780}, timestamp = {Thu, 31 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/ChukharevSCV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/ChengYZOLV20, author = {Haibo Cheng and Haibin Yu and Peng Zeng and Evgeny Osipov and Shichao Li and Valeriy Vyatkin}, title = {Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and {SVM}}, journal = {Sensors}, volume = {20}, number = {19}, pages = {5659}, year = {2020}, url = {https://doi.org/10.3390/s20195659}, doi = {10.3390/S20195659}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ChengYZOLV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/AtmojoSWV20, author = {Udayanto Dwi Atmojo and Zoran Salcic and Kevin I{-}Kai Wang and Valeriy Vyatkin}, title = {A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {16}, number = {1}, pages = {151--160}, year = {2020}, url = {https://doi.org/10.1109/TII.2019.2919153}, doi = {10.1109/TII.2019.2919153}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/AtmojoSWV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/YangDV20, author = {Chen{-}Wei Yang and Victor Dubinin and Valeriy Vyatkin}, title = {Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {16}, number = {1}, pages = {403--413}, year = {2020}, url = {https://doi.org/10.1109/TII.2019.2930772}, doi = {10.1109/TII.2019.2930772}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/YangDV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/VyatkinBS20, author = {Valeriy Vyatkin and Lucia Lo Bello and Thilo Sauter}, title = {Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {16}, number = {12}, pages = {7709--7713}, year = {2020}, url = {https://doi.org/10.1109/TII.2020.3007635}, doi = {10.1109/TII.2020.3007635}, timestamp = {Tue, 06 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/VyatkinBS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/ChivilikhinPCCV20, author = {Daniil Chivilikhin and Sandeep Patil and Konstantin Chukharev and Anthony Cordonnier and Valeriy Vyatkin}, title = {Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and {SAT} Solver}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {16}, number = {12}, pages = {7821--7831}, year = {2020}, url = {https://doi.org/10.1109/TII.2020.2992235}, doi = {10.1109/TII.2020.2992235}, timestamp = {Tue, 06 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/ChivilikhinPCCV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/DaiPVCG20, author = {Wenbin William Dai and Cheng Pang and Valeriy Vyatkin and James H. Christensen and Xinping Guan}, title = {Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {50}, number = {3}, pages = {851--862}, year = {2020}, url = {https://doi.org/10.1109/TSMC.2017.2736339}, doi = {10.1109/TSMC.2017.2736339}, timestamp = {Tue, 03 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsmc/DaiPVCG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csoc/ElkinV20, author = {Dmitry Elkin and Valeriy Vyatkin}, editor = {Radek Silhavy}, title = {IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation}, booktitle = {Applied Informatics and Cybernetics in Intelligent Systems - Proceedings of the 9th Computer Science On-line Conference 2020, Volume 3}, series = {Advances in Intelligent Systems and Computing}, volume = {1226}, pages = {536--551}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51974-2\_50}, doi = {10.1007/978-3-030-51974-2\_50}, timestamp = {Wed, 28 Apr 2021 12:29:23 +0200}, biburl = {https://dblp.org/rec/conf/csoc/ElkinV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BejaranoPBPHV20, author = {Ronal Bejarano and Roope P{\"{a}}{\"{a}}kk{\"{o}}nen and Jan Olaf Blech and Ian Peake and Peter Herrmann and Valeriy Vyatkin}, title = {Assessing Long Distance Communication Alternatives for the Remote Control of AGVs}, booktitle = {25th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11, 2020}, pages = {69--76}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ETFA46521.2020.9211954}, doi = {10.1109/ETFA46521.2020.9211954}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/BejaranoPBPHV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/SierlaAV20, author = {Seppo A. Sierla and Mohammad Azangoo and Valeriy Vyatkin}, title = {Generating an industrial process graph from 3D pipe routing information}, booktitle = {25th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11, 2020}, pages = {85--92}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ETFA46521.2020.9212175}, doi = {10.1109/ETFA46521.2020.9212175}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/SierlaAV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/AzangooBAVDELLP20, author = {Mohammad Azangoo and Jan Olaf Blech and Udayanto Dwi Atmojo and Valeriy Vyatkin and Kamal Dhakal and Mikael Eriksson and Miika Lehtim{\"{a}}ki and Jonathan Leinola and Pyry Pietarila}, title = {Towards a 3D Scanning/VR-based Product Inspection Station}, booktitle = {25th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11, 2020}, pages = {1263--1266}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ETFA46521.2020.9212184}, doi = {10.1109/ETFA46521.2020.9212184}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/AzangooBAVDELLP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/RomanatoDPDV20, author = {Marco Romanato and Dmitrii Drozdov and Sandeep Patil and Jerker Delsing and Valeriy Vyatkin}, title = {Arrowhead Datamanager integration with Eclipse 4DIAC environment}, booktitle = {25th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11, 2020}, pages = {1377--1380}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ETFA46521.2020.9212004}, doi = {10.1109/ETFA46521.2020.9212004}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/RomanatoDPDV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/JhunjhunwalaAV20, author = {Pranay Jhunjhunwala and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Towards Implementation of Interoperable Smart Sensor Services in {IEC} 61499 for Process Automation}, booktitle = {25th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11, 2020}, pages = {1409--1412}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ETFA46521.2020.9211925}, doi = {10.1109/ETFA46521.2020.9211925}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/JhunjhunwalaAV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/OvsiannikovaBPV20, author = {Polina Ovsiannikova and Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, editor = {Yi Li and Alan Wee{-}Chung Liew}, title = {Visual counterexample explanation for model checking with {OERITTE}}, booktitle = {25th International Conference on Engineering of Complex Computer Systems, {ICECCS} 2020, Singapore, October 28-31, 2020}, pages = {1--10}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICECCS51672.2020.00008}, doi = {10.1109/ICECCS51672.2020.00008}, timestamp = {Fri, 04 Feb 2022 07:45:01 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/OvsiannikovaBPV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/AtmojoBV20, author = {Udayanto Dwi Atmojo and Jan Olaf Blech and Valeriy Vyatkin}, title = {A Plug and Produce-inspired Approach in Distributed Control Architecture: {A} Flexible Assembly Line and Product Centric Control Example}, booktitle = {2020 {IEEE} International Conference on Industrial Technology, {ICIT} 2020, Buenos Aires, Argentina, February 26-28, 2020}, pages = {271--277}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICIT45562.2020.9067278}, doi = {10.1109/ICIT45562.2020.9067278}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icit2/AtmojoBV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/BerezovskayaYV20, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Towards Multi-Agent Control in Energy-Efficient Data Centres}, booktitle = {The 46th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2020, Singapore, October 18-21, 2020}, pages = {3574--3579}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IECON43393.2020.9255232}, doi = {10.1109/IECON43393.2020.9255232}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/BerezovskayaYV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/PangWDMKV20, author = {Cheng Pang and Di Wu and Wenbin William Dai and Anna Mikola and Tommi A. Karhela and Valeriy Vyatkin}, title = {Software-Defined Decentralized Domestic Wastewater Treatment: 1\({}^{\mbox{st}}\) Milestone}, booktitle = {The 46th Annual Conference of the {IEEE} Industrial Electronics Society, {IECON} 2020, Singapore, October 18-21, 2020}, pages = {3841--3846}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IECON43393.2020.9254581}, doi = {10.1109/IECON43393.2020.9254581}, timestamp = {Fri, 08 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/PangWDMKV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/ElkinV20, author = {Dmitry Elkin and Valeriy Vyatkin}, editor = {Luis M. Camarinha{-}Matos and Nastaran Farhadi and F{\'{a}}bio Lopes and Helena Pereira}, title = {Distributed Approach to Traffic Management Automation Implemented According to {IEC} 61499}, booktitle = {Technological Innovation for Life Improvement - 11th {IFIP} {WG} 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1-3, 2020, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {577}, pages = {159--167}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45124-0\_15}, doi = {10.1007/978-3-030-45124-0\_15}, timestamp = {Tue, 14 Mar 2023 15:35:31 +0100}, biburl = {https://dblp.org/rec/conf/ifip5-5/ElkinV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/ShatrovV20, author = {Viktor Shatrov and Valeriy Vyatkin}, editor = {Luis M. Camarinha{-}Matos and Nastaran Farhadi and F{\'{a}}bio Lopes and Helena Pereira}, title = {Formal Verification of {IEC} 61499 Enhanced with Timed Events}, booktitle = {Technological Innovation for Life Improvement - 11th {IFIP} {WG} 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1-3, 2020, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {577}, pages = {168--178}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45124-0\_16}, doi = {10.1007/978-3-030-45124-0\_16}, timestamp = {Mon, 04 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-5/ShatrovV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/SierlaAFVP20, author = {Seppo A. Sierla and Mohammad Azangoo and Alexander Fay and Valeriy Vyatkin and Nikolaos Papakonstantinou}, title = {Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins}, booktitle = {29th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2020, Delft, The Netherlands, June 17-19, 2020}, pages = {460--467}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ISIE45063.2020.9152371}, doi = {10.1109/ISIE45063.2020.9152371}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/SierlaAFVP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-15097, author = {Polina Ovsiannikova and Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, title = {Visual counterexample explanation for model checking with Oeritte}, journal = {CoRR}, volume = {abs/2012.15097}, year = {2020}, url = {https://arxiv.org/abs/2012.15097}, eprinttype = {arXiv}, eprint = {2012.15097}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-15097.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/DaiWSWZVY19, author = {Wenbin William Dai and Peng Wang and Weiqi Sun and Xian Wu and Hualiang Zhang and Valeriy Vyatkin and Genke Yang}, title = {Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices}, journal = {{IEEE} Access}, volume = {7}, pages = {125882--125892}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2938565}, doi = {10.1109/ACCESS.2019.2938565}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/DaiWSWZVY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cii/RantalaNKSV19, author = {Miia Rantala and Hannu Niemist{\"{o}} and Tommi Karhela and Seppo A. Sierla and Valeriy Vyatkin}, title = {Applying graph matching techniques to enhance reuse of plant design information}, journal = {Comput. Ind.}, volume = {107}, pages = {81--98}, year = {2019}, url = {https://doi.org/10.1016/j.compind.2019.01.005}, doi = {10.1016/J.COMPIND.2019.01.005}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cii/RantalaNKSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/MukhutdinovFSV19, author = {Dmitry Mukhutdinov and Andrey Filchenkov and Anatoly Shalyto and Valeriy Vyatkin}, title = {Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system}, journal = {Future Gener. Comput. Syst.}, volume = {94}, pages = {587--600}, year = {2019}, url = {https://doi.org/10.1016/j.future.2018.12.037}, doi = {10.1016/J.FUTURE.2018.12.037}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/MukhutdinovFSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jiii/Yli-OjanperaSPV19, author = {Matti Yli{-}Ojanper{\"{a}} and Seppo A. Sierla and Nikolaos Papakonstantinou and Valeriy Vyatkin}, title = {Adapting an agile manufacturing concept to the reference architecture model industry 4.0: {A} survey and case study}, journal = {J. Ind. Inf. Integr.}, volume = {15}, pages = {147--160}, year = {2019}, url = {https://doi.org/10.1016/j.jii.2018.12.002}, doi = {10.1016/J.JII.2018.12.002}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jiii/Yli-OjanperaSPV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/GuellouzBKFLV19, author = {Safa Guellouz and Adel Benzina and Mohamed Khalgui and Georg Frey and Zhiwu Li and Valeriy Vyatkin}, title = {Designing Efficient Reconfigurable Control Systems Using {IEC61499} and Symbolic Model Checking}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {16}, number = {3}, pages = {1110--1124}, year = {2019}, url = {https://doi.org/10.1109/TASE.2018.2868897}, doi = {10.1109/TASE.2018.2868897}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/GuellouzBKFLV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/SinhaDZV19, author = {Roopak Sinha and Barry Dowdeswell and Gulnara Zhabelova and Valeriy Vyatkin}, title = {{TORUS:} Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {3}, number = {2}, pages = {15:1--15:25}, year = {2019}, url = {https://doi.org/10.1145/3203208}, doi = {10.1145/3203208}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcps/SinhaDZV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/GiovanelliKSSV19, author = {Christian Giovanelli and Olli Kilkki and Seppo A. Sierla and Ilkka Seilonen and Valeriy Vyatkin}, title = {Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {15}, number = {2}, pages = {677--688}, year = {2019}, url = {https://doi.org/10.1109/TII.2018.2821676}, doi = {10.1109/TII.2018.2821676}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tii/GiovanelliKSSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/SilvaPOV19, author = {Daswin De Silva and Zhibo Pang and Evgeny Osipov and Valeriy Vyatkin}, title = {Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {15}, number = {6}, pages = {3690--3692}, year = {2019}, url = {https://doi.org/10.1109/TII.2019.2913769}, doi = {10.1109/TII.2019.2913769}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/SilvaPOV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/SinhaPGV19, author = {Roopak Sinha and Sandeep Patil and Lu{\'{\i}}s Gomes and Valeriy Vyatkin}, title = {A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {15}, number = {7}, pages = {3772--3783}, year = {2019}, url = {https://doi.org/10.1109/TII.2019.2908665}, doi = {10.1109/TII.2019.2908665}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/SinhaPGV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DamianoRVM19, author = {Alfonso Damiano and Craig Rieger and Valeriy Vyatkin and Milos Manic}, title = {Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {15}, number = {7}, pages = {4315--4318}, year = {2019}, url = {https://doi.org/10.1109/TII.2019.2918383}, doi = {10.1109/TII.2019.2918383}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tii/DamianoRVM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/ChivilikhinUSV19, author = {Daniil Chivilikhin and Vladimir Ulyantsev and Anatoly Shalyto and Valeriy Vyatkin}, title = {Function Block Finite-State Model Identification Using {SAT} and {CSP} Solvers}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {15}, number = {8}, pages = {4558--4568}, year = {2019}, url = {https://doi.org/10.1109/TII.2019.2891614}, doi = {10.1109/TII.2019.2891614}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tii/ChivilikhinUSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/KleykoOSWVA19, author = {Denis Kleyko and Evgeny Osipov and Daswin De Silva and Urban Wiklund and Valeriy Vyatkin and Damminda Alahakoon}, editor = {Nikolaj S. Bj{\o}rner and Irina B. Virbitskaite and Andrei Voronkov}, title = {Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing}, booktitle = {Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, {PSI} 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11964}, pages = {64--79}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-37487-7\_6}, doi = {10.1007/978-3-030-37487-7\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/KleykoOSWVA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/AtmojoV19, author = {Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, pages = {41--48}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ETFA.2019.8869303}, doi = {10.1109/ETFA.2019.8869303}, timestamp = {Thu, 24 Oct 2019 15:50:20 +0200}, biburl = {https://dblp.org/rec/conf/etfa/AtmojoV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/Papakonstantinou19, author = {Nikolaos Papakonstantinou and Juha Karttunen and Seppo A. Sierla and Valeriy Vyatkin}, title = {Design to automation continuum for industrial processes: {ISO} 15926 - {IEC} 61131 versus an industrial case}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, pages = {1207--1212}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ETFA.2019.8869325}, doi = {10.1109/ETFA.2019.8869325}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/Papakonstantinou19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/MironovichBV19, author = {Vladimir Mironovich and Maxim Buzdalov and Valeriy Vyatkin}, title = {Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, pages = {1265--1268}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ETFA.2019.8869114}, doi = {10.1109/ETFA.2019.8869114}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/MironovichBV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DrozdovPDV19, author = {Dmitrii Drozdov and Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, title = {Towards formal {ASM} semantics of timed control systems for industrial {CPS}}, booktitle = {24th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13, 2019}, pages = {1682--1685}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ETFA.2019.8869293}, doi = {10.1109/ETFA.2019.8869293}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DrozdovPDV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icii/AtmojoBSV19, author = {Udayanto Dwi Atmojo and Jan Olaf Blech and Seppo A. Sierla and Valeriy Vyatkin}, title = {Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory}, booktitle = {{IEEE} International Conference on Industrial Internet, {ICII} 2019, Orlando, FL, USA, November 11-12, 2019}, pages = {305--306}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICII.2019.00060}, doi = {10.1109/ICII.2019.00060}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icii/AtmojoBSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icii/AtmojoBVRVRLK19, author = {Udayanto Dwi Atmojo and Jan Olaf Blech and Valeriy Vyatkin and Markus Roni and Vuong Vo and Roman Rumiantcev and Konsta Leino and Mika Kuusisto}, title = {On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: {A} Case Study}, booktitle = {{IEEE} International Conference on Industrial Internet, {ICII} 2019, Orlando, FL, USA, November 11-12, 2019}, pages = {307--308}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICII.2019.00061}, doi = {10.1109/ICII.2019.00061}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icii/AtmojoBVRVRLK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/JarvisJYSV19, author = {Dennis Jarvis and Jacqueline Jarvis and Chen{-}Wei Yang and Roopak Sinha and Valeriy Vyatkin}, title = {Janus: {A} Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {87--92}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972051}, doi = {10.1109/INDIN41052.2019.8972051}, timestamp = {Tue, 04 Feb 2020 11:25:12 +0100}, biburl = {https://dblp.org/rec/conf/indin/JarvisJYSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/AtmojoV19, author = {Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {Towards an {OPC} {UA} Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {140--146}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972084}, doi = {10.1109/INDIN41052.2019.8972084}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/AtmojoV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ChivilikhinPCV19, author = {Daniil Chivilikhin and Sandeep Patil and Anthony Cordonnier and Valeriy Vyatkin}, title = {Towards automatic state machine reconstruction from legacy {PLC} using data collection}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {147--151}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972143}, doi = {10.1109/INDIN41052.2019.8972143}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/ChivilikhinPCV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/KuliaevASBV19, author = {Vladimir Kuliaev and Udayanto Dwi Atmojo and Seppo A. Sierla and Jan Olaf Blech and Valeriy Vyatkin}, title = {Towards Product Centric Manufacturing: From Digital Twins to Product Assembly}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {164--171}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972137}, doi = {10.1109/INDIN41052.2019.8972137}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/KuliaevASBV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ChengH0YOV19, author = {Haibo Cheng and Xiaoning Han and Peng Zeng and Haibin Yu and Evgeny Osipov and Valeriy Vyatkin}, title = {{ANN} based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {199--205}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972285}, doi = {10.1109/INDIN41052.2019.8972285}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/ChengH0YOV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/TanveerSMLV19, author = {Awais Tanveer and Roopak Sinha and Stephen G. MacDonell and Paulo Leit{\~{a}}o and Valeriy Vyatkin}, title = {Designing Actively Secure, Highly Available Industrial Automation Applications}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {374--379}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972262}, doi = {10.1109/INDIN41052.2019.8972262}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/TanveerSMLV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DubininVSV19, author = {Victor Dubinin and Artem Voinov and Ilya Senokosov and Valeriy Vyatkin}, title = {Implementation of state transition models in {IEC} 61499 and its use for recognition and selection of sequences of events and objects}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {466--469}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972052}, doi = {10.1109/INDIN41052.2019.8972052}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/DubininVSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BarniBCLPPSV19, author = {Andrea Barni and Alessandro Brusaferri and Franco Antonio Cavadini and Giuseppe Landolfi and Sandeep Patil and Dario Piga and Stefano Spinelli and Valeriy Vyatkin}, title = {Fostering the creation of a Digital Ecosystem by a distributed {IEC-61499} based automation platform}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {635--640}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972293}, doi = {10.1109/INDIN41052.2019.8972293}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/BarniBCLPPSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SeilonenVA19, author = {Ilkka Seilonen and Valeriy Vyatkin and Udayanto Dwi Atmojo}, title = {{OPC} {UA} Information Model and a Wrapper for {IEC} 61499 Runtimes}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {1008--1013}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8971964}, doi = {10.1109/INDIN41052.2019.8971964}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/SeilonenVA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BerezovskayaYMZ19, author = {Yulia Berezovskaya and Chen{-}Wei Yang and Arash Mousavi and Xiaojing Zhang and Valeriy Vyatkin}, title = {A hybrid fault detection and diagnosis method in server rooms' cooling systems}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {1405--1410}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8971959}, doi = {10.1109/INDIN41052.2019.8971959}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/BerezovskayaYMZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/VeselovSV19, author = {Gennady E. Veselov and Andrey A. Sklyarov and Valeriy Vyatkin}, title = {Non-linear control of a group of tracked robots}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {1679--1684}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972119}, doi = {10.1109/INDIN41052.2019.8972119}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/VeselovSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/HopsuAV19, author = {Alexander Hopsu and Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {On Portability of {IEC} 61499 Compliant Structures and Systems}, booktitle = {28th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2019, Vancouver, BC, Canada, June 12-14, 2019}, pages = {1306--1311}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ISIE.2019.8781290}, doi = {10.1109/ISIE.2019.8781290}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/isie/HopsuAV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sohoma/DrozdovAPPATOCV19, author = {Dmitrii Drozdov and Udayanto Dwi Atmojo and Cheng Pang and Sandeep Patil and Muhammad Irfan Ali and Antti Tenhunen and Taavi Oksanen and Kiril Cheremetiev and Valeriy Vyatkin}, editor = {Theodor Borangiu and Damien Trentesaux and Paulo Leit{\~{a}}o and Adriana Giret Boggino and Vicente J. Botti}, title = {Utilizing Software Design Patterns in Product-Driven Manufacturing System: {A} Case Study}, booktitle = {Proceedings of the 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, {SOHOMA} 2019, Valencia, Spain, October 3-4, 2019}, series = {Studies in Computational Intelligence}, volume = {853}, pages = {301--312}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-27477-1\_23}, doi = {10.1007/978-3-030-27477-1\_23}, timestamp = {Fri, 09 Apr 2021 18:51:46 +0200}, biburl = {https://dblp.org/rec/conf/sohoma/DrozdovAPPATOCV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-11895, author = {Igor Buzhinsky and Valeriy Vyatkin}, title = {Combining closed-loop test generation and execution by means of model checking}, journal = {CoRR}, volume = {abs/1907.11895}, year = {2019}, url = {http://arxiv.org/abs/1907.11895}, eprinttype = {arXiv}, eprint = {1907.11895}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-11895.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/MartinezKRSV18, author = {Gerardo Santill{\'{a}}n Mart{\'{\i}}nez and Tommi Karhela and Reino Ruusu and Seppo A. Sierla and Valeriy Vyatkin}, title = {An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture}, journal = {{IEEE} Access}, volume = {6}, pages = {15391--15407}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2811845}, doi = {10.1109/ACCESS.2018.2811845}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/MartinezKRSV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/KleykoOPV18, author = {Denis Kleyko and Evgeny Osipov and Nikolaos Papakonstantinou and Valeriy Vyatkin}, title = {Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant}, journal = {{IEEE} Access}, volume = {6}, pages = {30766--30777}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2840128}, doi = {10.1109/ACCESS.2018.2840128}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/KleykoOPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/MartinezSKLV18, author = {Gerardo Santillan Martinez and Seppo A. Sierla and Tommi Karhela and Jari Lappalainen and Valeriy Vyatkin}, title = {Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model}, journal = {{IEEE} Access}, volume = {6}, pages = {45217--45232}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2865206}, doi = {10.1109/ACCESS.2018.2865206}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/MartinezSKLV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ZhabelovaVEBVF18, author = {Gulnara Zhabelova and Mattias Vesterlund and Sascha Eschmann and Yulia Berezovskaya and Valeriy Vyatkin and Damien Flieller}, title = {A Comprehensive Model of Data Center: From {CPU} to Cooling Tower}, journal = {{IEEE} Access}, volume = {6}, pages = {61254--61266}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2875623}, doi = {10.1109/ACCESS.2018.2875623}, timestamp = {Sat, 01 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/ZhabelovaVEBVF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cii/SierlaKAV18, author = {Seppo A. Sierla and Ville Kyrki and Pekka Aarnio and Valeriy Vyatkin}, title = {Automatic assembly planning based on digital product descriptions}, journal = {Comput. Ind.}, volume = {97}, pages = {34--46}, year = {2018}, url = {https://doi.org/10.1016/j.compind.2018.01.013}, doi = {10.1016/J.COMPIND.2018.01.013}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cii/SierlaKAV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soca/SorouriV18, author = {Majid Sorouri and Valeriy Vyatkin}, title = {Intelligent product and mechatronic software components enabling mass customisation in advanced production systems}, journal = {Serv. Oriented Comput. Appl.}, volume = {12}, number = {1}, pages = {73--86}, year = {2018}, url = {https://doi.org/10.1007/s11761-018-0230-8}, doi = {10.1007/S11761-018-0230-8}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soca/SorouriV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DaiRWVG18, author = {Wenbin William Dai and Laurynas Riliskis and Peng Wang and Valeriy Vyatkin and Xinping Guan}, title = {A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {14}, number = {3}, pages = {989--1000}, year = {2018}, url = {https://doi.org/10.1109/TII.2018.2791503}, doi = {10.1109/TII.2018.2791503}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DaiRWVG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/PrahoferVZ18, author = {Herbert Pr{\"{a}}hofer and Valeriy Vyatkin and Alois Zoitl}, title = {Guest Editorial Information Technology in Automation}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {14}, number = {6}, pages = {2745--2747}, year = {2018}, url = {https://doi.org/10.1109/TII.2018.2834862}, doi = {10.1109/TII.2018.2834862}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/PrahoferVZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/ChivilikhinBUSS18, author = {Daniil Chivilikhin and Igor Buzhinsky and Vladimir I. Ulyantsev and Andrey Stankevich and Anatoly Shalyto and Valeriy Vyatkin}, title = {Counterexample-guided inference of controller logic from execution traces and temporal formulas}, booktitle = {23rd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018}, pages = {91--98}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ETFA.2018.8502463}, doi = {10.1109/ETFA.2018.8502463}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/ChivilikhinBUSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/AtmojoVS18, author = {Udayanto Dwi Atmojo and Valeriy Vyatkin and Zoran Salcic}, title = {On Achieving Reliable Communication in {IEC} 61499}, booktitle = {23rd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018}, pages = {147--154}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ETFA.2018.8502487}, doi = {10.1109/ETFA.2018.8502487}, timestamp = {Mon, 29 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/AtmojoVS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/JarvisJKZV18, author = {Dennis Jarvis and Jacqueline Jarvis and Andrei Kalachev and Gulnara Zhabelova and Valeriy Vyatkin}, title = {{PROSA/G:} An architecture for agent-based manufacturing execution}, booktitle = {23rd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018}, pages = {155--160}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ETFA.2018.8502598}, doi = {10.1109/ETFA.2018.8502598}, timestamp = {Mon, 29 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/JarvisJKZV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/MironovichBV18, author = {Vladimir Mironovich and Maxim Buzdalov and Valeriy Vyatkin}, title = {Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms}, booktitle = {23rd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018}, pages = {1043--1046}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ETFA.2018.8502546}, doi = {10.1109/ETFA.2018.8502546}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/MironovichBV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/MironovichBV18, author = {Vladimir Mironovich and Maxim Buzdalov and Valeriy Vyatkin}, editor = {Hern{\'{a}}n E. Aguirre and Keiki Takadama}, title = {From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion, {GECCO} 2018, Kyoto, Japan, July 15-19, 2018}, pages = {1902--1905}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3205651.3208230}, doi = {10.1145/3205651.3208230}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gecco/MironovichBV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/AtmojoGVMHMKP18, author = {Udayanto Dwi Atmojo and Kashif Gulzar and Valeriy Vyatkin and Rongwei Ma and Alexander Hopsu and Henri Makkonen and Atte Korhonen and Long Tran Phu}, title = {Distributed control architecture for dynamic reconfiguration: Flexible assembly line case study}, booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg, Russia, May 15-18, 2018}, pages = {690--695}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICPHYS.2018.8390791}, doi = {10.1109/ICPHYS.2018.8390791}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/icphys/AtmojoGVMHMKP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/PatilDZV18, author = {Sandeep Patil and Dmitrii Drozdov and Gulnara Zhabelova and Valeriy Vyatkin}, title = {Refactoring of {IEC} 61499 function block application - {A} case study}, booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg, Russia, May 15-18, 2018}, pages = {726--733}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICPHYS.2018.8390797}, doi = {10.1109/ICPHYS.2018.8390797}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icphys/PatilDZV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/MartinezSKV18, author = {Gerardo Santillan Martinez and Seppo A. Sierla and Tommi Karhela and Valeriy Vyatkin}, title = {Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {3084--3089}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591464}, doi = {10.1109/IECON.2018.8591464}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/MartinezSKV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/KalachevZVJP18, author = {Andrei Kalachev and Gulnara Zhabelova and Valeriy Vyatkin and Dennis Jarvis and Cheng Pang}, title = {Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {3126--3133}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591390}, doi = {10.1109/IECON.2018.8591390}, timestamp = {Mon, 14 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/KalachevZVJP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DavidescuFMV18, author = {George Davidescu and Andrey Filchenkov and Amir Muratov and Valeriy Vyatkin}, title = {A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {3529--3534}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591438}, doi = {10.1109/IECON.2018.8591438}, timestamp = {Mon, 14 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/DavidescuFMV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DrozdovPYZV18, author = {Dmitrii Drozdov and Sandeep Patil and Chen{-}Wei Yang and Gulnara Zhabelova and Valeriy Vyatkin}, title = {Formal Verification of Protection Functions for Power Distribution Networks}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {3550--3555}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8592802}, doi = {10.1109/IECON.2018.8592802}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/DrozdovPYZV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangV18, author = {Chen{-}Wei Yang and Valeriy Vyatkin}, title = {On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {3576--3581}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591453}, doi = {10.1109/IECON.2018.8591453}, timestamp = {Mon, 14 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/YangV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ChenDZPV18, author = {Yingxin Chen and Wenbin William Dai and Zhijie Zhang and Cheng Pang and Valeriy Vyatkin}, title = {A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {4687--4692}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591171}, doi = {10.1109/IECON.2018.8591171}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/ChenDZPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/BerezovskayaMVZ18, author = {Yulia Berezovskaya and Arash Mousavi and Valeriy Vyatkin and Xiaojing Zhang}, title = {Smart Distribution of {IT} Load in Energy Efficient Data Centers with Focus on Cooling Systems}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {4907--4912}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591122}, doi = {10.1109/IECON.2018.8591122}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/BerezovskayaMVZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ZhabelovaVEVF18, author = {Gulnara Zhabelova and Mattias Vesterlund and Sascha Eschmann and Valeriy Vyatkin and Damien Flieller}, title = {Towards an Open Model for Data Center Research: From {CPU} to Cooling Tower}, booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018}, pages = {4913--4919}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IECON.2018.8591609}, doi = {10.1109/IECON.2018.8591609}, timestamp = {Mon, 14 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/ZhabelovaVEVF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/AtmojoV18, author = {Udayanto Dwi Atmojo and Valeriy Vyatkin}, title = {A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {713--718}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8471945}, doi = {10.1109/INDIN.2018.8471945}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/indin/AtmojoV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/OvsiannikovaCUS18, author = {Polina Ovsiannikova and Daniil Chivilikhin and Vladimir Ulyantsev and Andrey Stankevich and Ilya Zakirzyanov and Valeriy Vyatkin and Anatoly Shalyto}, title = {Active Learning of Formal Plant Models For Cyber-Physical Systems}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {719--724}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8471924}, doi = {10.1109/INDIN.2018.8471924}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/OvsiannikovaCUS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/PatilDV18, author = {Sandeep Patil and Dmitrii Drozdov and Valeriy Vyatkin}, title = {Adapting Software Design Patterns To Develop Reusable {IEC} 61499 Function Block Applications}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {725--732}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8472071}, doi = {10.1109/INDIN.2018.8472071}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/PatilDV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/GulzarRSAKV18, author = {Kashif Gulzar and Reino Ruusu and Seppo A. Sierla and Pekka Aarnio and Tommi Karhela and Valeriy Vyatkin}, title = {Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {741--746}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8471980}, doi = {10.1109/INDIN.2018.8471980}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/GulzarRSAKV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/PakonenBV18, author = {Antti Pakonen and Igor Buzhinsky and Valeriy Vyatkin}, title = {Counterexample visualization and explanation for function block diagrams}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {747--753}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8472025}, doi = {10.1109/INDIN.2018.8472025}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/PakonenBV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DubininVSV18, author = {Victor Dubinin and Artem Voinov and Ilya Senokosov and Valeriy Vyatkin}, title = {Implementation of distributed semaphores in {IEC} 61499 with consensus protocols}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {766--771}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8472078}, doi = {10.1109/INDIN.2018.8472078}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/DubininVSV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiSZWPV18, author = {Wenbin William Dai and Yineng Song and Zhijie Zhang and Peng Wang and Cheng Pang and Valeriy Vyatkin}, title = {Modelling Industrial Cyber-Physical Systems using {IEC} 61499 and {OPC} {UA}}, booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN} 2018, Porto, Portugal, July 18-20, 2018}, pages = {772--777}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/INDIN.2018.8472099}, doi = {10.1109/INDIN.2018.8472099}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/DaiSZWPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/BuzhinskyPV18, author = {Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, title = {Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes}, booktitle = {27th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2018, Cairns, Australia, June 13-15, 2018}, pages = {669--674}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ISIE.2018.8433793}, doi = {10.1109/ISIE.2018.8433793}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/BuzhinskyPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/SierlaKV17, author = {Seppo A. Sierla and Tommi Karhela and Valeriy Vyatkin}, title = {Automatic Generation of Pipelines Into a 3D Industrial Process Model}, journal = {{IEEE} Access}, volume = {5}, pages = {26591--26603}, year = {2017}, url = {https://doi.org/10.1109/ACCESS.2017.2774835}, doi = {10.1109/ACCESS.2017.2774835}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/SierlaKV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/KunzMPV17, author = {Guilherme Kunz and Jos{\'{e}} Machado and Eduardo Andr{\'{e}} Perondi and Valeriy Vyatkin}, title = {A Formal Methodology for Accomplishing {IEC} 61850 Real-Time Communication Requirements}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {64}, number = {8}, pages = {6582--6590}, year = {2017}, url = {https://doi.org/10.1109/TIE.2017.2682042}, doi = {10.1109/TIE.2017.2682042}, timestamp = {Sat, 09 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/KunzMPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/YangDV17, author = {Chen{-}Wei Yang and Victor Dubinin and Valeriy Vyatkin}, title = {Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {2}, pages = {668--679}, year = {2017}, url = {https://doi.org/10.1109/TII.2016.2634095}, doi = {10.1109/TII.2016.2634095}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/YangDV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DaiDCVG17, author = {Wenbin William Dai and Victor N. Dubinin and James H. Christensen and Valeriy Vyatkin and Xinping Guan}, title = {Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {2}, pages = {725--736}, year = {2017}, url = {https://doi.org/10.1109/TII.2016.2595401}, doi = {10.1109/TII.2016.2595401}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DaiDCVG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DaiVCD17, author = {Wenbin William Dai and Valeriy Vyatkin and James H. Christensen and Victor N. Dubinin}, title = {Response to "Comments on Bridging Service-Oriented Architecture and {IEC} 61499 for Flexibility and Interoperability"}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {4}, pages = {1497--1502}, year = {2017}, url = {https://doi.org/10.1109/TII.2017.2706066}, doi = {10.1109/TII.2017.2706066}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DaiVCD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/BuzhinskyV17, author = {Igor Buzhinsky and Valeriy Vyatkin}, title = {Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {4}, pages = {1521--1530}, year = {2017}, url = {https://doi.org/10.1109/TII.2017.2670146}, doi = {10.1109/TII.2017.2670146}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/BuzhinskyV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/ChivilikhinSPV17, author = {Daniil Chivilikhin and Anatoly Shalyto and Sandeep Patil and Valeriy Vyatkin}, title = {Reconstruction of Function Block Logic Using Metaheuristic Algorithm}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {4}, pages = {1763--1771}, year = {2017}, url = {https://doi.org/10.1109/TII.2017.2710224}, doi = {10.1109/TII.2017.2710224}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tii/ChivilikhinSPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/LiZPVL17, author = {Di Li and Zhenkun Zhai and Zhibo Pang and Valeriy Vyatkin and Chengliang Liu}, title = {Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {13}, number = {6}, pages = {3389--3398}, year = {2017}, url = {https://doi.org/10.1109/TII.2017.2698606}, doi = {10.1109/TII.2017.2698606}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/LiZPVL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BuzhinskyV17, author = {Igor Buzhinsky and Valeriy Vyatkin}, title = {Modular plant model synthesis from behavior traces and temporal properties}, booktitle = {22nd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15, 2017}, pages = {1--7}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ETFA.2017.8247578}, doi = {10.1109/ETFA.2017.8247578}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/BuzhinskyV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BuzhinskyV17a, author = {Igor Buzhinsky and Valeriy Vyatkin}, title = {Testing automation systems by means of model checking}, booktitle = {22nd {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15, 2017}, pages = {1--7}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ETFA.2017.8247579}, doi = {10.1109/ETFA.2017.8247579}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/BuzhinskyV17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/DubininSV17, author = {Victor Dubinin and Ilya Senokosov and Valeriy Vyatkin}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Wolfgang Wahlster and Thomas I. Strasser and Petr Kadera}, title = {Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification}, booktitle = {Industrial Applications of Holonic and Multi-Agent Systems - 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10444}, pages = {80--91}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-64635-0\_7}, doi = {10.1007/978-3-319-64635-0\_7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/holomas/DubininSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/MetsalaGVGVSN17, author = {Samuli Mets{\"{a}}l{\"{a}} and Kashif Gulzar and Valeriy Vyatkin and Laura Gr{\"{o}}hn and Eero V{\"{a}}{\"{a}}n{\"{a}}nen and Lauri Saikko and Magnus Nyholm}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Wolfgang Wahlster and Thomas I. Strasser and Petr Kadera}, title = {Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using {OPC-UA} and {IEC} 61499}, booktitle = {Industrial Applications of Holonic and Multi-Agent Systems - 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10444}, pages = {125--139}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-64635-0\_10}, doi = {10.1007/978-3-319-64635-0\_10}, timestamp = {Tue, 15 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/holomas/MetsalaGVGVSN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/AbrishambafBV17, author = {Reza Abrishambaf and Mert Bal and Valeriy Vyatkin}, title = {Distributed home automation system based on {IEC61499} function blocks and wireless sensor networks}, booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2017, Toronto, ON, Canada, March 22-25, 2017}, pages = {1354--1359}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ICIT.2017.7915561}, doi = {10.1109/ICIT.2017.7915561}, timestamp = {Wed, 16 Oct 2019 14:14:48 +0200}, biburl = {https://dblp.org/rec/conf/icit2/AbrishambafBV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/VaananenV17, author = {Eero V{\"{a}}{\"{a}}n{\"{a}}nen and Valeriy Vyatkin}, title = {Estimation, measurement and improvement of distributed automation applications performance}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5426--5431}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216940}, doi = {10.1109/IECON.2017.8216940}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iecon/VaananenV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/BuzhinskyPV17, author = {Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, title = {Explicit-state and symbolic model checking of nuclear I{\&}C systems: {A} comparison}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5439--5446}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216942}, doi = {10.1109/IECON.2017.8216942}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/BuzhinskyPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DavidescuV17, author = {George Davidescu and Valeriy Vyatkin}, title = {Network planning and self-repair in models of urban distribution networks via Hill Climbing}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5477--5482}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216948}, doi = {10.1109/IECON.2017.8216948}, timestamp = {Sat, 19 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/DavidescuV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/BuzhinskyPV17a, author = {Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, title = {Scalable methods of discrete plant model generation for closed-loop model checking}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5483--5488}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216949}, doi = {10.1109/IECON.2017.8216949}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/BuzhinskyPV17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangVP17, author = {Chen{-}Wei Yang and Valeriy Vyatkin and Cheng Pang}, title = {Service-oriented extension of {IEC} 61850 for model-driven smart grid automation design}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5489--5496}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216950}, doi = {10.1109/IECON.2017.8216950}, timestamp = {Sat, 19 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/YangVP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/PangDMLCLV17, author = {Cheng Pang and Wenbin William Dai and Qingdi Miao and Jinxian Liang and Guoqing Cai and Shu Lu and Valeriy Vyatkin}, title = {Software-defined automation and control a preliminary study}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5497--5502}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216951}, doi = {10.1109/IECON.2017.8216951}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/PangDMLCLV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/MartinezKRLV17, author = {Gerardo Santillan Martinez and Tommi Karhela and Reino Ruusu and Tuomas Lackman and Valeriy Vyatkin}, title = {Towards a systematic path for dynamic simulation to plant operation: {OPC} UA-enabled model adaptation method for tracking simulation}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5503--5508}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216952}, doi = {10.1109/IECON.2017.8216952}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/MartinezKRLV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DrozdovPDV17, author = {Dmitrii Drozdov and Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, title = {Towards formal verification for cyber-physically agnostic software: {A} case study}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {5509--5514}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8216953}, doi = {10.1109/IECON.2017.8216953}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/DrozdovPDV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/HuangDWV17, author = {Wanqi Huang and Wenbin William Dai and Peng Wang and Valeriy Vyatkin}, title = {Real-time data acquisition support for {IEC} 61499 based industrial cyber-physical systems}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {6689--6694}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8217168}, doi = {10.1109/IECON.2017.8217168}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/HuangDWV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/RuusuMKV17, author = {Reino Ruusu and Gerardo Santillan Martinez and Tommi Karhela and Valeriy Vyatkin}, title = {Sliding mode {SISO} control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {6927--6932}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8217211}, doi = {10.1109/IECON.2017.8217211}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/RuusuMKV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/MousaviYVZ17, author = {Arash Mousavi and Alireza Yavarian and Valeriy Vyatkin and Xiaojing Zhang}, title = {Power quality assessment of energy efficient cooling systems in data centers}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {7191--7196}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8217258}, doi = {10.1109/IECON.2017.8217258}, timestamp = {Sat, 19 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/MousaviYVZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/GiovanelliLSVI17, author = {Christian Giovanelli and Xin Liu and Seppo A. Sierla and Valeriy Vyatkin and Ryutaro Ichise}, title = {Towards an aggregator that exploits big data to bid on frequency containment reserve market}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {7514--7519}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8217316}, doi = {10.1109/IECON.2017.8217316}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/GiovanelliLSVI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/MousaviBVZ17, author = {Arash Mousavi and Yulia Berezovskaya and Valeriy Vyatkin and Xiaojing Zhang}, title = {Energy efficient decision making in data centers with multiple cooling methods}, booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017}, pages = {8785--8790}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IECON.2017.8217544}, doi = {10.1109/IECON.2017.8217544}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/MousaviBVZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SavolainenSKMV17, author = {Roope Savolainen and Seppo A. Sierla and Tommi Karhela and Tuomas Miettinen and Valeriy Vyatkin}, title = {A framework for runtime verification of industrial process control systems}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {687--694}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104856}, doi = {10.1109/INDIN.2017.8104856}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/SavolainenSKMV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/MironovichBV17, author = {Vladimir Mironovich and Maxim Buzdalov and Valeriy Vyatkin}, title = {Automatic generation of function block applications using evolutionary algorithms: Initial explorations}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {700--705}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104858}, doi = {10.1109/INDIN.2017.8104858}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/MironovichBV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/VoinovYV17, author = {Artem Voinov and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Automatic generation of function block systems implementing {HMI} for energy distribution automation}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {706--713}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104859}, doi = {10.1109/INDIN.2017.8104859}, timestamp = {Fri, 17 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/VoinovYV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ChivilikhinUSV17, author = {Daniil Chivilikhin and Vladimir Ulyantsev and Anatoly Shalyto and Valeriy Vyatkin}, title = {CSP-based inference of function block finite-state models from execution traces}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {714--719}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104860}, doi = {10.1109/INDIN.2017.8104860}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/ChivilikhinUSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/YangV17, author = {Chen{-}Wei Yang and Valeriy Vyatkin}, title = {On requirements-driven design of distributed smart grid automation control}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {738--745}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104864}, doi = {10.1109/INDIN.2017.8104864}, timestamp = {Fri, 17 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/YangV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiZWVC17, author = {Wenbin William Dai and Zhijie Zhang and Peng Wang and Valeriy Vyatkin and James H. Christensen}, title = {Service-oriented data acquisition and management for industrial cyber-physical systems}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {759--764}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104867}, doi = {10.1109/INDIN.2017.8104867}, timestamp = {Fri, 17 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/DaiZWVC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/GiovanelliKSSV17, author = {Christian Giovanelli and Olli Kilkki and Seppo A. Sierla and Ilkka Seilonen and Valeriy Vyatkin}, title = {Towards a task allocation algorithm for frequency containment reserves}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {765--768}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104868}, doi = {10.1109/INDIN.2017.8104868}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/GiovanelliKSSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/NefedovSV17, author = {Evgeny Nefedov and Seppo A. Sierla and Valeriy Vyatkin}, title = {Towards electric vehicles integration to distributed energy resources of prosumer}, booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN} 2017, Emden, Germany, July 24-26, 2017}, pages = {769--772}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/INDIN.2017.8104869}, doi = {10.1109/INDIN.2017.8104869}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/NefedovSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/DavidescuSV17, author = {George Davidescu and Thomas St{\"{u}}tzle and Valeriy Vyatkin}, title = {Network planning in smart grids via a local search heuristic for spanning forest problems}, booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017}, pages = {1212--1218}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ISIE.2017.8001418}, doi = {10.1109/ISIE.2017.8001418}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/isie/DavidescuSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/YangVD17, author = {Chen{-}Wei Yang and Valeriy Vyatkin and Victor Dubinin}, title = {On development of execution model for model transforming distributed substation automation control with ontology}, booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017}, pages = {1219--1225}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ISIE.2017.8001419}, doi = {10.1109/ISIE.2017.8001419}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/YangVD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgreens/GiovanelliKASLV17, author = {Christian Giovanelli and Olli Kilkki and Antti Alah{\"{a}}iv{\"{a}}l{\"{a}} and Ilkka Seilonen and Matti Lehtonen and Valeriy Vyatkin}, editor = {Markus Helfert and Cornel Klein and Brian Donnellan}, title = {A Distributed {ICT} Architecture for Continuous Frequency Control}, booktitle = {{SMARTGREENS} 2017 - Proceedings of the 6th International Conference on Smart Cities and Green {ICT} Systems, Porto, Portugal, April 22-24, 2017}, pages = {135--142}, publisher = {SciTePress}, year = {2017}, url = {https://doi.org/10.5220/0006242201350142}, doi = {10.5220/0006242201350142}, timestamp = {Wed, 14 Jun 2017 16:50:31 +0200}, biburl = {https://dblp.org/rec/conf/smartgreens/GiovanelliKASLV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/at/SinhaPMV16, author = {Roopak Sinha and Cheng Pang and Gerardo Santill{\'{a}}n Mart{\'{\i}}nez and Valeriy Vyatkin}, title = {Automatic test case generation from requirements for industrial cyber-physical systems}, journal = {Autom.}, volume = {64}, number = {3}, pages = {216--230}, year = {2016}, url = {http://www.degruyter.com/view/j/auto.2016.64.issue-3/auto-2015-0075/auto-2015-0075.xml}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/at/SinhaPMV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/EtherdenVB16, author = {Nicholas Etherden and Valeriy Vyatkin and Math H. J. Bollen}, title = {Virtual Power Plant for Grid Services Using {IEC} 61850}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {12}, number = {1}, pages = {437--447}, year = {2016}, url = {https://doi.org/10.1109/TII.2015.2414354}, doi = {10.1109/TII.2015.2414354}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tii/EtherdenVB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsg/DegefaAKHSVL16, author = {Merkebu Z. Degefa and Antti Alah{\"{a}}iv{\"{a}}l{\"{a}} and Olli Kilkki and Muhammad Humayun and Ilkka Seilonen and Valeriy Vyatkin and Matti Lehtonen}, title = {MAS-Based Modeling of Active Distribution Network: The Simulation of Emerging Behaviors}, journal = {{IEEE} Trans. Smart Grid}, volume = {7}, number = {6}, pages = {2615--2623}, year = {2016}, url = {https://doi.org/10.1109/TSG.2015.2510547}, doi = {10.1109/TSG.2015.2510547}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsg/DegefaAKHSVL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/AarnioVH16, author = {Pekka Aarnio and Valeriy Vyatkin and David H{\"{a}}stbacka}, title = {Context modeling with situation rules for industrial maintenance}, booktitle = {21st {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016}, pages = {1--9}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ETFA.2016.7733539}, doi = {10.1109/ETFA.2016.7733539}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/AarnioVH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/BlechLPVZ16, author = {Jan Olaf Blech and Per Lindgren and David Pereira and Valeriy Vyatkin and Alois Zoitl}, title = {A Comparison of Formal Verification Approaches for {IEC} 61499}, booktitle = {21st {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016}, pages = {1--4}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ETFA.2016.7733636}, doi = {10.1109/ETFA.2016.7733636}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/BlechLPVZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DerhamyDPDEV16, author = {Hasan Derhamy and Dmitrii Drozdov and Sandeep Patil and Jan van Deventer and Jens Eliasson and Valeriy Vyatkin}, title = {Orchestration of Arrowhead services using {IEC} 61499: Distributed automation case study}, booktitle = {21st {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016}, pages = {1--5}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ETFA.2016.7733650}, doi = {10.1109/ETFA.2016.7733650}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DerhamyDPDEV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PakonenPBV16, author = {Antti Pakonen and Cheng Pang and Igor Buzhinsky and Valeriy Vyatkin}, title = {User-friendly formal specification languages - conclusions drawn from industrial experience on model checking}, booktitle = {21st {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016}, pages = {1--8}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ETFA.2016.7733717}, doi = {10.1109/ETFA.2016.7733717}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/PakonenPBV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/Papakonstantinou16, author = {Nikolaos Papakonstantinou and Jouni Savolainen and Jarmo Koistinen and Antti Aikala and Valeriy Vyatkin}, title = {District heating temperature control algorithm based on short term weather forecast and consumption predictions}, booktitle = {21st {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016}, pages = {1--8}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ETFA.2016.7733748}, doi = {10.1109/ETFA.2016.7733748}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/Papakonstantinou16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DaiHV16, author = {Wenbin William Dai and Wanqi Huang and Valeriy Vyatkin}, title = {Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, pages = {5253--5258}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IECON.2016.7793834}, doi = {10.1109/IECON.2016.7793834}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iecon/DaiHV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/NefedovV16, author = {Evgeny Nefedov and Valeriy Vyatkin}, title = {Evaluating benefits of collaborative intelligent batteries in SmartGrid}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, pages = {5265--5270}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IECON.2016.7793864}, doi = {10.1109/IECON.2016.7793864}, timestamp = {Mon, 26 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/NefedovV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/MasselotPZV16, author = {Michael Masselot and Sandeep Patil and Gulnara Zhabelova and Valeriy Vyatkin}, title = {Towards a formal model of protection functions for power distribution networks}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, pages = {5302--5309}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IECON.2016.7794150}, doi = {10.1109/IECON.2016.7794150}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/MasselotPZV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/BerezovskayaMVZ16, author = {Yulia Berezovskaya and Arash Mousavi and Valeriy Vyatkin and Xiaojing Zhang and Tor Bj{\"{o}}rn Minde}, title = {Improvement of energy efficiency in data centers via flexible humidity control}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, pages = {5585--5590}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IECON.2016.7793777}, doi = {10.1109/IECON.2016.7793777}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/BerezovskayaMVZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/YangVD16, author = {Chen{-}Wei Yang and Valeriy Vyatkin and Victor Dubinin}, editor = {Luis M. Camarinha{-}Matos and Ant{\'{o}}nio J. Falc{\~{a}}o and Nazanin Vafaei and Shirin Najdi}, title = {Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies}, booktitle = {Technological Innovation for Cyber-Physical Systems - 7th {IFIP} {WG} 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {470}, pages = {37--45}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31165-4\_4}, doi = {10.1007/978-3-319-31165-4\_4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-5/YangVD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/SorouriV16, author = {Majid Sorouri and Valeriy Vyatkin}, editor = {Hamideh Afsarmanesh and Luis M. Camarinha{-}Matos and Ant{\'{o}}nio Lucas Soares}, title = {Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems}, booktitle = {Collaboration in a Hyperconnected World - 17th {IFIP} {WG} 5.5 Working Conference on Virtual Enterprises, {PRO-VE} 2016, Porto, Portugal, October 3-5, 2016, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {480}, pages = {394--407}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45390-3\_34}, doi = {10.1007/978-3-319-45390-3\_34}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-5/SorouriV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/NefedovV16, author = {Evgeny Nefedov and Valeriy Vyatkin}, editor = {Luis M. Camarinha{-}Matos and Ant{\'{o}}nio J. Falc{\~{a}}o and Nazanin Vafaei and Shirin Najdi}, title = {Decentralised Coordination of Intelligent Autonomous Batteries}, booktitle = {Technological Innovation for Cyber-Physical Systems - 7th {IFIP} {WG} 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {470}, pages = {425--433}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31165-4\_40}, doi = {10.1007/978-3-319-31165-4\_40}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-5/NefedovV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ChivilikhinISV16, author = {Daniil Chivilikhin and Ilya Ivanov and Anatoly Shalyto and Valeriy Vyatkin}, title = {Reconstruction of function block controllers based on test scenarios and verification}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {646--651}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819240}, doi = {10.1109/INDIN.2016.7819240}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/ChivilikhinISV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/PangPBV16, author = {Cheng Pang and Antti Pakonen and Igor Buzhinsky and Valeriy Vyatkin}, title = {A study on user-friendly formal specification languages for requirements formalization}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {676--682}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819246}, doi = {10.1109/INDIN.2016.7819246}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/PangPBV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/MartinezMASKKV16, author = {Gerardo Santillan Martinez and Tuomas Miettinen and Antti Aikala and Jouni Savolainen and Kalle Kondelin and Tommi Karhela and Valeriy Vyatkin}, title = {Parameters selection in predictive online simulation}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {726--729}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819254}, doi = {10.1109/INDIN.2016.7819254}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/MartinezMASKKV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BuzhinskyV16, author = {Igor Buzhinsky and Valeriy Vyatkin}, title = {Plant model inference for closed-loop verification of control systems: Initial explorations}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {736--739}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819256}, doi = {10.1109/INDIN.2016.7819256}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/BuzhinskyV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SiivolaSNKV16, author = {Eero Siivola and Seppo A. Sierla and Hannu Niemist{\"{o}} and Tommi Karhela and Valeriy Vyatkin}, title = {Requirement verification in simulation-based automation testing}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {740--743}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819257}, doi = {10.1109/INDIN.2016.7819257}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/SiivolaSNKV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DrozdovDV16, author = {Dmitrii Drozdov and Victor Dubinin and Valeriy Vyatkin}, title = {Speculative computation in {IEC} 61499 function blocks execution - Modeling and simulation}, booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN} 2016, Poitiers, France, July 19-21, 2016}, pages = {748--755}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/INDIN.2016.7819259}, doi = {10.1109/INDIN.2016.7819259}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/DrozdovDV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isgteurope/GiovanelliKSV16, author = {Christian Giovanelli and Olli Kilkki and Ilkka Seilonen and Valeriy Vyatkin}, title = {Distributed {ICT} architecture and an application for optimized automated demand response}, booktitle = {{IEEE} {PES} Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2016, Ljubljana, Slovenia, October 9-12, 2016}, pages = {1--6}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISGTEurope.2016.7856329}, doi = {10.1109/ISGTEUROPE.2016.7856329}, timestamp = {Wed, 16 Oct 2019 14:14:48 +0200}, biburl = {https://dblp.org/rec/conf/isgteurope/GiovanelliKSV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isgteurope/KilkkiSZV16, author = {Olli Kilkki and Ilkka Seilonen and Kai Zenger and Valeriy Vyatkin}, title = {Incentives for shaping the consumption profile of a group of consumers with energy storage devices}, booktitle = {{IEEE} {PES} Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2016, Ljubljana, Slovenia, October 9-12, 2016}, pages = {1--6}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISGTEurope.2016.7856253}, doi = {10.1109/ISGTEUROPE.2016.7856253}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isgteurope/KilkkiSZV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/DrozdovPDV16, author = {Dmitrii Drozdov and Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, title = {Formal verification of cyber-physical automation systems modelled with timed block diagrams}, booktitle = {25th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2016, Santa Clara, CA, USA, June 8-10, 2016}, pages = {316--321}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISIE.2016.7744910}, doi = {10.1109/ISIE.2016.7744910}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/DrozdovPDV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/DaiHV16, author = {Wenbin William Dai and Wanqi Huang and Valeriy Vyatkin}, title = {Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems}, booktitle = {25th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2016, Santa Clara, CA, USA, June 8-10, 2016}, pages = {1055--1060}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISIE.2016.7745038}, doi = {10.1109/ISIE.2016.7745038}, timestamp = {Mon, 07 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isie/DaiHV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartgridcomm/ZhabelovaYVEC16, author = {Gulnara Zhabelova and Chen{-}Wei Yang and Valeriy Vyatkin and Nicholas Etherden and Lars Christoffersson}, title = {Open architecture for cost effective protection and control of power distribution networks}, booktitle = {2016 {IEEE} International Conference on Smart Grid Communications, SmartGridComm 2016, Sydney, Australia, November 6-9, 2016}, pages = {729--735}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SmartGridComm.2016.7778848}, doi = {10.1109/SMARTGRIDCOMM.2016.7778848}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/smartgridcomm/ZhabelovaYVEC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sohoma/DrozdovPV16, author = {Dmitrii Drozdov and Sandeep Patil and Valeriy Vyatkin}, editor = {Theodor Borangiu and Damien Trentesaux and Andr{\'{e}} Thomas and Paulo Leit{\~{a}}o and Jos{\'{e}} Barata Oliveira}, title = {Formal Modelling of Distributed Automation {CPS} with CP-Agnostic Software}, booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of {SOHOMA} 2016, Lisbon, Portugal, October 6-7, 2016}, series = {Studies in Computational Intelligence}, volume = {694}, pages = {35--46}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-51100-9\_4}, doi = {10.1007/978-3-319-51100-9\_4}, timestamp = {Tue, 07 May 2024 20:10:30 +0200}, biburl = {https://dblp.org/rec/conf/sohoma/DrozdovPV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SiivolaSNKV16, author = {Eero Siivola and Seppo A. Sierla and Hannu Niemist{\"{o}} and Tommi Karhela and Valeriy Vyatkin}, title = {Requirement verification in simulation-based automation testing}, journal = {CoRR}, volume = {abs/1602.02504}, year = {2016}, url = {http://arxiv.org/abs/1602.02504}, eprinttype = {arXiv}, eprint = {1602.02504}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/SiivolaSNKV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/StrasserSV15, author = {Thomas I. Strasser and Pierluigi Siano and Valeriy Vyatkin}, title = {New Trends in Intelligent Energy Systems-An Industrial Electronics Point of View}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {62}, number = {4}, pages = {2420--2423}, year = {2015}, url = {https://doi.org/10.1109/TIE.2015.2401539}, doi = {10.1109/TIE.2015.2401539}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/StrasserSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/StrasserAKCBSLZ15, author = {Thomas I. Strasser and Filip Andren and Johannes Kathan and Carlo Cecati and Concettina Buccella and Pierluigi Siano and Paulo Leit{\~{a}}o and Gulnara Zhabelova and Valeriy Vyatkin and Pavel Vrba and Vladim{\'{\i}}r Mar{\'{\i}}k}, title = {A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {62}, number = {4}, pages = {2424--2438}, year = {2015}, url = {https://doi.org/10.1109/TIE.2014.2361486}, doi = {10.1109/TIE.2014.2361486}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tie/StrasserAKCBSLZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/ZhabelovaVD15, author = {Gulnara Zhabelova and Valeriy Vyatkin and Victor N. Dubinin}, title = {Toward Industrially Usable Agent Technology for Smart Grid Automation}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {62}, number = {4}, pages = {2629--2641}, year = {2015}, url = {https://doi.org/10.1109/TIE.2014.2371777}, doi = {10.1109/TIE.2014.2371777}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/ZhabelovaVD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/StrasserSV15, author = {Thomas I. Strasser and Pierluigi Siano and Valeriy Vyatkin}, title = {Guest Editorial New Trends in Intelligent Energy Systems-An Industrial Informatics Points of View}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {11}, number = {1}, pages = {207--209}, year = {2015}, url = {https://doi.org/10.1109/TII.2015.2391055}, doi = {10.1109/TII.2015.2391055}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/StrasserSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DaiVCD15, author = {Wenbin William Dai and Valeriy Vyatkin and James H. Christensen and Victor N. Dubinin}, title = {Bridging Service-Oriented Architecture and {IEC} 61499 for Flexibility and Interoperability}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {11}, number = {3}, pages = {771--781}, year = {2015}, url = {https://doi.org/10.1109/TII.2015.2423495}, doi = {10.1109/TII.2015.2423495}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DaiVCD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/SorouriPSV15, author = {Majid Sorouri and Sandeep Patil and Zoran A. Salcic and Valeriy Vyatkin}, title = {Software Composition and Distributed Operation Scheduling in Modular Automated Machines}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {11}, number = {4}, pages = {865--878}, year = {2015}, url = {https://doi.org/10.1109/TII.2015.2430836}, doi = {10.1109/TII.2015.2430836}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/SorouriPSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/PangYV15, author = {Cheng Pang and Jeffrey Yan and Valeriy Vyatkin}, title = {Time-Complemented Event-Driven Architecture for Distributed Automation Systems}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {45}, number = {8}, pages = {1165--1177}, year = {2015}, url = {https://doi.org/10.1109/TSMC.2014.2326837}, doi = {10.1109/TSMC.2014.2326837}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/PangYV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/case/LinSPV15, author = {Heng{-}You Lin and Seppo A. Sierla and Nikolaos Papakonstantinou and Valeriy Vyatkin}, title = {A SysML profile supporting change orders in model driven engineering}, booktitle = {{IEEE} International Conference on Automation Science and Engineering, {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015}, pages = {1054--1059}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CoASE.2015.7294238}, doi = {10.1109/COASE.2015.7294238}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/case/LinSPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/GulzarSVPFY15, author = {Kashif Gulzar and Seppo A. Sierla and Valeriy Vyatkin and Nikolaos Papakonstantinou and Paul G. Flikkema and Chen{-}Wei Yang}, title = {An auction-based smart district heating grid}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301528}, doi = {10.1109/ETFA.2015.7301528}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/GulzarSVPFY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/LindgrenLLVPP15, author = {Per Lindgren and Marcus Lindner and Andreas Lindner and Valeriy Vyatkin and David Pereira and Lu{\'{\i}}s Miguel Pinho}, title = {A real-time semantics for the {IEC} 61499 standard}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--6}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301558}, doi = {10.1109/ETFA.2015.7301558}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/LindgrenLLVPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/MartinezKNRPV15, author = {Gerardo Santillan Martinez and Tommi Karhela and Hannu Niemist{\"{o}} and Ahti Rossi and Cheng Pang and Valeriy Vyatkin}, title = {A hybrid approach for the initialization of tracking simulation systems}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301532}, doi = {10.1109/ETFA.2015.7301532}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/MartinezKNRPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/MousaviVBZ15, author = {Arash Mousavi and Valeriy Vyatkin and Yulia Berezovskaya and Xiaojing Zhang}, title = {Towards energy smart data centers: Simulation of server room cooling system}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--6}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301573}, doi = {10.1109/ETFA.2015.7301573}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/MousaviVBZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/ZhabelovaV15, author = {Gulnara Zhabelova and Valeriy Vyatkin}, title = {Towards software metrics for evaluating quality of {IEC} 61499 automation software}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301502}, doi = {10.1109/ETFA.2015.7301502}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/ZhabelovaV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/ZhabelovaYV15, author = {Gulnara Zhabelova and Alireza Yavarian and Valeriy Vyatkin}, title = {Data center power dynamics within the settings of regional power grid}, booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2015, Luxembourg, September 8-11, 2015}, pages = {1--5}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ETFA.2015.7301633}, doi = {10.1109/ETFA.2015.7301633}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/ZhabelovaYV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/ZhabelovaV15, author = {Gulnara Zhabelova and Valeriy Vyatkin}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Arnd Schirrmann and Damien Trentesaux and Pavel Vrba}, title = {Towards a Design Methodology for Agent-Based Automation of Smart Grid}, booktitle = {Industrial Applications of Holonic and Multi-Agent Systems - 7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9266}, pages = {181--194}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22867-9\_16}, doi = {10.1007/978-3-319-22867-9\_16}, timestamp = {Sat, 09 Apr 2022 12:48:45 +0200}, biburl = {https://dblp.org/rec/conf/holomas/ZhabelovaV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ic3k/HastbackaAVK15, author = {David H{\"{a}}stbacka and Pekka Aarnio and Valeriy Vyatkin and Seppo Kuikka}, editor = {Ana L. N. Fred and Jan L. G. Dietz and David Aveiro and Kecheng Liu and Joaquim Filipe}, title = {Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning}, booktitle = {{KMIS} 2015 - Proceedings of the International Conference on Knowledge Management and Information Sharing, part of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management {(IC3K} 2015), Volume 3, Lisbon, Portugal, November 12-14, 2015}, pages = {182--192}, publisher = {SciTePress}, year = {2015}, url = {https://doi.org/10.5220/0005595601820192}, doi = {10.5220/0005595601820192}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ic3k/HastbackaAVK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/SinhaPMKV15, author = {Roopak Sinha and Cheng Pang and Gerardo Santillan Martinez and Juha Kuronen and Valeriy Vyatkin}, title = {Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems}, booktitle = {20th International Conference on Engineering of Complex Computer Systems, {ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015}, pages = {198--201}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICECCS.2015.32}, doi = {10.1109/ICECCS.2015.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/SinhaPMKV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ZhabelovaYVH15, author = {Gulnara Zhabelova and Alireza Yavarian and Valeriy Vyatkin and Alex Q. Huang}, title = {Data center energy efficiency and power quality: An alternative approach with solid state transformer}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {1294--1300}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392279}, doi = {10.1109/IECON.2015.7392279}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iecon/ZhabelovaYVH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangV15, author = {Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Modelling of {IEC} 61850 message passing for automatic generation of distributed control}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {1524--1529}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392317}, doi = {10.1109/IECON.2015.7392317}, timestamp = {Thu, 09 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/YangV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/VyatkinPT15, author = {Valeriy Vyatkin and Cheng Pang and Stavros Tripakis}, title = {Towards cyber-physical agnosticism by enhancing {IEC} 61499 with {PTIDES} model of computations}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {1970--1975}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392389}, doi = {10.1109/IECON.2015.7392389}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/VyatkinPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/PangDV15, author = {Cheng Pang and Wenbin William Dai and Valeriy Vyatkin}, title = {Towards {IEC} 61499 models of computation in Ptolemy {II}}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {1988--1993}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392392}, doi = {10.1109/IECON.2015.7392392}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/PangDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/SinhaPPVD15, author = {Roopak Sinha and Sandeep Patil and Cheng Pang and Valeriy Vyatkin and Barry Dowdeswell}, title = {Requirements engineering of industrial automation systems: Adapting the {CESAR} requirements meta model for safety-critical smart grid software}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {2172--2177}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392423}, doi = {10.1109/IECON.2015.7392423}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/SinhaPPVD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/KilkkiGSV15, author = {Olli Kilkki and Christian Giovanelli and Ilkka Seilonen and Valeriy Vyatkin}, title = {Optimization of decentralized energy storage flexibility for frequency reserves}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {2219--2224}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392431}, doi = {10.1109/IECON.2015.7392431}, timestamp = {Thu, 09 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/KilkkiGSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DaiV15, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {Reconfigurable elements of execution semantics for industrial cyber-physical systems}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {2252--2257}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392437}, doi = {10.1109/IECON.2015.7392437}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/DaiV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/PatilZVM15, author = {Sandeep Patil and Gulnara Zhabelova and Valeriy Vyatkin and Bruce M. McMillin}, title = {Towards formal verification of smart grid distributed intelligence: {FREEDM} case}, booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015}, pages = {3974--3979}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IECON.2015.7392719}, doi = {10.1109/IECON.2015.7392719}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/PatilZVM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-5/PatilDDV15, author = {Sandeep Patil and Dmitrii Drozdov and Victor Dubinin and Valeriy Vyatkin}, editor = {Luis M. Camarinha{-}Matos and Thais A. Baldissera and Giovanni Di Orio and Francisco Marques}, title = {Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications}, booktitle = {Technological Innovation for Cloud-Based Engineering Systems - 6th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {450}, pages = {73--81}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-16766-4\_8}, doi = {10.1007/978-3-319-16766-4\_8}, timestamp = {Tue, 21 Mar 2023 20:57:25 +0100}, biburl = {https://dblp.org/rec/conf/ifip5-5/PatilDDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/WangPPV15, author = {Jia Wang and Zhibo Pang and Cheng Pang and Valeriy Vyatkin}, title = {Industry-friendly engineering tools for wireless home automation devices}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1174--1179}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281902}, doi = {10.1109/INDIN.2015.7281902}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/indin/WangPPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/LinSPSV15, author = {Heng{-}You Lin and Seppo A. Sierla and Nikolaos Papakonstantinou and Anatoly Shalyto and Valeriy Vyatkin}, title = {Change request management in model-driven engineering of industrial automation software}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1186--1191}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281904}, doi = {10.1109/INDIN.2015.7281904}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/LinSPSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/PatilVP15, author = {Sandeep Patil and Valeriy Vyatkin and Cheng Pang}, title = {Counterexample-guided simulation framework for formal verification of flexible automation systems}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1192--1197}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281905}, doi = {10.1109/INDIN.2015.7281905}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/PatilVP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BuzhinskyUVV15, author = {Igor Buzhinsky and Vladimir Ulyantsev and Jari Veijalainen and Valeriy Vyatkin}, title = {Evolutionary approach to coverage testing of {IEC} 61499 function block applications}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1213--1218}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281908}, doi = {10.1109/INDIN.2015.7281908}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/BuzhinskyUVV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/KleykoOPVM15, author = {Denis Kleyko and Evgeny Osipov and Nikolaos Papakonstantinou and Valeriy Vyatkin and Arash Mousavi}, title = {Fault detection in the hyperspace: Towards intelligent automation systems}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1219--1224}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281909}, doi = {10.1109/INDIN.2015.7281909}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/KleykoOPVM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ChivilikhinSPV15, author = {Daniil Chivilikhin and Anatoly Shalyto and Sandeep Patil and Valeriy Vyatkin}, title = {Reconstruction of function block logic using metaheuristic algorithm: Initial explorations}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1239--1242}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281912}, doi = {10.1109/INDIN.2015.7281912}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/ChivilikhinSPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SinhaDV15, author = {Roopak Sinha and Barry Dowdeswell and Valeriy Vyatkin}, title = {Slicing the Pi: Device-specific {IEC} 61499 design}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1257--1262}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281915}, doi = {10.1109/INDIN.2015.7281915}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/SinhaDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiVPC15, author = {Wenbin William Dai and Valeriy Vyatkin and Cheng Pang and James H. Christensen}, title = {Time-stamped event based execution semantics for industrial cyber-physical systems}, booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN} 2015, Cambridge, United Kingdom, July 22-24, 2015}, pages = {1263--1268}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/INDIN.2015.7281916}, doi = {10.1109/INDIN.2015.7281916}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/DaiVPC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/PatilDV15, author = {Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {Formal Modelling and Verification of {IEC61499} Function Blocks with Abstract State Machines and {SMV} - Execution Semantics}, booktitle = {Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, {SETTA} 2015, Nanjing, China, November 4-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9409}, pages = {300--315}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0\_20}, doi = {10.1007/978-3-319-25942-0\_20}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/PatilDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sohoma/DeminDPV15, author = {Evgenii Demin and Victor Dubinin and Sandeep Patil and Valeriy Vyatkin}, editor = {Theodor Borangiu and Damien Trentesaux and Andr{\'{e}} Thomas and Duncan C. McFarlane}, title = {Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation}, booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of {SOHOMA} 2015, Cambridge, UK, November 5-6, 2015}, series = {Studies in Computational Intelligence}, volume = {640}, pages = {213--221}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30337-6\_20}, doi = {10.1007/978-3-319-30337-6\_20}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sohoma/DeminDPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/MousaviVBZ15, author = {Arash Mousavi and Valeriy Vyatkin and Yulia Berezovskaya and Xiaojing Zhang}, title = {Cyber-physical Design of Data Centers Cooling Systems Automation}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {254--260}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.641}, doi = {10.1109/TRUSTCOM.2015.641}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/MousaviVBZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/YangGSV15, author = {Chen{-}Wei Yang and Kashif Gulzar and Seppo A. Sierla and Valeriy Vyatkin}, title = {Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {261--268}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.642}, doi = {10.1109/TRUSTCOM.2015.642}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/YangGSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/BelyakovSYV15, author = {Stanislav L. Belyakov and Marina Savelyeva and Jeffrey Yan and Valeriy Vyatkin}, title = {Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {269--274}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.643}, doi = {10.1109/TRUSTCOM.2015.643}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/BelyakovSYV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/MartinezKVMP15, author = {Gerardo Santillan Martinez and Tommi Karhela and Valeriy Vyatkin and Tuomas Miettinen and Cheng Pang}, title = {An {OPC} {UA} Based Architecture for Testing Tracking Simulation Methods}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {275--280}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.644}, doi = {10.1109/TRUSTCOM.2015.644}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/MartinezKVMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/DubininVH15, author = {Victor Dubinin and Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {287--292}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.646}, doi = {10.1109/TRUSTCOM.2015.646}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/DubininVH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/BuzhinskyPV15, author = {Igor Buzhinsky and Cheng Pang and Valeriy Vyatkin}, title = {Formal Modeling of Testing Software for Cyber-Physical Automation Systems}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {301--306}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.648}, doi = {10.1109/TRUSTCOM.2015.648}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/BuzhinskyPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/ChivilikhinSV15, author = {Daniil Chivilikhin and Anatoly Shalyto and Valeriy Vyatkin}, title = {Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {307--312}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.649}, doi = {10.1109/TRUSTCOM.2015.649}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/ChivilikhinSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/PatilDV15, author = {Sandeep Patil and Victor Dubinin and Valeriy Vyatkin}, title = {Formal Verification of {IEC61499} Function Blocks with Abstract State Machines and {SMV} - Modelling}, booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3}, pages = {313--320}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/Trustcom.2015.650}, doi = {10.1109/TRUSTCOM.2015.650}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/trustcom/PatilDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ew/VyatkinU14, author = {Valeriy Vyatkin and Mihaela Ulieru}, title = {Editorial}, journal = {{EAI} Endorsed Trans. Energy Web}, volume = {1}, number = {2}, pages = {e1}, year = {2014}, url = {https://doi.org/10.4108/ew.1.2.e1}, doi = {10.4108/EW.1.2.E1}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ew/VyatkinU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ew/YangZV14, author = {Chen{-}Wei Yang and Gulnara Zhabelova and Valeriy Vyatkin}, title = {SysGRID: {IEC} 61850 and {IEC} 61499 Standard Based Engineering Tool for Smart Grid Automation Design}, journal = {{EAI} Endorsed Trans. Energy Web}, volume = {1}, number = {2}, pages = {e5}, year = {2014}, url = {https://doi.org/10.4108/ew.1.2.e5}, doi = {10.4108/EW.1.2.E5}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ew/YangZV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/VrbaMSLZVS14, author = {Pavel Vrba and Vladim{\'{\i}}r Mar{\'{\i}}k and Pierluigi Siano and Paulo Leit{\~{a}}o and Gulnara Zhabelova and Valeriy Vyatkin and Thomas I. Strasser}, title = {A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {10}, number = {3}, pages = {1890--1903}, year = {2014}, url = {https://doi.org/10.1109/TII.2014.2326411}, doi = {10.1109/TII.2014.2326411}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/VrbaMSLZVS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/DaiDV14, author = {Wenbin William Dai and Victor Dubinin and Valeriy Vyatkin}, title = {Migration From {PLC} to {IEC} 61499 Using Semantic Web Technologies}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {44}, number = {3}, pages = {277--291}, year = {2014}, url = {https://doi.org/10.1109/TSMCC.2013.2264671}, doi = {10.1109/TSMCC.2013.2264671}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/DaiDV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/YangVP14, author = {Chia{-}Han Yang and Valeriy Vyatkin and Cheng Pang}, title = {Model-Driven Development of Control Software for Distributed Automation: {A} Survey and an Approach}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {44}, number = {3}, pages = {292--305}, year = {2014}, url = {https://doi.org/10.1109/TSMCC.2013.2266914}, doi = {10.1109/TSMCC.2013.2266914}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/YangVP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/PatilDPV14, author = {Sandeep Patil and Victor Dubinin and Cheng Pang and Valeriy Vyatkin}, editor = {Andrei Voronkov and Irina B. Virbitskaite}, title = {Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with {ASM}}, booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8974}, pages = {76--91}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-46823-4\_7}, doi = {10.1007/978-3-662-46823-4\_7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/PatilDPV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DaiVDC14, author = {Wenbin William Dai and Valeriy Vyatkin and Victor Dubinin and James H. Christensen}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--8}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005123}, doi = {10.1109/ETFA.2014.7005123}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DaiVDC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DubininVYP14, author = {Victor Dubinin and Valeriy Vyatkin and Chen{-}Wei Yang and Cheng Pang}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Automatic generation of automation applications based on ontology transformations}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--4}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005293}, doi = {10.1109/ETFA.2014.7005293}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DubininVYP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/KleykoOPVP14, author = {Denis Kleyko and Evgeny Osipov and Sandeep Patil and Valeriy Vyatkin and Zhibo Pang}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {On methodology of implementing distributed function block applications using TinyOS {WSN} nodes}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--7}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005107}, doi = {10.1109/ETFA.2014.7005107}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/KleykoOPVP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/LindgrenLLEV14, author = {Per Lindgren and Marcus Lindner and Andreas Lindner and Johan Eriksson and Valeriy Vyatkin}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Real-time execution of function blocks for Internet of Things using the RTFM-kernel}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--6}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005232}, doi = {10.1109/ETFA.2014.7005232}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/LindgrenLLEV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/MousaviYPV14, author = {Arash Mousavi and Cheng{-}Wei Yang and Cheng Pang and Valeriy Vyatkin}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Energy efficient automation model for office buildings based on ontology, agents and {IEC} 61499 function blocks}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--7}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005081}, doi = {10.1109/ETFA.2014.7005081}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/MousaviYPV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PangVD14, author = {Cheng Pang and Valeriy Vyatkin and Wenbin William Dai}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {{IEC} 61499 based model-driven process control engineering}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--8}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005088}, doi = {10.1109/ETFA.2014.7005088}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/PangVD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PapakonstantinouSCOKVT14, author = {Nikolaos Papakonstantinou and Seppo A. Sierla and Konstantinia Charitoudi and Bryan O'Halloran and Tommi Karhela and Valeriy Vyatkin and Irem Turner}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Security impact assessment of industrial automation systems using genetic algorithm and simulation}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--8}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005094}, doi = {10.1109/ETFA.2014.7005094}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/PapakonstantinouSCOKVT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PeltolaSV14, author = {Jukka Peltola and Seppo A. Sierla and Valeriy Vyatkin}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Adapting Keyword driven test automation framework to {IEC} 61131-3 industrial control applications using PLCopen {XML}}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--8}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005185}, doi = {10.1109/ETFA.2014.7005185}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etfa/PeltolaSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/SinhaVSP14, author = {Roopak Sinha and Valeriy Vyatkin and Zoran Salcic and HeeJong Park}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and {IEC61499}}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--7}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005073}, doi = {10.1109/ETFA.2014.7005073}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/SinhaVSP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/YanV14, author = {Jeffrey Yan and Valeriy Vyatkin}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Time-complemented event-driven reconfigurable systems}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--8}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005125}, doi = {10.1109/ETFA.2014.7005125}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/YanV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/YangXV14, author = {Chen{-}Wei Yang and Jiang Xu and Valeriy Vyatkin}, editor = {Antoni Grau and Herminio Mart{\'{\i}}nez}, title = {Towards implementation of {IEC} 61850 {GOOSE} messaging in event-driven {IEC} 61499 environment}, booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014}, pages = {1--4}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ETFA.2014.7005253}, doi = {10.1109/ETFA.2014.7005253}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/YangXV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/DaiVC14, author = {Wenbin William Dai and Valeriy Vyatkin and James H. Christensen}, title = {The application of service-oriented architectures in distributed automation systems}, booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA} 2014, Hong Kong, China, May 31 - June 7, 2014}, pages = {252--257}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ICRA.2014.6906618}, doi = {10.1109/ICRA.2014.6906618}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/icra/DaiVC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/SorouriVS14, author = {Majid Sorouri and Valeriy Vyatkin and Zoran Salcic}, title = {{MIRA:} Enabler of mass customization through agent-based development of intelligent manufacturing systems}, booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA} 2014, Hong Kong, China, May 31 - June 7, 2014}, pages = {258--263}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ICRA.2014.6906619}, doi = {10.1109/ICRA.2014.6906619}, timestamp = {Sat, 24 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icra/SorouriVS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DaiRVOD14, author = {Wenbin William Dai and Laurynas Riliskis and Valeriy Vyatkin and Evgeny Osipov and Jerker Delsing}, title = {A configurable cloud-based testing infrastructure for interoperable distributed automation systems}, booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics Society, Dallas, TX, USA, October 29 - November 1, 2014}, pages = {2492--2498}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IECON.2014.7048856}, doi = {10.1109/IECON.2014.7048856}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iecon/DaiRVOD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YanPYV14, author = {Jeffrey Yan and Cheng Pang and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain}, booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics Society, Dallas, TX, USA, October 29 - November 1, 2014}, pages = {2512--2518}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IECON.2014.7048859}, doi = {10.1109/IECON.2014.7048859}, timestamp = {Tue, 27 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/YanPYV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangVMD14, author = {Chen{-}Wei Yang and Valeriy Vyatkin and Arash Mousavi and Victor Dubinin}, title = {On automatic generation of {IEC61850/IEC61499} substation automation systems enabled by ontology}, booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics Society, Dallas, TX, USA, October 29 - November 1, 2014}, pages = {3577--3583}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IECON.2014.7049030}, doi = {10.1109/IECON.2014.7049030}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/YangVMD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ZhabelovaVD14, author = {Gulnara Zhabelova and Valeriy Vyatkin and Victor Dubinin}, title = {Decision making for industrial agents in Smart Grid applications}, booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics Society, Dallas, TX, USA, October 29 - November 1, 2014}, pages = {3584--3590}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IECON.2014.7049031}, doi = {10.1109/IECON.2014.7049031}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/ZhabelovaVD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/BelyakovSYV14, author = {Stanislav L. Belyakov and Marina Savelyeva and Jeffrey Yan and Valeriy Vyatkin}, title = {Knowledge-based routing in mechanical transportation systems}, booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN} 2014, Porto Alegre, RS, Brazil, July 27-30, 2014}, pages = {48--53}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/INDIN.2014.6945482}, doi = {10.1109/INDIN.2014.6945482}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/BelyakovSYV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiCVD14, author = {Wenbin William Dai and James H. Christensen and Valeriy Vyatkin and Victor Dubinin}, title = {Function block implementation of service oriented architecture: Case study}, booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN} 2014, Porto Alegre, RS, Brazil, July 27-30, 2014}, pages = {112--117}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/INDIN.2014.6945493}, doi = {10.1109/INDIN.2014.6945493}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/DaiCVD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ZhabelovaYPPYSV14, author = {Gulnara Zhabelova and Chen{-}Wei Yang and Sandeep Patil and Cheng Pang and Jeffrey Yan and Anatoly Shalyto and Valeriy Vyatkin}, title = {Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence}, booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN} 2014, Porto Alegre, RS, Brazil, July 27-30, 2014}, pages = {411--417}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/INDIN.2014.6945548}, doi = {10.1109/INDIN.2014.6945548}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/ZhabelovaYPPYSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/PangPYVS14, author = {Cheng Pang and Sandeep Patil and Chen{-}Wei Yang and Valeriy Vyatkin and Anatoly Shalyto}, title = {A portability study of {IEC} 61499: Semantics and tools}, booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN} 2014, Porto Alegre, RS, Brazil, July 27-30, 2014}, pages = {440--445}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/INDIN.2014.6945553}, doi = {10.1109/INDIN.2014.6945553}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/PangPYVS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/RamisGILLVD14, author = {Borja Ramis and Luis Gonzalez and Sergii Iarovyi and Andrei Lobov and Jos{\'{e}} L. Mart{\'{\i}}nez Lastra and Valeriy Vyatkin and Wenbin William Dai}, title = {Knowledge-based web service integration for industrial automation}, booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN} 2014, Porto Alegre, RS, Brazil, July 27-30, 2014}, pages = {733--739}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/INDIN.2014.6945604}, doi = {10.1109/INDIN.2014.6945604}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/RamisGILLVD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/SierlaHCYV14, author = {Seppo A. Sierla and Marcin Hurkala and Konstantinia Charitoudi and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Security risk analysis for smart grid automation}, booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014}, pages = {1737--1744}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ISIE.2014.6864877}, doi = {10.1109/ISIE.2014.6864877}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/SierlaHCYV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/BaniyaMSPYV14, author = {Rupak Baniya and Mikko Maksimainen and Seppo A. Sierla and Cheng Pang and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Smart indoor lighting control: Power, illuminance, and colour quality}, booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014}, pages = {1745--1750}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ISIE.2014.6864878}, doi = {10.1109/ISIE.2014.6864878}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isie/BaniyaMSPYV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/DaiPVP14, author = {Wenbin William Dai and Jukka Peltola and Valeriy Vyatkin and Cheng Pang}, title = {Service-oriented distributed control software design for process automation systems}, booktitle = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2014, San Diego, CA, USA, October 5-8, 2014}, pages = {3637--3642}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/SMC.2014.6974495}, doi = {10.1109/SMC.2014.6974495}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/DaiPVP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/PangVM14, author = {Cheng Pang and Valeriy Vyatkin and Horst Mayer}, title = {Towards cyber-physical approach for prototyping indoor lighting automation systems}, booktitle = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics, {SMC} 2014, San Diego, CA, USA, October 5-8, 2014}, pages = {3643--3648}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/SMC.2014.6974496}, doi = {10.1109/SMC.2014.6974496}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smc/PangVM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ew/UlieruV13, author = {Mihaela Ulieru and Valeriy Vyatkin}, title = {Welcome message from the Editors-in-Chief}, journal = {{EAI} Endorsed Trans. Energy Web}, volume = {1}, number = {1}, pages = {e1}, year = {2013}, url = {https://doi.org/10.4108/trans.ew.2013.01-06.e1}, doi = {10.4108/TRANS.EW.2013.01-06.E1}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ew/UlieruV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/SunderVZ13, author = {Christoph S{\"{u}}nder and Valeriy Vyatkin and Alois Zoitl}, title = {Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {12}, number = {1}, pages = {17:1--17:17}, year = {2013}, url = {https://doi.org/10.1145/2406336.2406353}, doi = {10.1145/2406336.2406353}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tecs/SunderVZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/Vyatkin13, author = {Valeriy Vyatkin}, title = {Software Engineering in Industrial Automation: State-of-the-Art Review}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {9}, number = {3}, pages = {1234--1249}, year = {2013}, url = {https://doi.org/10.1109/TII.2013.2258165}, doi = {10.1109/TII.2013.2258165}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/Vyatkin13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/YangZYV13, author = {Chia{-}Han Yang and Gulnara Zhabelova and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {9}, number = {3}, pages = {1423--1435}, year = {2013}, url = {https://doi.org/10.1109/TII.2013.2256791}, doi = {10.1109/TII.2013.2256791}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/YangZYV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DaiDV13, author = {Wenbin William Dai and Victor Dubinin and Valeriy Vyatkin}, title = {Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {9}, number = {4}, pages = {2124--2136}, year = {2013}, url = {https://doi.org/10.1109/TII.2012.2235450}, doi = {10.1109/TII.2012.2235450}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DaiDV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/YanV13, author = {Jeffrey Yan and Valeriy Vyatkin}, title = {Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {9}, number = {4}, pages = {2200--2209}, year = {2013}, url = {https://doi.org/10.1109/TII.2013.2258164}, doi = {10.1109/TII.2013.2258164}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/YanV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/Vyatkin13a, author = {Valeriy Vyatkin}, title = {Guest Editorial: Special section on software engineering in industrial automation}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {9}, number = {4}, pages = {2337--2339}, year = {2013}, url = {https://doi.org/10.1109/TII.2013.2281278}, doi = {10.1109/TII.2013.2281278}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/Vyatkin13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DaiVC13, author = {Wenbin William Dai and Valeriy Vyatkin and James H. Christensen}, editor = {Carla Seatzu}, title = {Essential elements for programming of distributed automation and control systems}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--8}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6647942}, doi = {10.1109/ETFA.2013.6647942}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DaiVC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/LinSVS13, author = {Heng{-}You Lin and Majid Sorouri and Valeriy Vyatkin and Zoran Salcic}, editor = {Carla Seatzu}, title = {Model-based customisation of intelligent mechatronic systems using SysML}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--4}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6648138}, doi = {10.1109/ETFA.2013.6648138}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/LinSVS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PangVDS13, author = {Cheng Pang and Valeriy Vyatkin and Yinbai Deng and Majid Sorouri}, editor = {Carla Seatzu}, title = {Virtual smart metering in automation and simulation of energy-efficient lighting system}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--8}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6648040}, doi = {10.1109/ETFA.2013.6648040}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/PangVDS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PatilYVP13, author = {Sandeep Patil and Jeffrey Yan and Valeriy Vyatkin and Cheng Pang}, editor = {Carla Seatzu}, title = {On composition of mechatronic components enabled by interoperability and portability provisions of {IEC} 61499: {A} case study}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--4}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6648136}, doi = {10.1109/ETFA.2013.6648136}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/PatilYVP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/YanPYV13, author = {Jeffrey Yan and Cheng Pang and Chen{-}Wei Yang and Valeriy Vyatkin}, editor = {Carla Seatzu}, title = {Towards automated visualization for distributed automation applications}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--4}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6648135}, doi = {10.1109/ETFA.2013.6648135}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/YanPYV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/YanV13, author = {Jeffrey Yan and Valeriy Vyatkin}, editor = {Carla Seatzu}, title = {Extension of reconfigurability provisions in {IEC} 61499}, booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September 10-13, 2013}, pages = {1--7}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ETFA.2013.6648026}, doi = {10.1109/ETFA.2013.6648026}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/YanV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ZhabelovaVZC13, author = {Gulnara Zhabelova and Valeriy Vyatkin and Ziang Zhang and Mo{-}Yuen Chow}, title = {Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {1968--1973}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6699433}, doi = {10.1109/IECON.2013.6699433}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/iecon/ZhabelovaVZC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/DaiV13, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {A component-based design pattern for improving reusability of automation programs}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {4328--4333}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6699831}, doi = {10.1109/IECON.2013.6699831}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/DaiV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/HurkalaONSKV13, author = {Marcin Hurkala and Bryan O'Halloran and Heikki Nikula and Seppo A. Sierla and Tommi Karhela and Valeriy Vyatkin}, title = {Evaluation of electric grid automation under flood hazards}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {4380--4385}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6699840}, doi = {10.1109/IECON.2013.6699840}, timestamp = {Sun, 19 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/HurkalaONSKV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/VyatkinPDSM13, author = {Valeriy Vyatkin and Cheng Pang and Yinbai Deng and Majid Sorouri and Horst Mayer}, title = {System-level architecture for building automation systems: Object-orientated design and simulation}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {5334--5339}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6700003}, doi = {10.1109/IECON.2013.6700003}, timestamp = {Tue, 29 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/VyatkinPDSM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/YangYV13, author = {Chen{-}Wei Yang and Jeffrey Yan and Valeriy Vyatkin}, title = {Towards implementation of Plug-and-Play and distributed {HMI} for the {FREEDM} system with {IEC} 61499}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {5347--5353}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6700005}, doi = {10.1109/IECON.2013.6700005}, timestamp = {Tue, 29 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iecon/YangYV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/PatilVM13, author = {Sandeep Patil and Valeriy Vyatkin and Bruce M. McMillin}, title = {Implementation of {FREEDM} Smart Grid distributed load balancing using {IEC} 61499 function blocks}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {8154--8159}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6700497}, doi = {10.1109/IECON.2013.6700497}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iecon/PatilVM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SorouriVS13, author = {Majid Sorouri and Valeriy Vyatkin and Zoran Salcic}, title = {Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog}, booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN} 2013, Bochum, Germany, July 29-31, 2013}, pages = {242--247}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/INDIN.2013.6622889}, doi = {10.1109/INDIN.2013.6622889}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/indin/SorouriVS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ZhabelovaYV13, author = {Gulnara Zhabelova and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {SysGrid: {IEC} 61850/IEC 61499 based engineering process for Smart Grid automation design}, booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN} 2013, Bochum, Germany, July 29-31, 2013}, pages = {364--369}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/INDIN.2013.6622911}, doi = {10.1109/INDIN.2013.6622911}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/ZhabelovaYV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/ZhabelovaPYV13, author = {Gulnara Zhabelova and Sandeep Patil and Chen{-}Wei Yang and Valeriy Vyatkin}, title = {Smart Grid applications with {IEC} 61499 reference architecture}, booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN} 2013, Bochum, Germany, July 29-31, 2013}, pages = {458--463}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/INDIN.2013.6622928}, doi = {10.1109/INDIN.2013.6622928}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/ZhabelovaPYV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/XuYZBV13, author = {Jiang Xu and Chen{-}Wei Yang and Gulnara Zhabelova and Stevan Berber and Valeriy Vyatkin}, title = {Towards implementation of {IEC} 61850 {GOOSE} messaging in {IEC} 61499 environment}, booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN} 2013, Bochum, Germany, July 29-31, 2013}, pages = {464--470}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/INDIN.2013.6622929}, doi = {10.1109/INDIN.2013.6622929}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/XuYZBV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uksim/DengSPV13, author = {Yinbai Deng and Majid Sorouri and Cheng Pang and Valeriy Vyatkin}, editor = {David Al{-}Dabass and Alessandra Orsoni and Jasmy Yunus and Richard J. Cant and Zuwairie Ibrahim}, title = {A Distributed Automation Architecture Enabling Simulation-in-the-Loop of Energy-Efficient Buildings}, booktitle = {15th International Conference on Computer Modelling and Simulation, UKSim 2013, Cambridge, United Kingdom, April 10-12, 2013}, pages = {542--547}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/UKSim.2013.52}, doi = {10.1109/UKSIM.2013.52}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/uksim/DengSPV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/DaiV12, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {Redesign Distributed {PLC} Control Systems Using {IEC} 61499 Function Blocks}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {9}, number = {2}, pages = {390--401}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.2188794}, doi = {10.1109/TASE.2012.2188794}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/DaiV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/ZhabelovaV12, author = {Gulnara Zhabelova and Valeriy Vyatkin}, title = {Multiagent Smart Grid Automation Architecture Based on {IEC} 61850/61499 Intelligent Logical Nodes}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {59}, number = {5}, pages = {2351--2362}, year = {2012}, url = {https://doi.org/10.1109/TIE.2011.2167891}, doi = {10.1109/TIE.2011.2167891}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/ZhabelovaV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/DubininV12, author = {Victor Dubinin and Valeriy Vyatkin}, title = {Semantics-Robust Design Patterns for {IEC} 61499}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {8}, number = {2}, pages = {279--290}, year = {2012}, url = {https://doi.org/10.1109/TII.2012.2186820}, doi = {10.1109/TII.2012.2186820}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/DubininV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/PatilVS12, author = {Sandeep Patil and Valeriy Vyatkin and Majid Sorouri}, title = {Formal verification of Intelligent Mechatronic Systems with decentralized control logic}, booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland, September 17-21, 2012}, pages = {1--7}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ETFA.2012.6489678}, doi = {10.1109/ETFA.2012.6489678}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/PatilVS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/StrasserAVZY12, author = {Thomas I. Strasser and Filip Andren and Valeriy Vyatkin and Gulnara Zhabelova and Chen{-}Wei Yang}, title = {Towards an {IEC} 61499 compliance profile for smart grids review and analysis of possibilities}, booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON} 2012, Montreal, QC, Canada, October 25-28, 2012}, pages = {3750--3757}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/IECON.2012.6389294}, doi = {10.1109/IECON.2012.6389294}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/iecon/StrasserAVZY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/SorouriPV12, author = {Majid Sorouri and Sandeep Patil and Valeriy Vyatkin}, title = {Distributed control patterns for intelligent mechatronic systems}, booktitle = {{IEEE} 10th International Conference on Industrial Informatics, {INDIN} 2012, Beijing, China, July 25-27, 2012}, pages = {259--264}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/INDIN.2012.6301149}, doi = {10.1109/INDIN.2012.6301149}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/SorouriPV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiV12, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {Transformation from {PLC} to distributed control using ontology mapping}, booktitle = {{IEEE} 10th International Conference on Industrial Informatics, {INDIN} 2012, Beijing, China, July 25-27, 2012}, pages = {436--441}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/INDIN.2012.6300940}, doi = {10.1109/INDIN.2012.6300940}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/DaiV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/YanVWB12, author = {Jeffrey Yan and Valeriy Vyatkin and Gerald Weber and Nigel Beach}, title = {Control and hardware-in-the-loop simulation of fruit packing machine with {IEC} 61499}, booktitle = {{IEEE} 10th International Conference on Industrial Informatics, {INDIN} 2012, Beijing, China, July 25-27, 2012}, pages = {923--928}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/INDIN.2012.6301152}, doi = {10.1109/INDIN.2012.6301152}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/YanVWB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/YangZVNA12, author = {Chen{-}Wei Yang and Gulnara Zhabelova and Valeriy Vyatkin and Nirmal{-}Kumar C. Nair and Alex Apostolov}, title = {Smart Grid automation: Distributed protection application with {IEC61850/IEC61499}}, booktitle = {{IEEE} 10th International Conference on Industrial Informatics, {INDIN} 2012, Beijing, China, July 25-27, 2012}, pages = {1067--1072}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/INDIN.2012.6301145}, doi = {10.1109/INDIN.2012.6301145}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/YangZVNA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/Vyatkin11, author = {Valeriy Vyatkin}, title = {{IEC} 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {7}, number = {4}, pages = {768--781}, year = {2011}, url = {https://doi.org/10.1109/TII.2011.2166785}, doi = {10.1109/TII.2011.2166785}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/Vyatkin11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/HigginsVNS11, author = {Neil Higgins and Valeriy Vyatkin and Nirmal{-}Kumar C. Nair and Karlheinz Schwarz}, title = {Distributed Power System Automation With {IEC} 61850, {IEC} 61499, and Intelligent Control}, journal = {{IEEE} Trans. Syst. Man Cybern. Part {C}}, volume = {41}, number = {1}, pages = {81--92}, year = {2011}, url = {https://doi.org/10.1109/TSMCC.2010.2046322}, doi = {10.1109/TSMCC.2010.2046322}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/HigginsVNS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/delta/DaiV11, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {Ontology Model for Migration from {IEC} 61131-3 {PLC} to {IEC} 61499 Function Block}, booktitle = {Sixth {IEEE} International Symposium on Electronic Design, Test and Application, {DELTA} 2011, Queenstown, New Zealand, 17-19 January, 2011}, pages = {172--175}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/DELTA.2011.63}, doi = {10.1109/DELTA.2011.63}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/delta/DaiV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tase/BlackV10, author = {Geoff Black and Valeriy Vyatkin}, title = {Intelligent Component-Based Automation of Baggage Handling Systems With {IEC} 61499}, journal = {{IEEE} Trans Autom. Sci. Eng.}, volume = {7}, number = {2}, pages = {337--351}, year = {2010}, url = {https://doi.org/10.1109/TASE.2008.2007216}, doi = {10.1109/TASE.2008.2007216}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tase/BlackV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/VyatkinD10, author = {Valeriy Vyatkin and Victor Dubinin}, title = {Refactoring of Execution Control Charts in Basic Function Blocks of the {IEC} 61499 Standard}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {6}, number = {2}, pages = {155--165}, year = {2010}, url = {https://doi.org/10.1109/TII.2009.2033051}, doi = {10.1109/TII.2009.2033051}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/VyatkinD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DaiV10, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {Redesign distributed {IEC} 61131-3 {PLC} system in {IEC} 61499 function blocks}, booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao, Spain}, pages = {1--8}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/ETFA.2010.5641239}, doi = {10.1109/ETFA.2010.5641239}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DaiV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/YoongRVS09, author = {Li Hsien Yoong and Partha S. Roop and Valeriy Vyatkin and Zoran A. Salcic}, title = {A Synchronous Approach for {IEC} 61499 Function Block Implementation}, journal = {{IEEE} Trans. Computers}, volume = {58}, number = {12}, pages = {1599--1614}, year = {2009}, url = {https://doi.org/10.1109/TC.2009.128}, doi = {10.1109/TC.2009.128}, timestamp = {Sat, 24 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tc/YoongRVS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/VyatkinHPY09, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch and Cheng Pang and Chia{-}Han Yang}, title = {Closed-Loop Modeling in Future Automation System Engineering and Validation}, journal = {{IEEE} Trans. Syst. Man Cybern. Part {C}}, volume = {39}, number = {1}, pages = {17--28}, year = {2009}, url = {https://doi.org/10.1109/TSMCC.2008.2005785}, doi = {10.1109/TSMCC.2008.2005785}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/VyatkinHPY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/DaiV09, author = {Wenbin William Dai and Valeriy Vyatkin}, title = {A case study on migration from {IEC} 61131 {PLC} to {IEC} 61499 function block control}, booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN} 2009, Cardiff, UK, 23-26 June 2009}, pages = {79--84}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/INDIN.2009.5195782}, doi = {10.1109/INDIN.2009.5195782}, timestamp = {Fri, 24 Jun 2022 11:50:02 +0200}, biburl = {https://dblp.org/rec/conf/indin/DaiV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/TataV09, author = {Piran Tata and Valeriy Vyatkin}, title = {Proposing a novel {IEC61499} runtime framework implementing the Cyclic Execution semantics}, booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN} 2009, Cardiff, UK, 23-26 June 2009}, pages = {416--421}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/INDIN.2009.5195840}, doi = {10.1109/INDIN.2009.5195840}, timestamp = {Fri, 24 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/indin/TataV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/DubininV08, author = {Victor Dubinin and Valeriy Vyatkin}, title = {On Definition of a Formal Model for {IEC} 61499 Function Blocks}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2008}, year = {2008}, url = {https://doi.org/10.1155/2008/426713}, doi = {10.1155/2008/426713}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/DubininV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/FerrariniLMVV08, author = {Luca Ferrarini and Jose L. Martinez Lastra and Allan Martel and Antonio Valentini and Valeriy Vyatkin}, title = {Embedded Systems Design in Intelligent Industrial Automation}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2008}, year = {2008}, url = {https://doi.org/10.1155/2008/194697}, doi = {10.1155/2008/194697}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/FerrariniLMVV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/VyatkinB08, author = {Valeriy Vyatkin and Gustavo Bouzon}, title = {Using Visual Specifications in Verification of Industrial Automation Controllers}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2008}, year = {2008}, url = {https://doi.org/10.1155/2008/251957}, doi = {10.1155/2008/251957}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/VyatkinB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/HigginsVNS08, author = {Neil Higgins and Valeriy Vyatkin and Nirmal{-}Kumar C. Nair and Karlheinz Schwarz}, title = {Concept for intelligent distributed power system automation with {IEC} 61850 and {IEC} 61499}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008}, pages = {36--41}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ICSMC.2008.4811247}, doi = {10.1109/ICSMC.2008.4811247}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/HigginsVNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/Al-SafiV07, author = {Yazen Al{-}Safi and Valeriy Vyatkin}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Valeriy Vyatkin and Armando W. Colombo}, title = {An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {4659}, pages = {114--126}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74481-8\_12}, doi = {10.1007/978-3-540-74481-8\_12}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/holomas/Al-SafiV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/BlackV07, author = {Geoff Black and Valeriy Vyatkin}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Valeriy Vyatkin and Armando W. Colombo}, title = {On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using {IEC} 61499}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {4659}, pages = {314--325}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74481-8\_30}, doi = {10.1007/978-3-540-74481-8\_30}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/holomas/BlackV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/holomas/2007, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Valeriy Vyatkin and Armando W. Colombo}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {4659}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74481-8}, doi = {10.1007/978-3-540-74481-8}, isbn = {978-3-540-74478-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/holomas/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmr/VyatkinHKPD06, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch and Sirko Karras and Thomas Pfeiffer and Victor Dubinin}, title = {Rapid engineering and re-configuration of automation objects aided by formal modelling and verification}, journal = {Int. J. Manuf. Res.}, volume = {1}, number = {4}, pages = {382--404}, year = {2006}, url = {https://doi.org/10.1504/IJMR.2006.012252}, doi = {10.1504/IJMR.2006.012252}, timestamp = {Wed, 05 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmr/VyatkinHKPD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmtm/HanischLLTV06, author = {Hans{-}Michael Hanisch and Andrei Lobov and Jose L. Martinez Lastra and Reijo Tuokko and Valeriy Vyatkin}, title = {Formal validation of intelligent-automated production systems: towards industrial applications}, journal = {Int. J. Manuf. Technol. Manag.}, volume = {8}, number = {1/2/3}, pages = {75--106}, year = {2006}, url = {https://doi.org/10.1504/IJMTM.2006.008802}, doi = {10.1504/IJMTM.2006.008802}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmtm/HanischLLTV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmtm/Vyatkin06, author = {Valeriy Vyatkin}, title = {The potential impact of the {IEC61499} standard on the progress of distributed intelligent automation}, journal = {Int. J. Manuf. Technol. Manag.}, volume = {8}, number = {1/2/3}, pages = {107--125}, year = {2006}, url = {https://doi.org/10.1504/IJMTM.2006.008801}, doi = {10.1504/IJMTM.2006.008801}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmtm/Vyatkin06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/VyatkinHH06, author = {Valeriy Vyatkin and Martin Hirsch and Hans{-}Michael Hanisch}, title = {Systematic Design and Implementation of Distributed Controllers in Industrial Automation}, booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic}, pages = {633--640}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ETFA.2006.355448}, doi = {10.1109/ETFA.2006.355448}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/VyatkinHH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/DubininVH06, author = {Victor Dubinin and Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Modelling and Verification of {IEC} 61499 Applications using Prolog}, booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic}, pages = {774--781}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ETFA.2006.355449}, doi = {10.1109/ETFA.2006.355449}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/DubininVH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/SunderFV06, author = {Christoph S{\"{u}}nder and Bernard Favre{-}Bulle and Valeriy Vyatkin}, title = {Towards an Approach for the Verification of Downtimeless System Evolution}, booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic}, pages = {1133--1136}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ETFA.2006.355229}, doi = {10.1109/ETFA.2006.355229}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/SunderFV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcim/AuingerBCLV05, author = {Franz Auinger and Robert W. Brennan and James H. Christensen and Jose L. Martinez Lastra and Valeriy Vyatkin}, title = {Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: {OOONEIDA} approach}, journal = {Int. J. Comput. Integr. Manuf.}, volume = {18}, number = {7}, pages = {572--585}, year = {2005}, url = {https://doi.org/10.1080/09511920500069507}, doi = {10.1080/09511920500069507}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcim/AuingerBCLV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/VyatkinCL05, author = {Valeriy Vyatkin and James H. Christensen and Jose L. Martinez Lastra}, title = {{OOONEIDA:} an open, object-oriented knowledge economy for intelligent industrial automation}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {1}, number = {1}, pages = {4--17}, year = {2005}, url = {https://doi.org/10.1109/TII.2005.843829}, doi = {10.1109/TII.2005.843829}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/VyatkinCL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/VyatkinH05, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Reuse of components in formal modeling and verification of distributed control systems}, booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania, Italy}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ETFA.2005.1612511}, doi = {10.1109/ETFA.2005.1612511}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/VyatkinH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/DubininVP05, author = {Victor Dubinin and Valeriy Vyatkin and Thomas Pfeiffer}, title = {Engineering of Validatable Automation Systems Based on an Extension of {UML} Combined With Function Blocks of {IEC} 61499}, booktitle = {Proceedings of the 2005 {IEEE} International Conference on Robotics and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain}, pages = {3996--4001}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ROBOT.2005.1570732}, doi = {10.1109/ROBOT.2005.1570732}, timestamp = {Wed, 05 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icra/DubininVP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/crc/IIR2005/HanischV05, author = {Hans{-}Michael Hanisch and Valeriy Vyatkin}, editor = {Richard Zurawski}, title = {Acheiving Reconfigurability of Automation Systems by Using the New International Standard {IEC} 61499: {A} Developer's View}, booktitle = {The Industrial Information Technology Handbook}, pages = {1--20}, publisher = {{CRC} Press}, year = {2005}, timestamp = {Fri, 04 Mar 2005 13:41:15 +0100}, biburl = {https://dblp.org/rec/books/crc/IIR2005/HanischV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jim/VyatkinH03, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Verification of distributed control systems in intelligent manufacturing}, journal = {J. Intell. Manuf.}, volume = {14}, number = {1}, pages = {123--136}, year = {2003}, url = {https://doi.org/10.1023/A\%3A1022295414523}, doi = {10.1023/A\%3A1022295414523}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jim/VyatkinH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Vyatkin03, author = {Valeriy Vyatkin}, editor = {Manfred Broy and Alexandre V. Zamulin}, title = {Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems}, booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2890}, pages = {319--328}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39866-0\_31}, doi = {10.1007/978-3-540-39866-0\_31}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/ershov/Vyatkin03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/CaiVH03, author = {Xiujun Cai and Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Design and implementation of a prototype control system according to {IEC} 61499}, booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2}, pages = {269--276}, publisher = {{IEEE}}, year = {2003}, url = {https://doi.org/10.1109/ETFA.2003.1248710}, doi = {10.1109/ETFA.2003.1248710}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/CaiVH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/Vyatkin03, author = {Valeriy Vyatkin}, title = {Intelligent mechatronic components: control system engineering using an open distributed architecture}, booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2}, pages = {277--284}, publisher = {{IEEE}}, year = {2003}, url = {https://doi.org/10.1109/ETFA.2003.1248711}, doi = {10.1109/ETFA.2003.1248711}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/Vyatkin03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/LobovLTV03, author = {Andrei Lobov and Jose L. Martinez Lastra and Reijo Tuokko and Valeriy Vyatkin}, title = {Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments}, booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2}, pages = {329--336}, publisher = {{IEEE}}, year = {2003}, url = {https://doi.org/10.1109/ETFA.2003.1248718}, doi = {10.1109/ETFA.2003.1248718}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etfa/LobovLTV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip5-3/VyatkinH02, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Luis M. Camarinha{-}Matos and Hamideh Afsarmanesh}, title = {Component Design and Formal Validation of {SFA} Systems: {A} Case Study}, booktitle = {Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, {IFIP} {TC5/WG5.3} Fifth {IFIP/IEEE} International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS'02), September 25-27, 2002, Cancun, Mexico}, series = {{IFIP} Conference Proceedings}, volume = {229}, pages = {313--322}, publisher = {Kluwer}, year = {2002}, timestamp = {Tue, 25 Jul 2006 08:46:07 +0200}, biburl = {https://dblp.org/rec/conf/ifip5-3/VyatkinH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/Vyatkin01, author = {Valeriy Vyatkin}, editor = {Dines Bj{\o}rner and Manfred Broy and Alexandre V. Zamulin}, title = {Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions}, booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2244}, pages = {55--63}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45575-2\_8}, doi = {10.1007/3-540-45575-2\_8}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/ershov/Vyatkin01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etfa/VyatkinH01, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Formal modeling and verification in the software engineering framework of {IEC} 61499: a way to self-verifying systems}, booktitle = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2}, pages = {113--118}, publisher = {{IEEE}}, year = {2001}, url = {https://doi.org/10.1109/ETFA.2001.997677}, doi = {10.1109/ETFA.2001.997677}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/etfa/VyatkinH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/VyatkinH01, author = {Valeriy Vyatkin and Hans{-}Michael Hanisch}, title = {Application of visual specifications for verification of distributed controllers}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man {\&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001}, pages = {646--651}, publisher = {{IEEE}}, year = {2001}, url = {https://doi.org/10.1109/ICSMC.2001.969925}, doi = {10.1109/ICSMC.2001.969925}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/VyatkinH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.