Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System
Published in 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE), Ulsan, South Korea, 2024
Publications
A framework for the generation of monitor and plant model from event logs using process mining for formal verification of event-driven systems
Published in , 2024
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications
Published in 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), Sinaia, Romania, 2023
Generating Portable Test Cases for IEC 61499 FBs from Interface Behaviour Specifications
Published in 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), Sinaia, Romania, 2023
Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
Published in , 2023
Developing a Test Suite for Evaluating IEC 61499 Application Portability
Published in 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), Helsinki, Finland, 2023
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499
Published in 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), Helsinki, Finland, 2023
Formal modelling, analysis, and synthesis of modular industrial systems inspired by Net condition/event systems
Published in 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings, 2023
Green transport and renewable power: an integrated analysis for India’s future
Published in , 2023
A Comprehensive Approach for Gearbox Fault Detection and Diagnosis Using Sequential Neural Networks
Published in 2023 IEEE International Conference on Prognostics and Health Management (ICPHM), Montreal, QC, Canada, 2023
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard
Published in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 2022
Plant model generation from event log using ProM for formal verification of CPS
Published in arXiv preprint arXiv:2211.03681, 2022
Process mining in industrial control systems
Published in 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), 2022
Plant model generator from digital twin for purpose of formal verification
Published in 2021 26th IEEE International Conference on Emerging Technologies and Factory, 2021
DeLMS: A Decentralized Learning Management System using Ethereum Smart Contracts and IPFS
Published in 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), Lemgo, Germany, 2021
Cyber-physical automation systems modelling with IEC 61499 for their formal verification
Published in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 2021