ariadne-cps / ariadne
C++ framework for rigorous computation on cyber-physical systems
☆28Updated this week
Related projects ⓘ
Alternatives and complementary repositories for ariadne
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆30Updated 2 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 2 months ago
- ☆43Updated 7 months ago
- ☆16Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 4 months ago
- A free LDL factorisation routine☆79Updated 3 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆66Updated 2 years ago
- Computing reachable states of dynamical systems in Julia☆192Updated 3 weeks ago
- A package for compositional system analysis and design☆19Updated 3 weeks ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Updated 7 years ago
- A Multi-Physics Systems Modelling Library☆34Updated 2 years ago
- ☆18Updated 2 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- COIN-OR autotools harness to build Mumps☆19Updated 2 weeks ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 7 months ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆22Updated 3 weeks ago
- A library for using direct collocation in the optimization of dynamic systems.☆94Updated 3 weeks ago
- Systems definitions in Julia☆42Updated this week
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11Updated last year
- An active set-based NLP solver☆15Updated 10 months ago
- Matlab toolbox for set-oriented numerics in dynamical systems☆18Updated 4 months ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated 3 weeks ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆75Updated 3 years ago
- SLICOT - A Fortran subroutines library for systems and control☆48Updated 8 months ago
- IBEX is a C++ library for constraint processing over real numbers.☆69Updated 7 months ago
- a solver for sparse nonlinear optimization☆29Updated 6 months ago
- Simulation and visualization of articulated rigid body systems in Julia☆71Updated 4 years ago
- Python interface for COSMO.jl convex optimisation solver.☆13Updated 3 years ago
- nonlinear control optimization tool☆109Updated last year
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆80Updated 2 months ago