safety-critical-systems 开源项目推荐（97 个）

PKU-Alignment /safety-gymnasium

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

NASA-SW-VnV /fret

A framework for the elicitation, specification, formalization and analysis of requirements.

pavel-kirienko /o1heap

Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈120 cycles @ RP2350 irrespective of heap usage. There is little activity because the project is finished and does not require further changes.

HybridRobotics /MPC-CBF

《安全关键模型预测控制与离散时间控制障碍函数》，作者J. Zeng、B. Zhang和K. Sreenath https://arxiv.org/abs/2007.11718

HybridRobotics /NMPC-DCLF-DCBF

A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)

Weixy21 /BarrierNet

Safe robot learning

PKU-Alignment /SafeDreamer

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

wanxinjin /Safe-PDP

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.

tokiwa-software /fuzion

The Fuzion Language Implementation

HybridRobotics /CBF-Pointwise-Feasibility

"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

wecacuee /Bayesian_CBF

Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"

borisRadonic /RTSHA

Real Time Safety Heap Allocator

CommonRoad /commonroad-crime

🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles

Safety-Critical-Control-WIRIN /sccav_cbf

Safety Critical Control of Autonomous Vehicles by Control Barrier Functions

silverSapphire /Eigen-Malloc-Free-Pseudoinverse

This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.

mahaitongdae /Safety_Index_Synthesis

Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.

Weixy21 /InvarianceNODE

On the forward invariance of Neural ODEs: performance guarantees for policy learning

NoCohen66 /Verification4ObjectDetection

🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.

omxnt /openconformity

Free, open-source, browser-based tool for CE marking of machinery under the Machinery Regulation (EU) 2023/1230.

modelint /shlaer-mellor-metamodel

A metamodel to support Executable UML based on Shlaer-Mellor semantics