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

[Зеркало]

 

Ф.И.О. Дубинин Виктор Николаевич
Должность Профессор
Ученая степень Доктор технических наук
Языки Русский, немецкий, английский
Место работы Пензенский государственный университет, кафедра вычислительной техники
Адрес места работы Россия, 440026, г.Пенза, ул.Красная, 40, ПГУ, кафедра ВТ
Телефоны (8412) 36-82-27 (раб.)
E-mail victor_n_dubinin@yahoo.com
WWW http://alice.pnzgu.ru:8080/~dvn/index.htm

Обучение 

Июль - Август 2016 Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция), участие в INDIN 2016 (Франция)
Июль - Август 2015 Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция), участие в ISPA-DIAS'2015 (Финляндия)
Октябрь 2014   Защита докторской диссертации на тему "Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики" в Пензенском государственном университете
Июль - Август 2014 Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция)
Июль - Август 2013 Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео, участие в 2013 SRT-DCC Function Blocks Summer Camp (Швеция)
Февраль - Май 2011   Научная стажировка, работа в качестве приглашенного исследователя (postdoc) в университете Окленда (Новая Зеландия)
Июнь - Июль 2010   Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD
2003-2007 Докторантура Пензенского государственного университета
Сентябрь - Октябрь 2006 Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD
Июнь - Август 2003 Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD
Апрель 1989   Защита кандидатской диссертации на тему "Разработка архитектуры, методов и средств проектирования периферийных систем управления ЭВМ" по специальности 05.13.13 "Вычислительные машины, комплексы, системы и сети" в Рязанском радиотехническом институте
1983-1986   Очная аспирантура Пензенского политехнического института
1976-1981   Пензенский политехнический институт, диплом инженера-системотехника по специальности 0608 "ЭВМ и системы" (с отличием)

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

 

  • методы и средства формальной спецификации, верификации, синтеза и реализации распределенных управляющих и вычислительных систем
  • проектирование распределенных систем управления промышленными процессами на основе международного стандарта IEC 61499
  • трансформационные методы проектировании аппаратного и программного обеспечения
  • супервизорное управление
  • семантический Web и онтологии
  • сети Петри и их расширения

Статьи в Scopus / Web of Science 

  1. 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: PP, Issue: 99, DOI: 10.1109/TII.2017.2706066.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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, May1214, 2016, pp. 1-4.
  7. Drozdov D., Dubinin V., Kulagin V. "Petri nets behavioral equivalence checking in SMV", International Siberian Conference on Control and Communications (SIBCON'2016), Russia, Moscow, May1214, 2016, pp. 1-4.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. Dubinin V., Vyatkin V. Semantics-Robust Design Patterns for IEC 61499, IEEE Transactions on Industrial Informatics. - 2012. - Vol. 8, Issue 2. – pp. 279-290.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.

 Журнал IEEE Transactions on Industrial Informatics (импакт-фактор=8,785)

2010, Vol.6, Issue 2 2012, Vol.8, Issue 2 2013, Vol. 9, Issue 4
     
2015, Vol.11, Issue 3    
     

 Журнал IEEE Transactions on Industrial Electronics (импакт-фактор=6,5)

2015, Vol.62, Issue 4    
     

Журнал IEEE Transactions on Systems, Man, and Cybernetics: Systems
(импакт-фактор=2,169

2014, Vol.44, Issue 3    
     

Журнал Lecture Notes in Computer Science (импакт-фактор=0,51)

 

Volume 8974 Volume 9409  
     

Журнал Studies in Computational Intelligence (импакт-фактор=0,3)

 

Volume 640    
     

Журнал IFIP AICT - Advances in Information and Communication technology

 

No. 450 No. 470  
     

Монографии

2012 2013

IEEE / IFAC / IFIP конференции

IEEE Conf. ICRA'2005, Barcelona, Spain IEEE Conf. INDIN'2006, Singapore IEEE Conf. ETFA'2006, Prague, Czech Republic IEEE Conf. INDIN'2007, Vienna, Austria




IFAC Symp. INCOM'09, Moscow, Russia IEEE Conf. IECON'2011, Melbourne, Australia IEEE Conf. INDIN'2011, Lisbon, Portugal Ershov Informatics Conference, St.Petersburg, Russia, 2014.




IEEE Conf. ETFA'2014, Barcelona, Spain IEEE Conf. INDIN'2014, Porto-Allegre, Brazil IEEE Conf. IECON'2014, Dallas, TX, USA  IFIP conf. DoCEIS 2015, Costa de Caparica, Portugal




IEEE Conf. ICIEA'2015, Auckland, New Zealand IEEE Symp. ISPA'2015, Helsinki, Finland Int. Symp. SETTA'2015, Nanjing, China Int. Workshop SOHOMA'2015, Cambridge, UK




IFIP conf. DoCEIS'2016,Costa de Caparica, Portugal IEEE Int. Conf. SIBCON'2016, Moscow, Russia IEEE Symp. ISIE 2016, Santa Clara, CA, USA IEEE INDIN 2016, Poitiers, France



 

 

 Цитирование моих работ

 

 Грамоты

  2009  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. 
   2007  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. 

Участие в проведении зарубежных конференций и рецензировании

РЕЦЕНЗИРОВАНИЕ СТАТЕЙ В ЗАРУБЕЖНЫХ ИЗДАНИЯХ 

  • журналы: IEEE Transactions on Industrial Informatics (2012, 2015, 2016, 2017 г.г.), Control Engineering Practice (2013), ACM Transactions on Embedded Computing Systems (2010), IEEE Industrial Electronics Magazine (2009)
  • конференции: IEEE INDIN (2006, 2008, 2010, 2011, 2013, 2015, 2016, 2017 г.г.), IEEE IECON'2013, IEEE DIAS'2015

Международное сотрудничество

Договор о сотрудничестве между LTU (Швеция) и ПГУ

ОБУЧЕНИЕ В ШВЕЦИИ (LTU)

Внутриуниверситетский рейтинг

 


Ссылки на мои:

 

Дата создания: 30.10.2016 18:17
Дата обновления: 30.05.2017 15:02