safety-critical

Star

Here are 62 public repositories matching this topic...

stanislaw / awesome-safety-critical

Star

List of resources about programming practices for writing safety-critical software.

safety awesome-list safety-critical awesome-lists safety-standards

Updated Apr 23, 2024
Python

PKU-Alignment / omnisafe

Star

OmniSafe is an infrastructural framework for accelerating SafeRL research.

benchmark machine-learning reinforcement-learning deep-learning deep-reinforcement-learning constraint-satisfaction-problem pytorch safety-critical saferl safe-reinforcement-learning safe-rl safety-gym safety-gymnasium constraint-rl

Updated May 12, 2024
Python

Azure / Mission-Critical

Star

This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.

reliability-engineering azure safety-critical mission-critical business-critical

Updated Feb 1, 2023

weston-embedded / uC-OS2

Star

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

real-time kernel os safety certification rtos safety-critical ucos-ii micrium ucosii os-ii

Updated Jan 5, 2023
C

PKU-Alignment / safety-gymnasium

Star

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

reinforcement-learning constraint-satisfaction-problem safety-critical safety-critical-systems safe-reinforcement-learning safe-reinforcement-learning-environments constraint-rl safe-policy-optimization

Updated Apr 30, 2024
Python

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.

Updated Apr 10, 2024
C++

HybridRobotics / CBF-CLF-Helper

Star

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

matlab control-theory clf safety-critical cbf control-lyapunov-functions control-barrier-functions

Updated Jul 27, 2021
MATLAB

boostorg / safe_numerics

Star

Replacements to standard numeric types which throw exceptions on errors

c-plus-plus boost-libraries integer-arithmetic safety-critical safe-numerics safe-integers

Updated Apr 15, 2024
C++

liuzuxin / FSRL

Star

🚀 A fast safe reinforcement learning library in PyTorch

library reinforcement-learning robotics decision-making pytorch sac safety-critical trpo ppo cpo safe-rl trustworthy-ai cvpo

Updated Oct 11, 2023
Python

wanxinjin / Safe-PDP

Star

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.

optimization constraints constrained-optimization constraint-programming robotics-control constraint-based-modeling safety-critical safety-critical-systems differentiable-programming non-convex-optimization safe-reinforcement-learning constrained-learning safe-control constrained-reinforcement-learning safe-planning safety-critical-learning

Updated Jul 23, 2022
Python

pulp-platform / carfield

Star

A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow on multiple boards is available.

c asic fpga simulation riscv systemverilog safety-critical heterogeneous-computing mixed-criticality-systems

Updated Apr 25, 2024
Tcl

IBM / vsrl-framework

Star

The Verifiably Safe Reinforcement Learning Framework

reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control

Updated Jul 22, 2021
Python

kburtch / SparForte

Star

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.

mysql shell security postgresql elegant interpreted-programming-language ada reliable strongly-typed side-effects safety-critical ada-language agile-integration

Updated Apr 19, 2024
Ada

Allenpandas / Autonomous-Driving-Security-Resources

Star

🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.

autonomous-car autonomous-driving autonomous-vehicles sensor-fusion autonomous-agents safety-critical autonomous-systems planning-algorithms smart-traffic-system autonomous-vehicle sensors-data-collection smart-traffic autonomous-driving-system

Updated Apr 23, 2024

Impression2805 / Awesome-Failure-Detection

Star

A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)

uncertainty safety uncertainty-quantification uncertainty-estimation failure-detection safety-critical failure-prediction confidence-estimation out-of-distribution-detection selective-classification misclassification-detection reliable-prediction

Updated Oct 6, 2023

boyiwei / alignment-attribution-code

Star

Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications

alignment safety safety-critical low-rank-representaion llm

Updated Mar 25, 2024
Python

tayalmanan28 / Safe_Reinforcement_Learning

Sponsor

Star

Repository containing the code for the paper "Safe Model-Based Reinforcement Learning using Robust Control Barrier Functions". Specifically, an implementation of SAC + Robust Control Barrier Functions (RCBFs) for safe reinforcement learning in two custom environments

machine-learning control reinforcement-learning deep-learning robotics pytorch safety-critical safe-reinforcement-learning iisc