Hakutulokset

Active Learning of Formal Plant Models for Cyber-Physical Systems

Ovsiannikova, Polina; Chivilikhin, Daniil; Ulyantsev, Vladimir; Stankevich, Andrey; Zakirzyanov, Ilya; Vyatkin, Valeriy; Shalyto, Anatoly
IEEE International Conference on Industrial Informatics, IEEE, 2018
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study

Yli-Ojanperä, Matti; Sierla, Seppo; Papakonstantinou, Nikolaos; Vyatkin, Valeriy
journal industrial information integration, 2019
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti
Hae kokoteksti

Auto-generation of distributed automation software based on formal product line specification

Dubinin, Victor; Senokosov, Ilya; Vyatkin, Valeriy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER, 2017
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic assembly planning based on digital product descriptions

Sierla, Seppo; Kyrki, Ville; Aarnio, Pekka; Vyatkin, Valeriy
Computers in Industry, Elsevier, 2018
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti

Automatic Generation of a High-Fidelity Dynamic Thermal-hydraulic Process Simulation Model from a 3D Plant Model

Santillán Martínez, Gerardo; Sierla, Seppo; Karhela, Tommi; Lappalainen, Jari; Vyatkin, Valeriy
ieee access, 2018
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti
Hae kokoteksti

Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model

Gulzar, Kashif; Ruusu, Reino; Sierla, Seppo; Aarnio, Pekka; Karhela, Tommi; Vyatkin, Valeriy
ieee international conference industrial informatics, 2018
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic generation of cyber-physical software applications based on physical to cyber transformation using ontologies

Yang, Chen Wei; Vyatkin, Valeriy; Dubinin, Victor
IFIP Advances in Information and Communication Technology, Springer New York LLC, 2016
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic generation of function block applications using evolutionary algorithms Initial explorations

Mironovich, Vladimir; Buzdalov, Maxim; Vyatkin, Valeriy
IEEE International Conference on Industrial Informatics, IEEE, 2017
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic generation of function block systems implementing HMI for energy distribution automation

Voinov, Artem; Yang, Chen-Wei; Vyatkin, Valeriy
IEEE International Conference on Industrial Informatics, IEEE, 2017
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic generation of pipelines into a 3D industrial process model

Tekijät: Sierla, Seppo, Karhela, Tommi, Vyatkin, Valeriy
ieee access, 2017
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti
Hae kokoteksti

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

Tekijät: Buzhinsky, Igor, Vyatkin, Valeriy
IEEE Transactions on Industrial Informatics, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti
Hae kokoteksti

Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms

Mironovich, Vladimir; Buzdalov, Maxim; Vyatkin, Valeriy
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2018
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Automatic test case generation from requirements for industrial cyber-physical systems

Sinha, Roopak; Pang, Cheng; Martínez, Gerardo Santillán; Vyatkin, Valeriy
At-Automatisierungstechnik, OLDENBOURG WISSENSCHAFTSVERLAG GMBH, 2016
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti

Automation services orchestration with function blocks Web-service implementation and performance evaluation

Demin, Evgenii; Dubinin, Victor; Patil, Sandeep; Vyatkin, Valeriy
Studies in Computational Intelligence, Springer-Verlag, 2016
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

A Comprehensive Model of Data Center From CPU to Cooling Tower

Zhabelova, Gulnara; Vesterlund, Mattias; Eschmann, Sascha; Berezovskaya, Yulia; Vyatkin, Valeriy; Flieller, Damien
IEEE ACCESS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Hae kokoteksti
Hae kokoteksti

Context modeling with situation rules for industrial maintenance

Aarnio, Pekka; Vyatkin, Valeriy; Hästbacka, David
proceedings ieee international conference emerging technologies factory automation, 2016
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti
Hae kokoteksti

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

Zhang, Xiaojing; Lindberg, Theresa; Xiong, N.; Vyatkin, V.; Mousavi, Arash
Energy Procedia, Elsevier, 2017
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti
Hae kokoteksti

Counterexample visualization and explanation for function block diagrams

Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
2018
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti
Hae kokoteksti

Counterexample-guided inference of controller logic from execution traces and temporal formulas

Chivilikhin, Daniil; Buzhinskv, Igor; Ulvantsev, Vladimir; Stankevich, Andrey; Shalyto, Anatoly; Vyatkin, Valeriy
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2018
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

CSP-based inference of function block finite-state models from execution traces

Chivilikhin, Daniil; Ulyantsev, Vladimir; Shalyto, Anatoly; Vyatkin, Valeriy
IEEE International Conference on Industrial Informatics, IEEE, 2017
A4 Artikkeli konferenssijulkaisussa

Hae kokoteksti

Rajaa hakua