Vladimir Zyubin


Author of pioneering work in the field of process-oriented programming, starting with the fundamental work introducing the conceptual framework for process-oriented programming - the hyperprocess model, which extends the finite state machine model for application in a wide class of control algorithms. The hyperprocess model later served as a basis for C-like specialized programming language SPARM, and, consequently, of it's advanced version - the Reflex language.

Effectiveness of the process-oriented approach has since been demonstrated in a series of complex and practically valuable projects. Most notable among these are the automatic control system for growing silicon single-crystal ingots, and automatic climate control system for the Big Vacuum Solar Telescope (Listvyanka, Baikal).

Based on the developed approach, a technology has been created for automated dynamic verification of control algorithms via testing, followed by an automatic verification approach using software simulators of control objects.

With Reflex language as a basis, the IndustrialC programming language has been developed, adapting the process-oriented approach for development of embedded microcontroller systems.

Dr. Zyubin has extensive experience in developing industrial automatic control systems. Particularly, world-class results have been achieved in the project on automatic recording of Bragg gratings in optical fibers.

Since 2017, he was directly involved in a series of research projects on creating static verification tools for control software using ontology-based methods, model checking and deductive verification. As a result, a process ontology was developed, covering the class of control objects, the transformation semantics of the Reflex language was specified, and a two-stage deductive verification method was proposed for Reflex programs based on the Z3 prover.

Dr. Zyubin currently heads the laboratory of cyber-physical systems in the Institute of Automation and Electrometry SB RAS, which included experts in the fields of programming languages, dynamic and static verification of control algorithms, and neural network systems. This enables multidisciplinary research on development of integrated approaches based on the process-oriented programming paradigm, yielding world-class scientific results.


  • LNCS, vol 12232, August 2020
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
    Two-Step Deductive Verification of Control Software Using Reflex
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia, July 2019
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6., April 2019
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30., 2019
  • Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
    Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
    Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria, 2019
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, September 2018
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94., 2018
  • Reflex Language: a Practical Notation for Cyber-Physical Systems
    System Informatics 12 (2018), pp. 84–104, 2018
  • Tatiana Liah, Vladimir Zyubin
    The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
    17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)., June 2016
  • Andrey Rozov, Vladimir Zyubin
    A hyperprocess-based approach in Arduino programming
    International Conference on Advanced Technology & Sciences (ICAT’15), Antalya, August 2015
  • Andrei S. Rozov and Vladimir E. Zyubin
    Process-oriented programming language for MCU-based automation
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk, 2013
  • Zyubin V. E
    Using Process-Oriented Programming in LabVIEW
    Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk, June 2010
  • Zyubin V. E
    Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
    Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia, July 2008
  • Vladimir E. Zyubin
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk, 2007
  • Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V
    An Automated Control System for a Silicon Single-Crystal Growth Furnace
    Autometria, Vol. 32, No 2 (1996), pp. 25–30, 1996