Formal Verification of Protection Functions for Power Distribution Networks
Drozdov, Dmitrii, Patil, Sandeep, Yang, Chen-Wei, Zhabelova, Gulnara, Vyatkin, Valeriy
Published in IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society (01.10.2018)
Published in IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society (01.10.2018)
Get full text
Conference Proceeding
Detection of left ventricular systolic dysfunction in patients with ischemic heart disease using spatial and frontal QRS-T angles of the electrocardiogram
Sakhnova, Tamara A., Blinova, Elena V., Dotsenko, Yulia V., Uskach, Tatiana M., Drozdov, Dmitrii V.
Published in Terapevtic̆eskii arhiv (02.05.2024)
Published in Terapevtic̆eskii arhiv (02.05.2024)
Get full text
Journal Article
Artificial intelligence in clinical physiology: How to improve learning agility
Shutov, Dmitry V., Sharova, Dariya E., Abuladze, Liya R., Drozdov, Dmitrii V.
Published in Digital diagnostics (19.04.2023)
Published in Digital diagnostics (19.04.2023)
Get full text
Journal Article
Structure maintenance experience and the need to control the soils thermal regime in permafrost areas
Anatolii V. Brushkov, Andrei G. Alekseev, Svetlana V. Badina, Dmitrii S. Drozdov, Vladimir A. Dubrovin, Oleg V. Zhdaneev, Mikhail N. Zheleznyak, Vladimir P. Melnikov, Sergei N. Okunev, Aleksei B. Osokin, Nikolai A. Ostarkov, Marat R. Sadurtinov, Dmitrii O. Sergeev, Roman Yu. Fedorov, Konstantin N. Frolov
Published in Zapiski Gornogo instituta (1999) (01.10.2023)
Get full text
Published in Zapiski Gornogo instituta (1999) (01.10.2023)
Journal Article
Arrowhead Datamanager integration with Eclipse 4DIAC environment
Romanato, Marco, Drozdov, Dmitrii, Patil, Sandeep, Delsing, Jerker, Vyatkin, Valeriy
Published in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2020)
Published in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2020)
Get full text
Conference Proceeding
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study
Derhamy, Hasan, Drozdov, Dmitrii, Patil, Sandeep, van Deventer, Jan, Eliasson, Jens, Vyatkin, Valeriy
Published in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2016)
Published in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2016)
Get full text
Conference Proceeding
On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study
Yang, Chen-Wei, Galkin, Nikolai, Drozdov, Dmitrii, Vyatkin, Valeriy
Published in 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE) (18.06.2024)
Published in 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE) (18.06.2024)
Get full text
Conference Proceeding
Refactoring of IEC 61499 function block application - A case study
Patil, Sandeep, Drozdov, Dmitrii, Zhabelova, Gulnara, Vyatkin, Valeriy
Published in 2018 IEEE Industrial Cyber-Physical Systems (ICPS) (01.05.2018)
Published in 2018 IEEE Industrial Cyber-Physical Systems (ICPS) (01.05.2018)
Get full text
Conference Proceeding
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software
Drozdov, Dmitrii, Patil, Sandeep, Vyatkin, Valeriy
Published in Service Orientation in Holonic and Multi-Agent Manufacturing (2017)
Published in Service Orientation in Holonic and Multi-Agent Manufacturing (2017)
Get full text
Conference Proceeding
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications
Patil, Sandeep, Drozdov, Dmitrii, Dubinin, Victor, Vyatkin, Valeriy
Published in Technological Innovation for Cloud-Based Engineering Systems (2015)
Published in Technological Innovation for Cloud-Based Engineering Systems (2015)
Get full text
Book Chapter
Conference Proceeding
Petri nets behavioral equivalence checking in SMV
Drozdov, Dmitrii, Dubinin, Victor, Kulagin, Vladimir
Published in 2016 International Siberian Conference on Control and Communications (SIBCON) (01.05.2016)
Published in 2016 International Siberian Conference on Control and Communications (SIBCON) (01.05.2016)
Get full text
Conference Proceeding
Journal Article