Polina Ovsiannikova

18 papers B 1C 10Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Decentralized Control of Crop Growth Conditions in Vertical Farms Under Dynamic Energy Markets.
IEEE Trans Autom. Sci. Eng.
Kirill Zhukovskii, Paolo Scarabaggio, Polina Ovsiannikova, Pranay Jhunjhunwala, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin
2024 C conf
Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems.
ETFA
Akira King, Polina Ovsiannikova, Valeriy Vyatkin
2024 C conf
Energy Consumption Optimisation for Horticultural Facilities.
ETFA
Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin
2024 C conf
Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications.
ETFA
Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin
2023 C conf
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems.
IECON
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2023 C conf
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology.
ETFA
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2023 — conf
Debugging approach for IEC 61499 control applications in FBME.
ISIE
Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
2023 C conf
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections.
IECON
Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin
2023 — conf
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.
ISIE
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
2023 — —
Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems.
Polina Ovsiannikova
2021 C conf
Change-based causes in counterexample explanation for model checking.
IECON
Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2021 J jnl
Oeritte: User-Friendly Counterexample Explanation for Model Checking.
IEEE Access
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2021 — conf
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing.
ISIE
Anand George, Polina Ovsiannikova, Valeriy Vyatkin
2021 C conf
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation.
ETFA
Polina Ovsiannikova, Valeriy Vyatkin
2020 B conf
Visual counterexample explanation for model checking with OERITTE.
ICECCS
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2020 J jnl
Visual counterexample explanation for model checking with Oeritte.
CoRR
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2018 C conf
Active Learning of Formal Plant Models For Cyber-Physical Systems.
INDIN
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
2017 C conf
Closed-loop verification of a compensating group drive model using synthesized formal plant model.
ETFA
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto