Decentralized Control of Crop Growth Conditions in Vertical Farms Under Dynamic Energy Markets.

Polina Ovsiannikova

Kirill Zhukovskii Paolo Scarabaggio Polina Ovsiannikova Pranay Jhunjhunwala Raffaele Carli Mariagrazia Dotoli Valeriy Vyatkin Decentralized Control of Crop Growth Conditions in Vertical Farms Under Dynamic Energy Markets. 21498-21511 2025 22 IEEE Trans Autom. Sci. Eng. https://doi.org/10.1109/TASE.2025.3609694 db/journals/tase/tase22.html#ZhukovskiiSOJCDV25 streams/journals/tase

Akira King Polina Ovsiannikova Valeriy Vyatkin Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. 1-4 2024 ETFA https://doi.org/10.1109/ETFA61755.2024.10710845 conf/etfa/2024 db/conf/etfa/etfa2024.html#KingOV24 streams/conf/etfa Polina Ovsiannikova Tatiana Liakh Pranay Jhunjhunwala Valeriy Vyatkin Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. 1-4 2024 ETFA https://doi.org/10.1109/ETFA61755.2024.10711156 conf/etfa/2024 db/conf/etfa/etfa2024.html#OvsiannikovaLJV24 streams/conf/etfa Kirill Zhukovskii Polina Ovsiannikova Pranay Jhunjhunwala Paolo Scarabaggio Raffaele Carli Mariagrazia Dotoli Valeriy Vyatkin Energy Consumption Optimisation for Horticultural Facilities. 1-8 2024 ETFA https://doi.org/10.1109/ETFA61755.2024.10710757 conf/etfa/2024 db/conf/etfa/etfa2024.html#ZhukovskiiOJSCDV24 streams/conf/etfa Polina Ovsiannikova Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems. 2023 Aalto University, Espoo, Finland https://aaltodoc.aalto.fi/handle/123456789/123957 https://www.base-search.net/Record/c856d26064208c6018d178857887f028941695a7fd7fc66e688e7c2ced2ea876 base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/123957) Polina Ovsiannikova Antti Pakonen Valeriy Vyatkin Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. 1-8 2023 ETFA https://doi.org/10.1109/ETFA54631.2023.10275557 conf/etfa/2023 db/conf/etfa/etfa2023.html#OvsiannikovaPV23 Pranay Jhunjhunwala Polina Ovsiannikova Valeriy Vyatkin Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. 1-7 2023 IECON https://doi.org/10.1109/IECON51785.2023.10312138 conf/iecon/2023 db/conf/iecon/iecon2023.html#JhunjhunwalaOV23 Polina Ovsiannikova Antti Pakonen Valeriy Vyatkin Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. 1-6 2023 IECON https://doi.org/10.1109/IECON51785.2023.10311970 conf/iecon/2023 db/conf/iecon/iecon2023.html#OvsiannikovaPV23 Daniil Akifev Tatiana Liakh Polina Ovsiannikova Radimir Sorokin Valeriy Vyatkin Debugging approach for IEC 61499 control applications in FBME. 1-5 2023 ISIE https://doi.org/10.1109/ISIE51358.2023.10228129 conf/isie/2023 db/conf/isie/isie2023.html#AkifevLOSV23 Polina Ovsiannikova Etienne Le Priol Vincent Perret Pranay Jhunjhunwala Midhun Xavier Valeriy Vyatkin Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. 1-6 2023 ISIE https://doi.org/10.1109/ISIE51358.2023.10228148 conf/isie/2023 db/conf/isie/isie2023.html#OvsiannikovaPPJXV23

Polina Ovsiannikova Igor Buzhinsky Antti Pakonen Valeriy Vyatkin Oeritte: User-Friendly Counterexample Explanation for Model Checking. 61383-61397 2021 9 IEEE Access https://doi.org/10.1109/ACCESS.2021.3073459 https://www.wikidata.org/entity/Q124981606 db/journals/access/access9.html#OvsiannikovaBPV21

Polina Ovsiannikova Valeriy Vyatkin Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. 1-4 2021 ETFA https://doi.org/10.1109/ETFA45728.2021.9613491 conf/etfa/2021 db/conf/etfa/etfa2021.html#OvsiannikovaV21 Polina Ovsiannikova Antti Pakonen Valeriy Vyatkin Change-based causes in counterexample explanation for model checking. 1-6 2021 IECON https://doi.org/10.1109/IECON48115.2021.9589122 conf/iecon/2021 db/conf/iecon/iecon2021.html#OvsiannikovaPV21 Anand George Polina Ovsiannikova Valeriy Vyatkin Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. 1-6 2021 ISIE https://doi.org/10.1109/ISIE45552.2021.9576175 conf/isie/2021 db/conf/isie/isie2021.html#GeorgeOV21 Polina Ovsiannikova Igor Buzhinsky Antti Pakonen Valeriy Vyatkin Visual counterexample explanation for model checking with OERITTE. 1-10 2020 ICECCS https://doi.org/10.1109/ICECCS51672.2020.00008 conf/iceccs/2020 db/conf/iceccs/iceccs2020.html#OvsiannikovaBPV20

Polina Ovsiannikova Igor Buzhinsky Antti Pakonen Valeriy Vyatkin Visual counterexample explanation for model checking with Oeritte. 2020 abs/2012.15097 CoRR https://arxiv.org/abs/2012.15097 db/journals/corr/corr2012.html#abs-2012-15097

Polina Ovsiannikova Daniil Chivilikhin Vladimir Ulyantsev Andrey Stankevich Ilya Zakirzyanov Valeriy Vyatkin Anatoly Shalyto 0001 Active Learning of Formal Plant Models For Cyber-Physical Systems. 719-724 2018 INDIN https://doi.org/10.1109/INDIN.2018.8471924 conf/indin/2018 db/conf/indin/indin2018.html#OvsiannikovaCUS18 Polina Ovsiannikova Daniil Chivilikhin Vladimir Ulyantsev Anatoly Shalyto 0001 Closed-loop verification of a compensating group drive model using synthesized formal plant model. 1-4 2017 ETFA https://doi.org/10.1109/ETFA.2017.8247714 conf/etfa/2017 db/conf/etfa/etfa2017.html#OvsiannikovaCUS17 Daniil Akifev Igor Buzhinsky Raffaele Carli Daniil S. ChivilikhinDaniil Chivilikhin Mariagrazia Dotoli Anand George Pranay Jhunjhunwala Akira King Tatiana Liakh Antti Pakonen Vincent Perret Etienne Le Priol Paolo Scarabaggio Anatoly Shalyto 0001 Radimir Sorokin Andrey Stankevich Vladimir I. UlyantsevVladimir Ulyantsev Valeriy Vyatkin Midhun Xavier Ilya Zakirzyanov Kirill Zhukovskii