![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Victor Dubinin
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j14]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: 4633-4644 (2023) - [c25]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: 16-33 - 2022
- [j13]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): 425-440 (2022) - [c24]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: 1-7 - [c23]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Process mining in industrial control systems. INDIN 2022: 1-6 - [i1]Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin:
Plant model generation from event log using ProM for formal verification of CPS. CoRR abs/2211.03681 (2022) - 2020
- [j12]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): 403-413 (2020)
2010 – 2019
- 2019
- [c22]Dmitrii Drozdov, Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin:
Towards formal ASM semantics of timed control systems for industrial CPS. ETFA 2019: 1682-1685 - [c21]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: 466-469 - 2018
- [c20]Victor Dubinin
, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin:
Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN 2018: 766-771 - 2017
- [j11]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): 668-679 (2017) - [j10]Wenbin William Dai, Victor N. Dubinin
, James H. Christensen, Valeriy Vyatkin, Xinping Guan:
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. IEEE Trans. Ind. Informatics 13(2): 725-736 (2017) - [j9]Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin
:
Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". IEEE Trans. Ind. Informatics 13(4): 1497-1502 (2017) - [c19]Victor Dubinin
, Ilya Senokosov, Valeriy Vyatkin:
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS 2017: 80-91 - [c18]Dmitrii Drozdov
, Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin:
Towards formal verification for cyber-physically agnostic software: A case study. IECON 2017: 5509-5514 - [c17]Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
:
On development of execution model for model transforming distributed substation automation control with ontology. ISIE 2017: 1219-1225 - 2016
- [c16]Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
:
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS 2016: 37-45 - [c15]Dmitrii Drozdov
, Victor Dubinin
, Valeriy Vyatkin:
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN 2016: 748-755 - [c14]Dmitrii Drozdov
, Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin:
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE 2016: 316-321 - 2015
- [j8]Gulnara Zhabelova, Valeriy Vyatkin, Victor N. Dubinin
:
Toward Industrially Usable Agent Technology for Smart Grid Automation. IEEE Trans. Ind. Electron. 62(4): 2629-2641 (2015) - [j7]Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin
:
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. IEEE Trans. Ind. Informatics 11(3): 771-781 (2015) - [c13]Sandeep Patil
, Dmitrii Drozdov
, Victor Dubinin
, Valeriy Vyatkin:
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS 2015: 73-81 - [c12]Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin:
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA 2015: 300-315 - [c11]Evgenii Demin
, Victor Dubinin
, Sandeep Patil
, Valeriy Vyatkin:
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA 2015: 213-221 - [c10]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: 287-292 - [c9]Sandeep Patil
, Victor Dubinin
, Valeriy Vyatkin:
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) 2015: 313-320 - 2014
- [j6]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): 277-291 (2014) - [c8]Sandeep Patil
, Victor Dubinin
, Cheng Pang, Valeriy Vyatkin:
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference 2014: 76-91 - [c7]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: 1-8 - [c6]Victor Dubinin
, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang:
Automatic generation of automation applications based on ontology transformations. ETFA 2014: 1-4 - [c5]Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin
:
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON 2014: 3577-3583 - [c4]Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin
:
Decision making for industrial agents in Smart Grid applications. IECON 2014: 3584-3590 - [c3]Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin
:
Function block implementation of service oriented architecture: Case study. INDIN 2014: 112-117 - 2013
- [j5]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): 2124-2136 (2013) - 2012
- [j4]Victor Dubinin
, Valeriy Vyatkin:
Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics 8(2): 279-290 (2012) - 2010
- [j3]Valeriy Vyatkin, Victor Dubinin
:
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics 6(2): 155-165 (2010)
2000 – 2009
- 2008
- [j2]Victor Dubinin
, Valeriy Vyatkin:
On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. 2008 (2008) - 2006
- [j1]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): 382-404 (2006) - [c2]Victor Dubinin
, Valeriy Vyatkin, Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781 - 2005
- [c1]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: 3996-4001
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint