Cyber-physical automation systems modelling with IEC 61499 for their formal verification M Xavier, S Patil, V Vyatkin 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 1-6, 2021 | 12 | 2021 |
Process mining in industrial control systems M Xavier, V Dubinin, S Patil, V Vyatkin 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), 1-6, 2022 | 10 | 2022 |
Plant model generator from digital twin for purpose of formal verification M Xavier, J Håkansson, S Patil, V Vyatkin 2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021 | 7 | 2021 |
Formal modelling, analysis, and synthesis of modular industrial systems inspired by Net condition/event systems M Xavier, S Patil, V Dubinin, V Vyatkin International Conference on Applications and Theory of Petri Nets and …, 2023 | 4 | 2023 |
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard M Xavier, V Dubinin, S Patil, V Vyatkin 2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022 | 4 | 2022 |
Plant model generation from event log using ProM for formal verification of CPS M Xavier, V Dubinin, S Patil, V Vyatkin arXiv preprint arXiv:2211.03681, 2022 | 3 | 2022 |
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications B Wiesmayr, M Xavier, S Patil, A Zoitl, V Vyatkin 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | 1 | 2023 |
Developing a test suite for evaluating IEC 61499 application portability M Xavier, T Laikh, S Patil, V Vyatkin 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 1-4, 2023 | 1 | 2023 |
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499 P Ovsiannikova, E Le Priol, V Perret, P Jhunjhunwala, M Xavier, V Vyatkin 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 1-6, 2023 | 1 | 2023 |
A comprehensive approach for gearbox fault detection and diagnosis using sequential neural networks P Sobha, M Xavier, P Chandran 2023 IEEE International Conference on Prognostics and Health Management …, 2023 | 1 | 2023 |
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System M Xavier, S Patil, V Vyatkin 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE), 1-6, 2024 | | 2024 |
A framework for the generation of monitor and plant model from event logs using process mining for formal verification of event-driven systems M Xavier, V Dubinin, S Patil, V Vyatkin IEEE Open Journal of the Industrial Electronics Society, 2024 | | 2024 |
Probabilistic Model Checking for IEC 61499: A Manufacturing Application I Faqrizal, T Liakh, M Xavier, G Salaün, V Vyatkin 2024 IEEE International Conference on Industrial Technology (ICIT), 1-6, 2024 | | 2024 |
Green transport and renewable power: an integrated analysis for India's future P Sobha, A Muthusamypillai, M Xavier International Journal of Sustainable Energy 42 (1), 1517-1537, 2023 | | 2023 |
Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499 G Lilli, M Xavier, E Le Priol, V Perret, T Liakh, R Oboe, V Vyatkin IEEE Open Journal of the Industrial Electronics Society, 2023 | | 2023 |
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS M Xavier, P Sobha, S Patil, V Vyatkin 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 1-6, 2023 | | 2023 |