safety-critical-systems
Here are 23 public repositories matching this topic...
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
-
Updated
Oct 27, 2021 - Java
This repository is part of EU-funded Research Project (XANDAR)
-
Updated
Feb 1, 2023 - Shell
STM32 project & C++ library 🛰️
-
Updated
Sep 21, 2023 - C++
🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
-
Updated
Jul 1, 2024 - Jupyter Notebook
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
-
Updated
Oct 27, 2022 - Python
🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.
-
Updated
Jun 7, 2024 - Jupyter Notebook
On the forward invariance of Neural ODEs: performance guarantees for policy learning
-
Updated
Jun 7, 2023 - Python
Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.
-
Updated
Jul 31, 2023 - Python
Safety Critical Control of Autonomous Vehicles by Control Barrier Functions
-
Updated
Sep 9, 2022 - Python
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
-
Updated
May 31, 2022 - C++
Real Time Safety Heap Allocator
-
Updated
Nov 20, 2023 - C++
List of NSO Pegasus's C2C Servers where will be used to control Pegasus.
-
Updated
Jun 8, 2023
Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
-
Updated
Oct 18, 2022 - Jupyter Notebook
"Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. Li and K. Sreenath https://arxiv.org/pdf/2103.12375.pdf
-
Updated
May 23, 2021 - MATLAB
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
-
Updated
Apr 8, 2024 - Python
The Fuzion Language Implementation
-
Updated
Jul 8, 2024 - Java
Safe robot learning
-
Updated
Jun 4, 2024 - Python
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
-
Updated
Jul 23, 2022 - Python
"Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv.org/abs/2007.11718
-
Updated
Jan 21, 2022
Improve this page
Add a description, image, and links to the safety-critical-systems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the safety-critical-systems topic, visit your repo's landing page and select "manage topics."