ariadne-cps / ariadne
C++ framework for rigorous computation on cyber-physical systems
☆29Updated this week
Alternatives and similar repositories for ariadne
Users that are interested in ariadne are comparing it to the libraries listed below
Sorting:
- A free LDL factorisation routine☆92Updated 2 months ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated last year
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 4 years ago
- A package for compositional system analysis and design☆22Updated last month
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 9 months ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆52Updated 3 months ago
- Geometric operations on polytopes of any dimension☆79Updated 7 months ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆63Updated 2 months ago
- Computing reachable states of dynamical systems in Julia☆200Updated this week
- Complete software package for the Iris Lunar Rover (CMU).☆16Updated 6 months ago
- System Identification toolbox, compatible with ControlSystems.jl☆143Updated last week
- Convex Over and Under Envelopes for Nonlinear Estimation☆75Updated last year
- COIN-OR autotools harness to build Mumps☆20Updated this week
- Reachability analysis for closed-loop control systems in Julia☆45Updated last week
- ☆19Updated 3 years ago
- Robust INner and Outer approximated reachability analysis☆9Updated last year
- Abstraction layer for spanning factor graphs over various technologies☆21Updated last week
- Hybrid Systems definitions in Julia☆29Updated last year
- ☆19Updated last month
- 3D Visualization of mechanisms and URDFs using MeshCat.jl and RigidBodyDynamics.jl☆40Updated 5 months ago
- The Constrained and Unconstrained Testing Environment with safe threads (CUTEst) for optimization software☆105Updated this week
- Julia Robotics tutorial presented at Dynamic Walking 2018☆30Updated 5 years ago
- ☆45Updated 2 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated 3 months ago
- URDF and meshes for the Boston Dynamics Atlas robot (v5)☆17Updated 5 years ago
- ☆47Updated 2 weeks ago
- SLICOT - A Fortran subroutines library for systems and control☆58Updated last week
- Low-level Julia bindings for the LCM communications library☆15Updated 4 years ago