ariadne-cps / ariadne
C++ framework for rigorous computation on cyber-physical systems
☆28Updated this week
Alternatives and similar repositories for ariadne:
Users that are interested in ariadne are comparing it to the libraries listed below
- COIN-OR autotools harness to build Mumps☆19Updated 2 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆68Updated 3 years ago
- ☆17Updated last year
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 11 months ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆33Updated 3 weeks ago
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 2 months ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 7 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- ☆45Updated 11 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 6 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆76Updated 3 years ago
- Simulation and visualization of articulated rigid body systems in Julia☆72Updated 4 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11Updated last year
- Robotics library written in the Julia programming language☆40Updated last year
- ☆19Updated 3 years ago
- Systems definitions in Julia☆43Updated last month
- Geometric operations on polytopes of any dimension☆77Updated 4 months ago
- Julia Robotics tutorial presented at Dynamic Walking 2018☆30Updated 5 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Updated last year
- Matlab toolbox for set-oriented numerics in dynamical systems☆18Updated 8 months ago
- A free LDL factorisation routine☆88Updated this week
- An efficient implementation of the Double Description Method☆113Updated last month
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 10 months ago
- A geodesic interior-point method for symmetric cone optimization☆18Updated last year
- Quadratic Objective Conic Optimizer☆23Updated last week
- Trust Region Subproblem Solver Library☆19Updated 7 months ago
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆50Updated last month
- An active set-based NLP solver☆16Updated last year
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Library for chordal matrix computations☆23Updated 6 years ago