Title:Plant Model Generator from Digital Twin for Purpose of Formal Verification
Author(s):Xavier, Midhun; Håkansson, Johannes; Patil, Sandeep; Vyatkin, ValeriyDate:2021-11-30Series:Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021
Title:Towards automatic state machine reconstruction from legacy PLC using data collection
Author(s):Chivilikhin, Daniil; Patil, Sandeep; Cordonnier, Anthony; Vyatkin, ValeriyDate:2019-07-01Series:Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019, IEEE International Conference on Industrial Informatics
Title:Utilizing software design patterns in product-driven manufacturing system
Author(s):Drozdov, Dmitrii; Atmojo, Udayanto Dwi; Pang, Cheng; Patil, Sandeep; Ali, Muhammad Irfan; Tenhunen, Antti; Oksanen, Taavi; Cheremetiev, Kiril; Vyatkin, ValeriyDate:2020-01-01Series:Proceedings of SOHOMA 2019, Studies in Computational Intelligence, Volume 853