1 citations · 3 across the 6 of their papers we have counts for
7 papers
A Mean-Field Approach for Safe Routing of Multi-Destination Urban Air Mobility Networks
Nameer Fawwaz Ahmed, Cody Fleming, Yasser Shoukry
As Urban Air Mobility (UAM) systems scale toward high-density operations, managing autonomous Unmanned Aerial Vehicle (UAV) traffic requires control frameworks that are both tracta…
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
Tobias Ladner, Yasser Shoukry, Matthias Althoff
Agents in cyber-physical systems are increasingly entrusted with safety-critical tasks. Ensuring safety of these agents often requires localizing the pose for subsequent actions. P…
Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models
Ulices Santa Cruz, Mahmoud Elfar, Yasser Shoukry
We consider the problem of vision-based pose estimation for autonomous systems. While deep neural networks have been successfully used for vision-based tasks, they inherently lack…
RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Detecting kinetic vulnerabilities in Cyber-Physical Systems (CPS), vulnerabilities in control code that can precipitate hazardous physical consequences, is a critical challenge. Th…
Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility
Jaejeong Park, Mahmoud Elfar, Cody Fleming +1
Urban Air Mobility (UAM) has emerged as a promising solution to alleviate urban congestion and transportation challenges. Nevertheless, the noise generated by eVTOL aircrafts poses…
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
This paper presents a novel tool, named Rampo, that can perform binary code analysis to identify cyber kinetic vulnerabilities in CPS. The tool takes as input a Signal Temporal Log…
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Ulices Santa Cruz Leal, Yasser Shoukry
This paper studies the problem of designing a certified vision-based state estimator for autonomous landing systems. In such a system, a neural network (NN) processes images from a…