ReSonate: A framework for runtime risk assessment of autonomous cyber-physical systems
☆11Jul 4, 2021Updated 4 years ago
Alternatives and similar repositories for Resonate
Users that are interested in Resonate are comparing it to the libraries listed below
Sorting:
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- Code for risk-aware robust mpc for motion planning by learning obstacle uncertainties☆15Apr 7, 2025Updated 10 months ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆17Jul 10, 2020Updated 5 years ago
- Reliability_Multirotor_Drones☆13Nov 9, 2024Updated last year
- ☆13Jun 27, 2022Updated 3 years ago
- Using Lane Detection for Self Driving in CARLA☆15Mar 15, 2023Updated 2 years ago
- This repository offers code to reuse methodology and repeat experiments in the study "A Unified Probabilistic Approach to Traffic Conflic…☆22Jun 5, 2025Updated 8 months ago
- ☆22Sep 28, 2025Updated 5 months ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆22May 24, 2023Updated 2 years ago
- ☆23Sep 9, 2021Updated 4 years ago
- Automated Testing Framework for CARLA Simulator [ITSC 2022]☆22Apr 22, 2022Updated 3 years ago
- For the paper "Prediction-Based Reachability for Collision Avoidance in Autonomous Driving"☆22Dec 16, 2020Updated 5 years ago
- ☆26Nov 16, 2021Updated 4 years ago
- NeurIPS[2023] "Multi-Modal Inverse Constrained Reinforcement Learning from a Mixture of Demonstrations" official implement☆10Feb 19, 2024Updated 2 years ago
- 针对大模型的后门攻击☆12Jun 30, 2024Updated last year
- IT Risk Management tools☆14Apr 4, 2025Updated 10 months ago
- This is an experiment platform with autonomous agent openpilot0.8.9 and simulator carla 9.11 without docker setups.☆11Jan 3, 2025Updated last year
- PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-a…☆36May 30, 2024Updated last year
- PX4 and SITL/jMAVSim simulation for the ICUAS 2020 conference paper submission 'Disturbance Observer-Based Integral Backstepping Control…☆11Aug 5, 2020Updated 5 years ago
- 基于QT和select的网络聊天室☆11Nov 12, 2022Updated 3 years ago
- DGIST ARTIV Repos☆16Dec 29, 2020Updated 5 years ago
- ☆11Dec 21, 2023Updated 2 years ago
- A lua plugin for Wireshark which contains dissectors for common maritime protocols.☆16Dec 8, 2025Updated 2 months ago
- ☆48Mar 17, 2024Updated last year
- Traction adaptive motion planning using sampling augmented adaptive RTI☆12Jun 6, 2021Updated 4 years ago
- DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning☆13Mar 24, 2023Updated 2 years ago
- The CSET, Malcom, Con-PCA suite of tools☆13Mar 7, 2023Updated 2 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction☆11Jan 20, 2026Updated last month
- Code for IROS 2023 paper "A Game-Theoretic Framework for Joint Forecasting and Planning"☆51Oct 15, 2023Updated 2 years ago
- Simulation of manufacturing systems☆15Mar 15, 2022Updated 3 years ago
- ☆11Apr 21, 2019Updated 6 years ago
- MPC drone with flight constraints☆12May 1, 2020Updated 5 years ago
- [IEEE TCSVT] Preprocessing Enhanced Image Compression for Machine Vision☆15Mar 23, 2025Updated 11 months ago
- ROBOTICS - OBSTACLE AVOIDANCE☆11Dec 5, 2023Updated 2 years ago
- Manage the results of the qualitative risk analysis, quantitative risk analysis, and risk response planning.☆13Jul 16, 2025Updated 7 months ago
- ☆12Jan 5, 2021Updated 5 years ago
- A curated list of CTF frameworks, libraries, resources and softwares☆10Nov 11, 2015Updated 10 years ago
- ☆13Oct 16, 2025Updated 4 months ago