Дубинин Виктор Николаевич

Email: dubinin.victor@gmail.com

 

Должность: профессор

 

Образование: высшее, специальность «Электронные вычислительные машины», квалификация – инженер-системотехник

 

Учёная степень: доктор технических наук

 

Учёное звание: доцент

 

Общий стаж работы: с 1981

 

Стаж работы по специальности: с 1981

 

Повышение квалификации: 

-- Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD – 2003, 2006, 2010 г.г.

-- Научная стажировка в университете Окленда (Новая Зеландия) – 2011 г.

-- Научная стажировка в Техническом университете Лулео (Швеция) – 2013, 2014, 2015, 2016, 2017 г.г.

 

Научные интересы: 

-- методы и средства формальной спецификации, верификации, синтеза и реализации распределенных управляющих и вычислительных систем;

-- проектирование распределенных систем управления промышленными процессами на основе международного стандарта IEC 61499;

-- трансформационные методы проектировании аппаратного и программного обеспечения;

-- супервизорное управление;

-- семантический Web и онтологии;

-- сети Петри и их расширения. 

 

Награды и признания:

1) Best Paper Award for the paper Dubinin V., Vyatkin V. "Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard", 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09), Moscow, Russia, 2009.

2) Best Paper Award for the paper Vyatkin V., Dubinin V. "Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499", 5th IEEE International Conference on Industrial Informatics (INDIN’2007), Vienna, Austria, 2007.

 

Список публикаций РИНЦ

 

Карта Российской науки

 

Список публикаций Scopus

 

Список публикаций Web of Sciense

 

1.       Drozdov D., Patil S., Dubinin V., Vyatkin V. "Towards Formal Verification for Cyber-physically Agnostic Software: a Case Study", The 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, October 29 – November 1.

2.       Dubinin V., Senokosov I., Vyatkin V. "Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification", Industrial Applications of Holonic and Multi-Agent Systems. HoloMAS 2017. Lecture Notes in Artificial Intelligence, vol. 10444, Springer, pp.80-91 .

3.       Yang C.-W., Vyatkin V., Dubinin V. "On development of execution model for model transforming distributed substation automation control with ontology", IEEE 26th International Symposium on Industrial Electronics (ISIE), 19-21 June 2017, Edinburgh, UK.

4.       Dai W., Vyatkin V., Christensen J.H., Dubinin V. "Response to Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability", IEEE Transactions on Industrial Informatics, Volume 13, Issue 4, pp. 1497 – 1502.

5.       Yang C.-W., Dubinin V., Vyatkin V. "Ontology Driven Approach to Generate Distributed Automation Control from Substation Automation Design", IEEE Transactions on Industrial Informatics, 2017, Volume 13, Issue 2, pp. 668-679.

6.       Dai W., Dubinin V., Christensen J., Vyatkin V., Guan X. "Towards Self-Manageable and Adaptive Industrial Cyber-Physical Systems with Knowledge-Driven Autonomic Service Management", IEEE Transactions on Industrial Informatics, 2017, Volume 13, Issue 2, pp. 725-736.

7.       Drozdov D., Patil S., Dubinin V., Vyatkin V. "Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams", IEEE Int. Symposium on Industrial Electronics (ISIE 2016), Santa Clara, CA, USA, 2016.

8.       Dubinin V., Vyatkin V., Drozdov D. "Speculative Computation in IEC 61499 Function Blocks Execution – Modeling and Simulation", 14th IEEE International Conference on Industrial Informatics (INDIN 2016), Futuroscope-Poitiers, France, 18-21 July 2016, pp. 748-755.

