Cyber-Physical Systems Atlas
- 3 followers
- United States of America
Pinned Loading
Repositories
- safe-mpd Public
Safe Model Predictive Diffusion: Training-free diffusion planner for provably safe and kinodynamically feasible trajectory
cps-atlas/safe-mpd’s past year of commit activity - veritex Public
Veritex is a Python toolbox for verification and automated repair of Deep Neural Networks, supporting both exact and over-approximate analysis of reachable outputs. It helps debug unsafe behaviors and generate provably safe DNNs.
cps-atlas/veritex’s past year of commit activity - SMrTa-mirror Public
Implementation for the NFM 2024 paper "SMT-Based Dynamic Multi-Robot Task Allocation", providing tools for solving dynamic MRTA problems using SMT solvers.
cps-atlas/SMrTa-mirror’s past year of commit activity - multi-robot-task-allocation-stack-mirror Public
A ROS package providing a stack for simulating and implementing various multi-robot task allocation (MRTA) algorithms in environments like Gazebo.
cps-atlas/multi-robot-task-allocation-stack-mirror’s past year of commit activity - StarV Public
StarV is a framework for monitoring and verification codesign in distributed learning-enabled Cyber-Physical Systems. It uses event-driven execution and star set reachability to verify complex behaviors of dynamical systems in real time.
cps-atlas/StarV’s past year of commit activity - RTAMT Public
RTAMT is a Python library for real-time and offline monitoring of Signal Temporal Logic (STL) specifications.
cps-atlas/RTAMT’s past year of commit activity - cbfkit Public
Build advanced, safe robotic systems with CBFKit. Powered by JAX, this extensible Python/ROS2 toolbox integrates CBFs (including with MPPI!), supports diverse robots, controllers, sensors, and estimators, ensuring safety even in uncertain environments.
cps-atlas/cbfkit’s past year of commit activity - stremf Public
cps-atlas/stremf’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…