

Dmitrii Drozdov
Computer Science
Department of Computer Science, Electrical and Space Engineering
Publications
Article in journal
A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations (2021)
IEEE Open Journal of the Industrial Electronics Society, Vol. 2, s. 169-183
Doctoral thesis, comprehensive summary
Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations (2021)
Conference paper
Arrowhead Datamanager integration with Eclipse 4DIAC environment (2020)
Part of: Proceedings, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1377-1380, IEEE, 2020
Conference paper
Utilizing Software Design Patterns in Product-Driven Manufacturing System (2020)
A Case Study
Part of: Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, Proceedings of SOHOMA 2019, s. 301-312, Springer Nature, 2020
Conference paper
Towards formal ASM semantics of timed control systems for industrial CPS (2019)
Part of: Proceedings, 2019 24th IEEE InternationalConference on Emerging Technologiesand Factory Automation (ETFA), s. 1682-1685, IEEE, 2019