Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
Exploring the Potential Impact of NFTs on Industrial Control Systems: Opportunities and Risks
Published:
NFTs, or non-fungible tokens, have taken the world by storm in recent years. These digital assets, which use blockchain technology to verify ownership and uniqueness, have been used to sell everything from art to sports memorabilia. But what about the impact of NFTs on industrial control systems (ICS)? In this blog post, we’ll explore how NFTs could potentially affect the world of ICS.
portfolio
Speecher.io
Bring voice to your content!
qr.justprint.io
Enhancing NFT Transparency with a Dynamic QR Code Generator
ConvertAny
ConvertAny: A Serverless File Converter Tool Built on AWS Lambda and S3
Kraftzon
Kraftzon: The Secure and Transparent Decentralized Marketplace for Handmade Products
publications
Cyber-physical automation systems modelling with IEC 61499 for their formal verification
Published in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 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
Plant model generator from digital twin for purpose of formal verification
Published in 2021 26th IEEE International Conference on Emerging Technologies and Factory, 2021
Process mining in industrial control systems
Published in 2022 IEEE 20th 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
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
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
Green transport and renewable power: an integrated analysis for India’s future
Published in , 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
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
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 the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
Published in , 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
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
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
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
talks
teaching
Enhancing Safety and Security in Industrial Control Systems: Formal Modeling, Verification, and Optimization Techniques with a Focus on IEC 61499 Standard and Digital Twin Technology
Formal modelling and verification, LTU, 2020
I am interested in conducting research on the formal modeling and verification of industrial control systems, with a specific emphasis on the IEC 61499 standard. My focus is on exploring the novel techniques for modeling and verifying complex cyber-physical systems, including the integration of digital twin technology for formal verification purposes. Additionally, I am exploring the potential of process mining to optimize the performance of industrial control systems. Ultimately, my objective is to develop more efficient and reliable control systems that can be formally verified to ensure their safety and security.
Towards Decentralized Industrial Control Systems: Exploring the Potential of Blockchain Technology for Secure and Efficient Automation
Blockchain, LTU, 2021
Interested in exploring the use of smart contracts and decentralized applications (dApps) to build more secure, efficient and transparent control systems for industrial applications. This includes investigating the potential of blockchain technology for enabling secure and decentralized data sharing, as well as for automating control tasks and optimizing industrial processes. Ultimately, my goal is to contribute to the development of next-generation industrial control systems that leverage blockchain technology to enhance their security, reliability, and performance.
Integrating AI and Machine Learning for Sustainable Industrial Control Systems
AIML, LTU, 2022
The focus of my research interest is on the development of sustainable industrial control systems through the integration of AI and machine learning technologies. I am interested in exploring innovative techniques to design intelligent control systems that can adapt to variable environmental conditions and optimize energy consumption. Specifically, I intend to investigate the application of machine learning algorithms to model the behavior of industrial systems and predict their performance under diverse operating conditions. Ultimately, my aim is to contribute to the creation of more sustainable industrial control systems that can enhance energy efficiency and minimize environmental impact.