7 papers
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Self-adaptive robots operate in dynamic, unpredictable environments where unaddressed uncertainties can lead to safety violations and operational failures. However, systematically…
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Future self-adaptive robots are expected to operate in highly dynamic environments while effectively managing uncertainties. However, identifying the sources and impacts of uncerta…
Towards Federated Digital Twin Platforms
Mirgita Frasheri, Prasad Talasila, Vanessa Scherma
Digital Twin (DT) technology has become rather popular in recent years, promising to optimize production processes, manage the operation of cyber-physical systems, with an impact s…
A Case Study on the Application of Digital Twins for Enhancing CPS Operations
Irina Muntean, Mirgita Frasheri, Tiziano Munaro
To ensure the availability and reduce the downtime of complex cyber-physical systems across different domains, e.g., agriculture and manufacturing, fault tolerance mechanisms are i…
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Marsha Chechik, Arianna Fedeli, Gianluca Filippone +4
This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in H…
Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri +1
As autonomous robots increasingly navigate complex and unpredictable environments, ensuring their reliable behavior under uncertainty becomes a critical challenge. This paper intro…