- ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems): A software architecture that enables the robust integration of ...

Nov 30, 2022 · "Understanding Bounding Functions in Safety-Critical UAV Software" ... software infrastructure for Unmanned Aerial Vehicles (UAVs).

We used an automated Human Rescue Robot System (HRRS) as a case study, modeled it using hierarchical CPN, and injected some specified failures to check and ...

Attacks / Vulnerabilities · ICSE 2021, Understanding Bounding Functions in Safety-Critical UAV Software · USENIX SEC 2020, Stealthy Tracking of Autonomous ...

safety significant, appropriate bounding of the performance of each function ... confidence that a safety-critical or safety-related software function will ...

could deepen our understanding of underactuated systems, especially those in ... Detailed construction of barrier functions for nonlinear systems is.

Jun 7, 2022 · Additionally, RTA seems to provide an attractive solution to bounding the behavior of machine learning and artificial intelligence (AI) systems.

We validate the proposed framework in simulation, where a fixed-wing UAV tracks a circular trajectory while satisfying multiple safety constraints including ...

Sep 27, 2024 · We extend the classical Boids algorithm from computer animation to include collision avoidance through control barrier functions.

INDEX TERMS Safety-critical control, nonlinear control, real-time optimization, optimal control, viability theory, barrier functions. I. INTRODUCTION. Safety is ...