Publications

Conference paper

A distributed ICT architecture for continuous frequency control (2017)

Giovanelli. C, Kikki. O, Alahäivälä. A, Seilonen. I, Lehtonen. M, Vyatkin. V
Part of: SMARTGREENS 2017, Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems 2017, s. 135-142, 2017
Article in journal

A Formal Methodology for Accomplishing IEC61850 Real-Time Communication Requirements (2017)

Kunz. G, Machado. J, Perondi. E, Vyatkin. V
IEEE transactions on industrial electronics (1982. Print), ISSN: 0278-0046, Vol. 64, nr. 8, s. 6582-6590
Conference paper

A study on user-friendly formal specification languages for requirements formalization (2017)

Pang. C, Pakonen. A, Buzhinsky. I, Vyatkin. V
Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 676-682, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819246
Conference paper

Approximate Sensing with Vector Symbolic Architectures (2017)

Osipov. E, Kleyko. D, Papakonstantinou. N
Part of: Proceedings, EWSN ’17 Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, s. 224-225, ACM Digital Library, 2017
Conference paper

Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification (2017)

Dubinin. V, Senokosov. I, Vyatkin. V
Part of: Industrial Applications of Holonic and Multi-Agent Systems, 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings, s. 80-91, Springer, 2017
Article in journal

Automatic Inference of Finite-State Plant Models from Traces and Temporal Properties (2017)

Buzhinsky. I, Vyatkin. V
IEEE Transactions on Industrial Informatics, ISSN: 1551-3203, Vol. 13, nr. 4, s. 1521-1530
Article in journal

Cooling Energy Consumption Investigation of Data Center IT Room with Vertical Placed Server (2017)

Zhang. X, Lindberg. T, Xiong. N, Vyatkin. V, Mousavi. A
Energy Procedia, ISSN: 1876-6102, Vol. 105, s. 2047-2052
Article in journal

Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems (2017)

Dai. W, Pang. C, Vyatkin. V, Christensen. J, Guan. X
IEEE Transactions on Systems, Man & Cybernetics. Systems, ISSN: 2168-2216
Conference paper

Distributed Home Automation System Based on IEC 61499 Function Blocks and Wireless Sensor Networks (2017)

Abrishambaf. R, Bal. M, Vyatkin. V
Part of: 2017 IEEE International Conference on Industrial Technology (ICIT), s. 1354-1359, Institute of Electrical and Electronics Engineers (IEEE), 2017
Conference paper

Distributed home automation system based on IEC61499 function blocks and wireless sensor networks (2017)

Abrishambaf. R, Bal. M, Vyatkin. V
Part of: Proceedings of the IEEE International Conference on Industrial Technology, s. 1354-1359, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7915561
Conference paper

Distributed ICT architecture and an application for optimized automated demand response (2017)

Giovanelli. C, Kikki. O, Seilonen. I, Vyatkin. V
Part of: IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT Europe 2016,  Ljubljana, Slovenia,  9-12 October 2016, 2017, 7856329
Conference paper

Formal Modelling of Distributed Automation CPS with CP-Agnostic Software (2017)

Drozdov. D, Patil. S, Vyatkin. V
Part of: Service Orientation in Holonic and Multi-Agent Manufacturing, Proceedings of SOHOMA 2016, s. 35-46, Springer International Publishing, 2017