Publications

Article in journal

A Hyperdimensional Computing Framework for Analysis of Cardiorespiratory Synchronization during Paced Deep Breathing (2019)

Kleyko. D, Osipov. E, Wiklund. U
IEEE Access, Vol. 7, s. 34403-34415
Article in journal

A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems (2019)

Atmojo. U, Salcic. Z, Wang. K, Vyatkin. V
IEEE Transactions on Industrial Informatics
Article in journal

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems (2019)

Sinha. R, Patil. S, Gomes. L, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 15, nr. 7, s. 3772-3783
Article in journal

Adapting an agile manufacturing concept to the reference architecture model industry 4.0 (2019)

A survey and case study
Yli-Ojanperä. M, Sierla. S, Papakonstantinou. N, Vyatkin. V
Journal of Industrial Information Integration
Article in journal

Applying graph matching techniques to enhance reuse of plant design information (2019)

Rantala. M, Niemistö. H, Karhela. T, Sierla. S, Vyatkin. V
Computers in industry (Print), Vol. 107, s. 81-98
Article in journal

Automatic Generation of Control Flow from Requirements for Distributed Smart Grid Automation Control (2019)

Yang. C, Dubinin. V, Vyatkin. V
IEEE Transactions on Industrial Informatics
Article in journal

Autoscaling Bloom filter (2019)

Controlling trade-off between true and false positives
Kleyko. D, Rahimi. A, Gayler. R, Osipov. E
Neural computing & applications (Print)
Article in journal

Concurrent Reactive Objects in Rust Secure by Construction (2019)

Lindner. M, Aparicio. J, Lindgren. P
Ada User Journal, Vol. 40, nr. 1
Article in journal

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking (2019)

Guellouz. S, Benzina. A, Khalgui. M, Frey. G, Li. Z, Vyatkin. V
IEEE Transactions on Automation Science and Engineering, Vol. 16, nr. 3, s. 1110-1124
Article in journal

Function Block Finite-State Model Identification Using SAT and CSP Solvers (2019)

Chivilikhin. D, Ulyantsev. V, Shalyto. A, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 15, nr. 8, s. 4558-4568
Article in journal

Guest Editorial (2019)

Special Section on Developments in Artificial Intelligence for Industrial Informatics
de Silva. D, Pang. Z, Osipov. E, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 15, nr. 6, s. 3690-3692
Article in journal

Parameter Estimation for the Resulting Logical Channel Formed by Minimizing Channel Switching (2019)

Krasheninnikov. P, Melent’ev. O, Kleyko. D, Shapin. A
Automation and remote control, Vol. 80, nr. 2, s. 278-285