Toward Industrially Usable Agent Technology for Smart Grid Automation
Zhabelova, Gulnara, Vyatkin, Valeriy, Dubinin, Victor N.
Published in IEEE transactions on industrial electronics (1982) (01.04.2015)
Published in IEEE transactions on industrial electronics (1982) (01.04.2015)
Get full text
Journal Article
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification
Dubinin, Victor, Senokosov, Ilya, Vyatkin, Valeriy
Published in Industrial Applications of Holonic and Multi-Agent Systems (2017)
Published in Industrial Applications of Holonic and Multi-Agent Systems (2017)
Get full text
Book Chapter
Conference Proceeding
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management
Wenbin Dai, Dubinin, Victor N., Christensen, James H., Vyatkin, Valeriy, Xinping Guan
Published in IEEE transactions on industrial informatics (01.04.2017)
Published in IEEE transactions on industrial informatics (01.04.2017)
Get full text
Journal Article
A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
Xavier, Midhun, Dubinin, Victor, Patil, Sandeep, Vyatkin, Valeriy
Published in IEEE open journal of the Industrial Electronics Society (2024)
Published in IEEE open journal of the Industrial Electronics Society (2024)
Get full text
Journal Article
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
Vyatkin, Valeriy, Dubinin, Victor
Published in IEEE transactions on industrial informatics (01.05.2010)
Published in IEEE transactions on industrial informatics (01.05.2010)
Get full text
Journal Article
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Patil, Sandeep, Dubinin, Victor, Pang, Cheng, Vyatkin, Valeriy
Published in Perspectives of System Informatics (2015)
Published in Perspectives of System Informatics (2015)
Get full text
Book Chapter
Conference Proceeding
Migration From PLC to IEC 61499 Using Semantic Web Technologies
Wenbin Dai, Dubinin, Victor N., Vyatkin, Valeriy
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.03.2014)
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.03.2014)
Get full text
Journal Article
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
Patil, Sandeep, Dubinin, Victor, Vyatkin, Victor
Published in Dependable Software Engineering (2015)
Published in Dependable Software Engineering (2015)
Get full text
Book Chapter
Conference Proceeding
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology
Chen-Wei Yang, Vyatkin, Valeriy, Mousavi, Arash, Dubinin, Victor
Published in IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society (01.10.2014)
Published in IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society (01.10.2014)
Get full text
Conference Proceeding
Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499
Vyatkin, V., Dubinin, V.
Published in 2007 5th IEEE International Conference on Industrial Informatics (01.07.2007)
Published in 2007 5th IEEE International Conference on Industrial Informatics (01.07.2007)
Get full text
Conference Proceeding
IEC 61499 ontology model for semantic analysis and code generation
Wenbin Dai, Dubinin, V., Vyatkin, V.
Published in 2011 9th IEEE International Conference on Industrial Informatics (01.07.2011)
Published in 2011 9th IEEE International Conference on Industrial Informatics (01.07.2011)
Get full text
Conference Proceeding
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling
Patil, Sandeep, Dubinin, Victor, Vyatkin, Valeriy
Published in 2015 IEEE Trustcom/BigDataSE/ISPA (01.08.2015)
Published in 2015 IEEE Trustcom/BigDataSE/ISPA (01.08.2015)
Get full text
Conference Proceeding