4 papers
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
Nikolaos Kekatos, Panagiotis Katsaros, Alexios Lekidis +2
Swarms of LLM-assisted autonomous robots are increasingly proposed for cooperative intelligence, surveillance, and reconnaissance (ISR) in contested environments. A growing class o…
Home Energy Management Systems: Challenges, Heterogeneity & Integration Architecture Towards A Smart City Ecosystem
Georgios Kormpakis, Alexios Lekidis, Elissaios Sarmas +4
The contemporary era is marked by rapid urban growth and increasing population. A significant, and constantly growing, portion of the global population now resides in major cities,…
Towards Incident Response Orchestration and Automation for the Advanced Metering Infrastructure
Alexios Lekidis, Vasileios Mavroeidis, Konstantinos Fysarakis
The threat landscape of industrial infrastructures has expanded exponentially over the last few years. Such infrastructures include services such as the smart meter data exchange t…
Model-Based Design of Energy-Efficient Applications for IoT Systems
Alexios Lekidis, Panagiotis Katsaros
A major challenge that is currently faced in the design of applications for the Internet of Things (IoT) concerns with the optimal use of available energy resources given the batte…