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
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
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
Change-based causes in counterexample explanation for model checking
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2021
IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society
Oeritte
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2021
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation
Polina Ovsiannikova, Valeriy Vyatkin
2021
Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021