Polina Ovsiannikova
Postdoctoral Researcher
Postdoctoral Researcher
T410 Dept. Electrical Engineering and Automation
Full researcher profile
https://research.aalto.fi/...
Email
[email protected]
Phone number
+358504358897
Research groups
- Information Technologies in Industrial Automation, Postdoctoral Researcher
Publications
Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems
Akira King, Polina Ovsiannikova, Valeriy Vyatkin
2024
2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024
Formal verification of non-functional requirements of overall instrumentation and control architectures
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
2024
IEEE Open Journal of the Industrial Electronics Society
Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications
Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin
2024
2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024
Energy Consumption Optimisation for Horticultural Facilities
Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin
2024
2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024
Debugging approach for IEC 61499 control applications in FBME
Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
2023
2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections
Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin
2023
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2023
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
2023
2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings
Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems
Polina Ovsiannikova
2023
Towards unambiguous FBD
Anand George, Polina Ovsiannikova, Valeriy Vyatkin
2021
Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021