3 papers
cs.CR2025
Mission Aware Cyber-physical Security
Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming +1
Perimeter cybersecurity, while essential, has proven insufficient against sophisticated, coordinated, and cyber-physical attacks. In contrast, mission-centric cybersecurity emphasi…
eess.SY2025
Correct-by-construction requirement decomposition
Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh +1
In systems engineering, accurately decomposing requirements is crucial for creating well-defined and manageable system components, particularly in safety-critical domains. Despite…
cs.RO2025
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
James Ferlez, Mahmoud Elnaggar, Yasser Shoukry +1
In this paper, we develop a novel closed-form Control Barrier Function (CBF) and associated controller shield for the Kinematic Bicycle Model (KBM) with respect to obstacle avoidan…