9.       Dubinin V., Vyatkin V., Shalyto A. "Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems", International Siberian Conference on Control and Communications (SIBCON'2016), Russia, Moscow, May 12-14, 2016, pp. 1-4.

10.    Drozdov D., Dubinin V., Kulagin V. "Petri nets behavioral equivalence checking in SMV", International Siberian Conference on Control and Communications (SIBCON'2016), Russia, Moscow, May 12-14, 2016, pp. 1-4.

11.    Yang C.-W., Vyatkin V., Dubinin V. "Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation using Ontologies", IFIP AICT - Advances in Information and Communication technology; No. 470, Springer, 2016, pp. 37-45.

12.    Demin E., Dubinin V., Patil S., Vyatkin V. "Automation Services Orchestration with Function Blocks: Web-service Implementation and Performance Evaluation", Service Orientation in Holonic and Multi-Agent Manufacturing, Studies in Computational Intelligence, Vol. 640, Springer International Publishing, 2016, pp. 213-221.

13.    Patil S., Dubinin V., Vyatkin V. "Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV Execution Semantics", First International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2015), Nanjing, China, November 4-6, 2015. Lecture Notes in Computer Science, Vol. 9409. – Springer, 2015, pp. 300-315.

14.    Dubinin V., Vyatkin V., Hanisch H.-M. "Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition/event systems", IEEE Trustcom/BigDataSE/ISPA, Helsinki, Finland, 2015, Volume:3, P. 287 – 292.

15.    Patil S., Dubinin V., Vyatkin V. "Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV – Modelling", IEEE Trustcom/BigDataSE/ISPA, Helsinki, Finland, 2015, Volume 3, pp. 313 – 320.

16.    Dai W., Vyatkin V., Christensen J.H., Dubinin V. "Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability", IEEE Transactions on Industrial Informatics. – 2015. Vol. 11, Issue 3, pp. 771 - 781.

17.    Demin E., Dubinin V., Patil S., Vyatkin V. "IEC 61499 Distributed Control Enhanced with Cloud-based Web-Services", 10th IEEE Conference on Industrial Electronics and Applications (ICIEA'2015), 15 – 17 June 2015, Auckland, New Zealand, pp. 972 – 977.

18.    Patil S., Drozdov D., Dubinin V., Vyatkin V. "Cloud-based Framework for Practical Model-Checking of Industrial Automation Applications", IFIP AICT - Advances in Information and Communication technology; No. 450, Springer, 2015, pp. 73-81.

19.    Zhabelova G., Vyatkin V., Dubinin V. "Towards industrially usable agent technology for Smart Grid automation", IEEE Transactions on Industrial Electronics. - 2015. – Volume 62, Issue 4. – pp. 2629-2641.

20.    Yang C.-W., Vyatkin V., Mousavi M., Dubinin V. "On Automatic Generation of IEC61850/IEC61499 Substation Automation Systems Enabled by Ontology", 40th Annual Conference of the IEEE Industrial Electronics Society (IECON 2014), Dallas, TX, USA, Oct. 29 -Nov. 1 2014, pp. 3577 – 3583.

21.    Zhabelova G., Vyatkin V., Dubinin V. "Practical decision making for industrial agents in Smart Grid applications", 40th Annual Conference of the IEEE Industrial Electronics Society (IECON 2014), Dallas, TX, USA, Oct. 29 -Nov. 1 2014, pp. 3584 – 3590.

22.    Dubinin V., Vyatkin V., Yang C.-W., Pang C. "Automatic Generation of Automation Applications Based on Ontology Transformations", 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain, 16-19 Sept. 2014, pp.1-4.

23.    Dai W., Vyatkin V., Dubinin V., Christensen J.C. "Enhancing Distributed Automation Systems with Efficiency and Reliability by Applying Autonomic Service Management", 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain, 16-19 Sept. 2014, pp. 1-8.

24.    Dai W., Vyatkin V., Christensen J., Dubinin V. Function Block Implementation of Service-Oriented Architecture: Case Study, 12th IEEE Conference on Industrial Informatics (INDIN'2014), Porto-Allegre, Brazil, July 27-30, 2014, pp. 112 -117.

25.    Patil S., Dubinin V., Pang C., Vyatkin V. "Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM", 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Perspectives of System Informatics: Lecture Notes in Computer Science, Volume 8974, 2015, pp. 76-91.

26.    Dai W., Dubinin V., Vyatkin V. "Migration from PLC to IEC 61499 using Semantic Web Technologies", IEEE Transactions on Systems, Man, and Cybernetics: Systems. - 2014. – Volume 44, Issue 3. – pp. 277 – 291.

27.    Dai W., Dubinin V., Vyatkin V. "Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems", IEEE Transactions on Industrial Informatics. - 2013. - Vol. 9, Issue 4. - pp. 2124-2136.

28.    Dubinin V., Vyatkin V. Semantics-Robust Design Patterns for IEC 61499, IEEE Transactions on Industrial Informatics. - 2012. - Vol. 8, Issue 2. – pp. 279-290.

29.    Dai W., Vyatkin V., Dubinin V. "Ontology-based Design Recovery and Migration between IEC 61499 - compliant Tools", 37th Annual Conference of the IEEE Industrial Electronics Society(IECON 2011), Melbourne, Australia, 2011.– pp. 4332 – 4337.

30.    Dai W., Dubinin V., Vyatkin V. "IEC 61499 Ontology Model for Semantic Analysis and Code Generation", IEEE 9th International Conference on Industrial Informatics (INDIN'2011), Lisbon, Portugal, 2011. pp. 597 - 602.

31.    Vyatkin V., Dubinin V. "Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard", IEEE Transactions on Industrial Informatics. - 2010.- Vol.6, Issue 2. – pp.155-165.

32.    Dubinin V., Vyatkin V. "Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard", Proc. 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia, June 3 - 5, 2009. - pp. 193-198.

33.    Dubinin V., Vyatkin V. "On Definition of a Formal Semantic Model for IEC 61499 Function Blocks", EURASIP Journal on Embedded Systems, Vol. 2008, Article ID 426713. - 10 P.

34.    Vyatkin V., Dubinin V. "Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499", 5th IEEE International Conference on Industrial Informatics (INDIN’2007), Vienna, Austria, 2007 . – pp. 1137-1142.

35.    Vyatkin V., Dubinin V., Veber C., Ferrarini L. "Alternatives for Execution Semantics of IEC61499", 5th IEEE International Conference on Industrial Informatics (INDIN’2007), Vienna, Austria, 2007 .– pp. 1105-1110.

36.    Vyatkin V., Hanisch H.-M., Karras S., Pfeiffer T. , Dubinin V. Rapid engineering and re-configuration of automation objects using formal verification, International Journal of Manufacturing Research, 2006, Vol. 1, No. 4. - pp. 382–404.

37.    Dubinin V., Vyatkin V., Hanisch H.-M. “Using Prolog for Modelling And Verification of IEC 61499 Function Blocks and Applications”, 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings, Prague, Czech Republic, 2006, pp. 774-781.

38.    Dubinin V., Vyatkin V. “Towards a Formal Semantics of IEC 61499 Function Blocks”, 4th IEEE International Conference on Industrial Informatics (INDIN’2006), Singapore, 2006, pp. 6-11.

39.    Dubinin V., Vyatkin V., Pfeiffer T. "Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499", IEEE International Conference on Robotics and Automation (ICRA’05), Barcelona, Spain, 2005, pp. 4007-4012.

40.    Vashkevich N.P., Dubinin V.N., Zinkin S.A. "The use of the methods of artificial intelligence for the design of intellectual systems of control of external and mass computer memory", Izvestiya Akademii Nauk: Tekhnicheskaia Kibernetika, № 5, 1991, pp. 63-74.

 

 Профиль ORCID

 

Индекс Хирша РИНЦ - 9

Индекс Хирша Web of Science - 8

Индекс Хирша Scopus - 12

 

         

Дубинин

Преподаваемые дисциплины:  
Декларативные языки программирования
Системное программирование
Планирование и организация научных исследований
Программирование Internet-приложений
Проектирование распределенных систем автоматики
Базы данных
Основы искусственного интеллекта
Производственная практика
Преддипломная практика

Краткая биография: 

Victor Dubinin received the Diploma degree (with Hons.) in computer engineering, the Ph.D. degree, and Sc.D. degree in computer science from the University of Penza, Penza, Russia, in 1981, 1989, and 2014, respectively. From 1981 to 1989, he was a Researcher, from 1989 to 1995, he was a Senior Lecturer, and from 1995 to 2015, he was an Associate Professor with the University of Penza. Since 2015, he has been a Professor with the Department of Computer Science, University of Penza. He held a Visiting Researcher position with the University of Auckland, Auckland, New Zealand, in 2011, and with the Lulea University of Technology, Lulea, Sweden (2013–2017). His research interests include formal methods for specification, verification, synthesis, and implementation of distributed and discrete event systems. Dr. Dubinin received DAAD-grants to work as a Guest Scientist at Martin-Luther-University, Halle-Wittenberg, Germany, in 2003, 2006, and 2010.

 


Ссылки на:

 

Дата создания: 30.10.2016 18:17
Дата обновления: 04.11.2017 10:25