Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.
☆16Nov 21, 2022Updated 3 years ago
Alternatives and similar repositories for csaf
Users that are interested in csaf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official repo for the CoRL 2022 paper 'Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation'☆10Oct 8, 2022Updated 4 years ago
- Lean4 port of Arduino balance car controller☆56Mar 17, 2021Updated 5 years ago
- a little library to help me with things involving Koopman operators☆14Mar 3, 2022Updated 4 years ago
- F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".☆84Jul 30, 2022Updated 4 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆25Oct 14, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- Jax version of F16 dynamics☆28Aug 18, 2024Updated 2 years ago
- ☆11Dec 14, 2021Updated 4 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Aug 31, 2022Updated 4 years ago
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆36Oct 7, 2026Updated last month
- A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.☆21May 13, 2024Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 4 months ago
- [Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox☆10Sep 28, 2026Updated last month
- ☆10Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 6 years ago
- This package can convert a LTL formula to Full Product Automaton☆10Mar 3, 2019Updated 7 years ago
- pypcd for python3 changes☆14Jun 27, 2019Updated 7 years ago
- Persistence Mayer Vietoris spectral sequence☆13Nov 7, 2022Updated 4 years ago
- Implements a compositional algorithm for computing shortest paths on weighted graphs☆13Sep 1, 2023Updated 3 years ago
- [ICLR-2026 main track] ProofBridge is a unified framework that translates natural language theorems and proofs into Lean 4 using joint em…☆18Jul 18, 2026Updated 3 months ago
- ☆28Sep 27, 2024Updated 2 years ago
- The latest source code of the tool Flow*☆30Jan 15, 2023Updated 3 years ago
- A fast, C++ OpenGL implementation of Conway's Game of Life. Now includes a 3D version!☆37Apr 22, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- lean-related presentations☆18Updated this week
- Codes for the Numerical Results of the paper "Tangent Bundle Neural Networks: from Manifolds to Celullar Sheaves and Back"☆12Oct 13, 2026Updated 3 weeks ago
- Repository for the HARDENS project☆31Dec 12, 2024Updated last year
- Implementation of CarSNN: An Efficient Spiking Neural Network for Event-Based Autonomous Cars on the Loihi Neuromorphi☆16Aug 4, 2021Updated 5 years ago
- This is the official code base for paper 'Analytical Lyapunov Function Discovery: An RL-based Generative Approach'.☆13Jul 20, 2025Updated last year
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆30Jun 8, 2021Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- A simple heapless command line interface parser for embedded devices☆18Mar 15, 2019Updated 7 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 3 years ago
- ☆20Apr 19, 2026Updated 6 months ago
- Python Version of F-16 Maneuver Verification Benchmark☆146Mar 11, 2026Updated 8 months ago
- Compact LaTeX Template for the standard institute format. This is a modification of MR Bharath's LaTeX template. I've made it more compac…☆11Dec 28, 2016Updated 9 years ago
- Tropical Numbers☆17Nov 2, 2025Updated last year
- TIGRIS: An Informed Sampling-based Informative Path Planner☆23Oct 11, 2022Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
Are these results useful?