Victor Dubinin

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 22

Top Topics

Using Semantic Web Technologies

Formal Verification

Automatically Generate

Transition Model

Top Venues

IEEE Trans. Ind. Informatics

Publications

Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets (2023)
Nikolai Galkin, Michail Ruchkin, Valeriy Vyatkin, Chen-Wei Yang, Victor Dubinin
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. IEEE Access 11 (2023)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Process mining in industrial control systems. INDIN (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Plant model generation from event log using ProM for formal verification of CPS. CoRR (2022)
Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. 19 (1) (2022)
Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics 16 (1) (2020)
Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN (2019)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA (2019)
Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN (2018)
Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS (2017)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Towards formal verification for cyber-physically agnostic software: A case study. IECON (2017)
Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. IEEE Trans. Ind. Informatics 13 (2) (2017)
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
On development of execution model for model transforming distributed substation automation control with ontology. ISIE (2017)
Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN (2016)
Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS (2016)
Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE (2016)
Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS (2015)
Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA (2015)
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) (2015)
Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA (2015)
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) (2015)
Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. ETFA (2014)
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
Migration From PLC to IEC 61499 Using Semantic Web Technologies. IEEE Trans. Syst. Man Cybern. Syst. 44 (3) (2014)
Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin
Decision making for industrial agents in Smart Grid applications. IECON (2014)
Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference (2014)
Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin
Function block implementation of service oriented architecture: Case study. INDIN (2014)
Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang
Automatic generation of automation applications based on ontology transformations. ETFA (2014)
Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON (2014)
Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. IEEE Trans. Ind. Informatics 9 (4) (2013)
Victor Dubinin, Valeriy Vyatkin
Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics 8 (2) (2012)
Valeriy Vyatkin, Victor Dubinin
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics 6 (2) (2010)
Victor Dubinin, Valeriy Vyatkin
On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. 2008 (2008)
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA (2006)
Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. 1 (4) (2006)
Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA (2005)