ariadne-cps / ariadneLinks
C++ framework for rigorous computation on cyber-physical systems
☆29Updated last week
Alternatives and similar repositories for ariadne
Users that are interested in ariadne are comparing it to the libraries listed below
Sorting:
- Geometric operations on polytopes of any dimension☆79Updated last month
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆34Updated 2 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 10 months ago
- SLICOT - A Fortran subroutines library for systems and control☆60Updated last month
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 4 years ago
- Computing reachable states of dynamical systems in Julia☆203Updated last month
- ☆45Updated 3 months ago
- An efficient implementation of the Double Description Method☆119Updated 5 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 4 years ago
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 6 months ago
- ☆19Updated last month
- COIN-OR autotools harness to build Mumps☆20Updated 3 weeks ago
- Julia Robotics tutorial presented at Dynamic Walking 2018☆30Updated 5 years ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆18Updated last year
- Systems definitions in Julia☆44Updated 2 months ago
- Python interface for COSMO.jl convex optimisation solver.☆14Updated 3 years ago
- Python wrapper for the Subroutine Library in Systems and Control Theory (SLICOT)☆142Updated 4 months ago
- Julia scripting OpenModelica interface☆41Updated 10 months ago
- A free LDL factorisation routine☆94Updated 3 months ago
- A Multi-Physics Systems Modelling Library☆34Updated 3 years ago
- ☆58Updated last month
- Hybrid Systems definitions in Julia☆29Updated last year
- Sparse Parallel Robust Algorithms Library☆123Updated last month
- Simulation and visualization of articulated rigid body systems in Julia☆73Updated 5 years ago
- Reachability analysis for closed-loop control systems in Julia☆46Updated 3 weeks ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Updated 8 months ago
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆53Updated 5 months ago
- nonlinear control optimization tool☆111Updated 3 months ago
- A solver for mixed-integer nonlinear optimization problems☆121Updated 2 months ago