• Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта
Главная Сотрудники

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

Рейтинг пользователей: / 12
ХудшийЛучший 

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

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

Обучение

Июль - Август 2018 Logo Lulea University Научно-педагогическая стажировка в рамках гранта Erasmus+, работа в качестве приглашен-ного исследователя в Техническом университете Лулео (Швеция)
Июль - Август 2017 Logo Lulea University Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция), участие в HoloMAS 2017 (Франция) (*)
Июль - Август 2016 Logo Lulea University Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция), участие в IEEE INDIN 2016 (Франция)
Июль - Август 2015 Logo Lulea University Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция), участие в IEEE Trustcom/BigDataSE/ISPA 2015 (Финляндия)
Октябрь 2014 Logo Пенз.гос.ун-т Защита докторской диссертации на тему "Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики" в Пензенском государственном университете
Июль - Август 2014 Logo Lulea University Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео (Швеция)
Июль - Август 2013 Logo Lulea University Научная стажировка, работа в качестве приглашенного исследователя в Техническом университете Лулео, участие в 2013 SRT-DCC Function Blocks Summer Camp (Швеция)
Февраль - Май 2011 Logo University of Auckland Научная стажировка, работа в качестве приглашенного исследователя (postdoc) в университете Окленда (Новая Зеландия)
Июнь - Июль 2010 Logo Martin Luther University Halle-Wittenberg Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD

2003-2007

Logo Пенз.гос.ун-т Докторантура Пензенского государственного университета
Сентябрь - Октябрь 2006 Logo Martin Luther University Halle-Wittenberg Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD
Июнь - Август 2003 Logo Martin Luther University Halle-Wittenberg Научная стажировка в университете Мартина Лютера (Германия) по программе DAAD
Апрель 1989 Logo Рязанский радиотехнический институт Защита кандидатской диссертации на тему "Разработка архитектуры, методов и средств проектирования периферийных систем управления ЭВМ" по специальности 05.13.13 "Вычислительные машины, комплексы, системы и сети" в Рязанском радиотехническом институте

1983-1986

Очная аспирантура Пензенского политехнического института

1976-1981

Пензенский политехнический институт, диплом инженера-системотехника по специальности 0608 "ЭВМ и системы" (с отличием)

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

  • методы и средства формальной спецификации, верификации, синтеза и реализации распределенных управляющих и вычислительных систем
  • проектирование распределенных систем управления промышленными процессами на основе международного стандарта IEC 61499
  • трансформационные методы проектировании аппаратного и программного обеспечения
  • супервизорное управление
  • семантический Web и онтологии
  • сети Петри и их расширения
Статьи в Scopus / Web of Science
  1. Dubinin V., Voinov А., Senokosov I., Vyatkin V. "Implementation of distributed semaphores in IEC 61499 with consensus protocols", IEEE 16th International Conference on Industrial Informatics (INDIN’2018), Porto, Portugal, 18-20 July 2018, pp.766-771.
  2. 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.
  3. 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 .
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. Dubinin V., Vyatkin V. Semantics-Robust Design Patterns for IEC 61499, IEEE Transactions on Industrial Informatics. - 2012. - Vol. 8, Issue 2. – pp. 279-290.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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 (quartile: Q1)
TII_2010 TII_2012 TII_2013
TII_2015 TII_2017_N2 TII_2017_N4


Журнал IEEE Transactions on Industrial Electronics (quartile: Q1)
   
TIE_2015


Журнал IEEE Transactions on Systems, Man, and Cybernetics: Systems (quartile: Q1)
   
TSMC_2014


Журнал Lecture Notes in Computer Science (quartile: Q2)
   
LNCS_8974 LNCS_9409


Журнал Lecture Notes in Artificial Intelligence (quartile: Q2)
   
LNAI_10444


Журнал Studies in Computational Intelligence (quartile: Q4)
 
 
SCI_640_Springer


Журнал IFIP AICT - Advances in Information and Communication technology (quartile: Q3)
 
IFIP AICT No. 450 IFIP AICT No. 470


Монографии
2012
2013


IEEE / IFAC / IFIP конференции
ICRA-2005 INDIN-2006 INDIN-2006 INDIN-2007
INCOM-2009 IECON-2011 INDIN-2011 PSI'14
 
ETFA-2014 ETFA-2014 ETFA-2014 DoCEIS-2015
ICIEA-2015 ISPA-2015 SETTA-2015 SOHOMA-2015
DoCEIS-2016 SIBCON-2016 ISIE-2016 INDIN-2016
ISIE-2017 HoloMAS-2017 IECON-2017 INDIN-2018


Conferences geography

Цитирование моих работ
Грамоты
Best paper-2009 2009 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.
Best paper-2007 2007 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.


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

Рецензирование статей в зарубежных изданиях

  • журналы: 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-2018 г.г.), IEEE IECON'2013, IEEE DIAS'2015


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

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

Обучение в Швеции (LTU)

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


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


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


© 2016 год. ПГУ. Кафедра ВТ.