Information Technologies in Industrial Automation

Filter
Conference article in proceedings

Search results

  • 2017

    Towards formal verification for cyber-physically agnostic software: A case study

    Drozdov, D., Patil, S., Dubinin, V. & Vyatkin, V., 15 Dec 2017, Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE, Vol. 2017-January. p. 5509-5514 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    13 Citations (Scopus)
  • 2016

    A Comparison of Formal Verification Approaches for IEC 61499

    Blech, J. O., Lindgren, P., Pereira, D., Vyatkin, V. & Zoitl, A., 3 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. IEEE, Vol. 2016-November. 4 p. 7733636. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • A study on user-friendly formal specification languages for requirements formalization

    Pang, C., Pakonen, A., Buzhinskii, I. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 676-682 7 p. 7819246. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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

    Yang, C. W., Vyatkin, V. & Dubinin, V., 2016, IFIP Advances in Information and Communication Technology. Camarinha-Matos, L. M., Falcão, A. J., Vafaei, N. & Najdi, S. (eds.). Springer, Vol. 470. p. 37-45 9 p. (IFIP Advances in Information and Communication Technology; vol. 470).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (Scopus)

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

    Demin, E., Dubinin, V., Patil, S. & Vyatkin, V., 2016, Studies in Computational Intelligence. Springer, Vol. 640. p. 213-221 9 p. (Studies in Computational Intelligence; vol. 640).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Context Modeling with Situation Rules for Industrial Maintenance

    Aarnio, P., Vyatkin, V. & Hästbacka, D., 2016, Proceedings of the 21st IEEE Conference on Emerging Technologies and Factory Automation, ETFA'2016 . IEEE, 9 p. ( Proceedings IEEE International Conference on Emerging Technologies and Factory Automation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    15 Citations (Scopus)

  • Data center energy efficiency and power quality: An alternative approach with solid state transformer

    Zhabelova, G., Yavarian, A., Vyatkin, V. & Huang, A. Q., 25 Jan 2016, Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015. IEEE, p. 1294-1300 7 p. 7392279. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    20 Citations (Scopus)

  • Decentralised coordination of intelligent autonomous batteries

    Nefedov, E. & Vyatkin, V., 2016, IFIP Advances in Information and Communication Technology. Camarinha-Matos, L. M., Falcão , A. J., Vafaei, N. & Najdi, S. (eds.). Springer, Vol. 470. p. 425-433 9 p. (IFIP Advances in Information and Communication Technology; vol. 470).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    4 Citations (Scopus)

  • District heating temperature control algorithm based on short term weather forecast and consumption predictions

    Papakonstantinou, N., Savolainen, J., Koistinen, J., Aikala, A. & Vyatkin, V., 3 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. IEEE, Vol. 2016-November. 8 p. 7733748. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    6 Citations (Scopus)

  • Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm

    Dai, W., Huang, W. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. IEEE, p. 5253-5258 6 p. 7793834. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    13 Citations (Scopus)

  • Evaluating benefits of collaborative intelligent batteries in SmartGrid

    Nefedov, E. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. IEEE, p. 5265-5270 6 p. 7793864. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    4 Citations (Scopus)

  • Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

    Dubinin, V., Vyatkin, V. & Shalyto, A., 14 Jun 2016, 2016 International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings. IEEE, 4 p. 7491701

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    3 Citations (Scopus)

  • Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams

    Drozdov, D., Patil, S., Dubinin, V. & Vyatkin, V., 2016, Proceedings of the 25th IEEE International Symposium on Industrial Electronics, ISIE 2016. IEEE, p. 316-321 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    10 Citations (Scopus)

  • Improvement of energy efficiency in data centers via flexible humidity control

    Berezovskaya, Y., Mousavi, A., Vyatkin, V., Zhang, X. & Minde, T. B., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. IEEE, p. 5585-5590 6 p. 7793777. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    12 Citations (Scopus)

  • Intelligent product and mechatronic software components facilitating mass customization in collaborative manufacturing systems

    Sorouri, M. & Vyatkin, V., 2016, Collaboration in a Hyperconnected World - 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Proceedings. Afsarmanesh, H., Camarinha-Matos, L. M. & Lucas Soares, A. (eds.). Springer, Vol. 480. p. 394-407 14 p. (IFIP Advances in Information and Communication Technology; vol. 480).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems

    Dai, W., Huang, W. & Vyatkin, V., 15 Nov 2016, Proceedings of the 25th IEEE International Symposium on Industrial Electronics, ISIE 2016. IEEE, Vol. 2016-November. p. 1055-1060 6 p. 7745038. (Proceedings of the IEEE International Symposium on Industrial Electronics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • Modelling of IEC 61850 message passing for automatic generation of distributed control

    Yang, C. W. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1524-1529 6 p. 7392317

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Open Architecture for Cost Effective Protection and Control of Power Distribution Networks

    Zhabelova, G., Yang, C.-W., Vyatkin, V., Etherden, N. & Christoffersson, L., 2016, IEEE International Conference on Smart Grid Communications, SmartGridComm 2016. IEEE, p. 729-735 7778848. (International Conference on Smart Grid Communications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    6 Citations (Scopus)

  • Optimization of decentralized energy storage flexibility for frequency reserves

    Kilkki, O., Giovanelli, C., Seilonen, I. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society: Proceedings. IEEE, p. 2219-2224 6 p. 7392431

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Orchestration of Arrowhead services using IEC 61499: Distributed automation case study

    Derhamy, H., Drozdov, D., Patil, S., Van Deventer, J., Eliasson, J. & Vyatkin, V., 3 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. IEEE, Vol. 2016-November. 5 p. 7733650

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    6 Citations (Scopus)

  • Parameters selection in predictive online simulation

    Santillán Martínez, G., Miettinen, T., Aikala, A., Savolainen, J., Kondelin, K., Karhela, T. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 726-729 4 p. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Plant model inference for closed-loop verification of control systems: Initial explorations

    Buzhinskii, I. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 736-739 4 p. 7819256. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Reconfigurable elements of execution semantics for industrial cyber-physical systems

    Dai, W., Pang, C. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 2252-2257 6 p. 7392437

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Reconstruction of function block controllers based on test scenarios and verification

    Chivilikhin, D., Ivanov, I., Shalyto, A. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 646-651 6 p. 7819240. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

    Sinha, R., Pang, C., Martinez, G. S., Kuronen, J. & Vyatkin, V., 15 Jan 2016, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE, Vol. 2016-January. p. 198-201 4 p. 7384248

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software

    Sinha, R., Patil, S., Pang, C., Vyatkin, V. & Dowdeswell, B., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 2172-2177 6 p. 7392423

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    8 Citations (Scopus)

  • Requirement Verification in Simulation Based Automation Testing

    Siivola, E., Sierla, S., Niemistö, H., Karhela, T. & Vyatkin, V., 2016, Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 740-743 4 p. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Speculative computation in IEC 61499 function blocks execution - Modeling and simulation

    Drozdov, D., Dubinin, V. & Vyatkin, V., 2016, Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 748-755 8 p. 7819259. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards a formal model of protection functions for power distribution networks

    Masselot, M., Patil, S., Zhabelova, G. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. IEEE, p. 5302-5309 8 p. 7794150. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    6 Citations (Scopus)

  • Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

    Vyatkin, V., Pang, C. & Tripakis, S., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1970-1975 6 p. 7392389

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    13 Citations (Scopus)

  • Towards formal verification of smart grid distributed intelligence: FREEDM case

    Patil, S., Zhabelova, G., Vyatkin, V. & McMillin, B., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 3974-3979 6 p. 7392719

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    14 Citations (Scopus)

  • Towards IEC 61499 models of computation in Ptolemy II

    Pang, C., Dai, W. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1988-1993 6 p. 7392392

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    4 Citations (Scopus)

  • User-friendly formal specification languages - Conclusions drawn from industrial experience on model checking

    Pakonen, A., Pang, C., Buzhinsky, I. & Vyatkin, V., 3 Nov 2016, Proceedings of the 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. IEEE, Vol. 2016-November. 7733717. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    22 Citations (Scopus)
  • 2015

    Adaptation of Material Flows in Mechanical Transportation Systems based on Observation Experience

    Belyakov, S., Savelyeva, M., Yan, J. & Vyatkin, V., 2015, First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15)Helsinki, 2015. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • A Hybrid Approach for the Initialization of Tracking Simulation Systems

    Santillán Martínez, G., Karhela, T., Niemistö, H., Rossi, A., Pang, C. & Vyatkin, V., 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. Luxembourg

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    7 Citations (Scopus)

  • An auction-based smart district heating grid

    Gulzar, K., Sierla, S., Papakonstantinou, N., Yang, C.-W., Flikkema, P. G. & Vyatkin, V., 2015, 20th IEEE International Conference on Emerging Technologies & Factory Automation - ETFA 2015, Luxembourg, Sep 8-11, 2015.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    4 Citations (Scopus)

  • An OPC UA Based Architecture for Testing Tracking Simulation Methods

    Santillán Martínez, G., Karhela, T., Vyatkin, V., Miettinen, T. & Pang, C., 2015, The 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, 20.-22.8.2015. Helsinki, Finland

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    10 Citations (Scopus)

  • A Real-Time Semantics for the IEC 61499 standard

    Lindgren, P., Lindner, M., Lindner, A., Vyatkin, V., Pereira, D. & Pinho, L. M., 2015, 20th IEEE International conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    10 Citations (Scopus)

  • A SysML Profile Supporting Change Orders in Model Driven Engineering

    Lin, H.-Y., Sierla, S., Papakonstantinou, N. & Vyatkin, V., 2015, 11th IEEE International Conference on Automation Science and Engineering (CASE 2015), August 24-28, 2015, Gothenburg, Sweden.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Change Request Management in Model-Driven Engineering of Industrial Automation Software

    Lin, H.-Y., Sierla, S., Papakonstantinou, N., Shalyto, A. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), 22-24 July 2015, Cambridge, UK. Cambridge, UK

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications

    Patil, S., Drozdov, D., Dubinin, V. & Vyatkin, V., 2015, Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015. Camarinha-Matos, L. M., Baldissera, T. A., Di Orio, G. & Marques, F. (eds.). Germany: Springer

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    13 Citations (Scopus)

  • Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems

    Patil, S., Vyatkin, V. & Pang, C., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. Cambridge, UK, p. 1192-1197

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    19 Citations (Scopus)

  • Cyber-physical Design of Data Centers Cooling Systems Automation

    Mousavi, A., Vyatkin, V., Berezovskaya, Y. & Zhang, X., 2015, First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15) Helsinki, 2015. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    12 Citations (Scopus)

  • Data center power dynamics within the settings of regional power grid

    Yavarian, A., Zhabelova, G. & Vyatkin, V., 2015, 20th IEEE International conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    7 Citations (Scopus)

  • Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning

    Hästbacka, D., Aarnio, P., Vyatkin, V. & Kuikka, S., 2015, 7th International Conference on Knowledge Management and Information Sharing (KMIS), Lisbon, Portugal, 12-14, November, 2015.. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Energy Consumption Modeling of Data Center IT Room with Distributed Air Flow

    Zhang, X., Lindberg, T., Svensson, K., Vyatkin, V. & Mousavi, A., 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

    Buzhinsky, I., Ulyantsev, V., Veijalainen, J. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. p. 1213-1218

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Fault Detection in the Hyperspace: Towards Intelligent Automation Systems

    Kleyko, D., Osipov, E., Papakonstantinou, N., Vyatkin, V. & Mousavi, A., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, United Kingdom, 22-24 July 2015. United States, p. 1219-1224

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    21 Citations (Scopus)

  • Formal Modeling of Testing Software for Cyber-Physical Automation Systems

    Buzhinsky, I., Pang, C. & Vyatkin, V., 2015, IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015. p. 301-306

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    12 Citations (Scopus)

  • Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

    Patil, S., Dubinin, V. & Vyatkin, V., 2015, 1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015. Germany

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    15 Citations (Scopus)