Concepedia

Andrei Rozov

AR

Statistics

Publications

4

Citations

86

H-Index

4

Active since

2018

Affiliations

Institute of Automation and Electrometry(Current)

Andrei Rozov is an author at Institute of Automation and Electrometry specializing in computer science, specification languages, and process control.

Publications per year

2018–2022

4

Publications

4

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language

Vladimir Zyubin, Andrei Rozov, Igor Anureev et al. · IEEE Access · 2022 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +14

REFLEX LANGUAGE: A PRACTICAL NOTATION FOR CYBER-PHYSICAL SYSTEMS

Vladimir Zyubin, Tatiana Liakh, Andrei Rozov · System Informatics · 2018 · 21 citations · Full text

Engineering, Computer Science, Systems Engineering +15

Towards Safe Cyber-Physical Systems: the Reflex Language and Its Transformational Semantics

Igor Anureev, Natalia Garanina, Tatiana Liakh et al. · 2019 · 18 citations

Computing, Computer Science, Systems Engineering +15

A Temporal Logic for Programmable Logic Controllers

Natalia Garanina, Igor Anureev, Vladimir Zyubin et al. · Automatic Control and Computer Sciences · 2021 · 15 citations

Engineering, Computer Engineering, Computer Science +11

1–4 of 4