Polina Ovsiannikova

Postdoctoral Researcher
Postdoctoral Researcher
T410 Dept. Electrical Engineering and Automation
Full researcher profile
https://research.aalto.fi/...
Telefonnummer
+358504358897

Forskningsgrupp

  • Information Technologies in Industrial Automation, Postdoctoral Researcher

Publikationer

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

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 IEEE Access

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

Visual counterexample explanation for model checking with OERITTE

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin 2021 Proceedings of 2020 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020