Project for multi-UAV cooperative decision making
☆61Feb 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for OpenUxAS
Users that are interested in OpenUxAS are comparing it to the libraries listed below
Sorting:
- Project for simulating multi-UAV missions☆87Dec 18, 2025Updated 2 months ago
- SPARK Proof Analysis Tool☆17Oct 19, 2020Updated 5 years ago
- A vision-based, GPS-denied navigation and control architecture for a rotorcraft platform. C++ and ROS☆10Apr 26, 2017Updated 8 years ago
- Tool for computing unmitigated collision risk using traffic density data☆13Aug 15, 2023Updated 2 years ago
- High-level UAV managers in ROS, part of the "mrs_uav_core" package.☆28Feb 26, 2026Updated last week
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆27Sep 27, 2024Updated last year
- An Ada implementation of James Munns' BBQueue☆11Oct 17, 2025Updated 4 months ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- ☆35May 8, 2019Updated 6 years ago
- actor based framework for building event driven, distributed simulations☆47Jun 25, 2024Updated last year
- Exact Verification of ReLU Neural Control Barrier Functions☆11Oct 13, 2023Updated 2 years ago
- Multi-UAV ROS control simulation and experiment☆12Mar 14, 2024Updated last year
- Qualitative and Quantitative Verification Tool for Learning-enabled Cyber-Physical Systems☆13Feb 24, 2026Updated last week
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- Simulink vehicle PX4 autopilot communication & control interface. More info at☆37Apr 24, 2019Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- A startup code generator for embedded projects☆33Jan 9, 2026Updated last month
- 🚀 UAV Flight Control & Simulation (Spring 2020), MAV control projects☆18Sep 1, 2020Updated 5 years ago
- BRL Flight Arena Infrastructure 2.0☆18Mar 17, 2023Updated 2 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆19Oct 12, 2020Updated 5 years ago
- ☆23Mar 24, 2023Updated 2 years ago
- Model-based driven real-time embedded software framework for safety-critical and mission-critical application☆27Dec 29, 2025Updated 2 months ago
- GitHub action to setup an Ada/SPARK dev environment☆21Mar 11, 2022Updated 3 years ago
- A structured streaming was applied to the robot data from ROS-Gazebo simulation environment using Apache Spark. Data is collected in Kafk…☆19Feb 6, 2022Updated 4 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 5 years ago
- Code accompanying "Sketching Curvature for Efficient Out-of-Distribution Detection for Deep Neural Networks"☆22Aug 13, 2021Updated 4 years ago
- bluetoothcar base on STM32F103VET6 use HAL,STM32CUBEMX☆10Apr 17, 2021Updated 4 years ago
- Arducam MT9V034 ROS driver for accurate syncing with MPU9250 IMU or using it with Mavros PX4 cam IMU sync API..☆21Dec 5, 2019Updated 6 years ago
- ☆14Mar 23, 2021Updated 4 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- GNC of a SWARM of UAVs in a SITL by Tom Antoine and Alex Martinez - Cranfield University AVDC MSc 2021☆28Apr 6, 2021Updated 4 years ago
- A custom ArcGIS Pro toolbox with multiple Python-based geoprocessing script tools to automate and simplify processing and analysis of Aut…☆10Sep 29, 2025Updated 5 months ago
- The ros2 benchmarks for jetson xavier and pc.☆28Jun 23, 2022Updated 3 years ago
- STEM: Numerical model to simulate railway induced vibrations☆15Updated this week
- An attempt at a minimalistic and secure operating system.☆27May 28, 2021Updated 4 years ago