Vladimir Zyubin

Vladimir Zyubin


Research Groups

Biography

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. The latest results are the poST language that is a process-oriented extension of the IEC 61131-3 Structured Text language and Event-Driven Temporal Logic (EDTL) notation for control software requirements specification.

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.

Publications

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

LNCS, vol 12232

Read more

Verifying Reflex-software with SPIN: Hand Dryer Case Study

July 2020

Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin

XXI International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Novosibirsk, 29 June - 3 July 2020, P. 210-214

Read more

Two-Step Deductive Verification of Control Software Using Reflex

July 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

April 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems

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

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

Constructing verification-oriented domain-specific process ontologies

2019

Garanina N.O., Anureev I.S., Zyubin V.E

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30.

An Ontology of Specification Patterns for Verification of Concurrent Systems

September 2018

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

Read more

Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators

2018

Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

System Informatics 12 (2018), pp. 84–104

The Reflex Language Usage to Automate the Large Solar Vacuum Telescope

June 2016

Tatiana Liah, Vladimir Zyubin

17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).

A hyperprocess-based approach in Arduino programming

August 2015

Andrey Rozov, Vladimir Zyubin

International Conference on Advanced Technology & Sciences (ICAT’15), Antalya

Process-oriented programming language for MCU-based automation

2013

Andrei S. Rozov and Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

Using Process-Oriented Programming in LabVIEW

June 2010

Zyubin V. E

Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk

Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues

July 2008

Zyubin V. E

Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

Read more

An Automated Control System for a Silicon Single-Crystal Growth Furnace

1996

Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V

Autometria, Vol. 32, No 2 (1996), pp. 25–30