blegat / HybridSystems.jlView external linksLinks
Hybrid Systems definitions in Julia
☆30Dec 15, 2025Updated last month
Alternatives and similar repositories for HybridSystems.jl
Users that are interested in HybridSystems.jl are comparing it to the libraries listed below
Sorting:
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- Extension of MultivariatePolynomials to semialgebraic sets☆22Oct 8, 2024Updated last year
- ☆16Aug 20, 2022Updated 3 years ago
- Scalable symbolic-numeric set computations in Julia☆254Updated this week
- Fast evaluation of multivariate polynomials☆17Jun 26, 2023Updated 2 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50May 22, 2021Updated 4 years ago
- Interface for approximate and exact equality☆12Oct 5, 2024Updated last year
- Polyhedral Computation Interface☆182Feb 15, 2025Updated 11 months ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Sep 19, 2025Updated 4 months ago
- MultivariatePolynomials implementation using typed variables in Julia☆27Sep 1, 2025Updated 5 months ago
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Jun 11, 2025Updated 8 months ago
- Sum of Squares Programming for Julia☆126Nov 20, 2025Updated 2 months ago
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- Julia package for the plotting of plane curves and surfaces☆28Jun 27, 2023Updated 2 years ago
- ☆50Updated this week
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- A Julia modeling layer for the Generalized Moment Problem☆15May 26, 2025Updated 8 months ago
- ☆16May 1, 2023Updated 2 years ago
- ☆16Feb 8, 2020Updated 6 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- Systems definitions in Julia☆44Jan 31, 2026Updated last week
- Arithmetic with small and with very large rationals is made fast.☆23Updated this week
- Canonical default initial values and identity elements for Julia☆27Jan 15, 2022Updated 4 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆20Jan 20, 2026Updated 3 weeks ago
- A thin IPOPT wrapper for NLPModels☆23Dec 24, 2025Updated last month
- Linear algebra done rigorously☆39Aug 13, 2024Updated last year
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- KeywordCalls makes it easy to define a method taking a NamedTuple considered as a an unordered collection of bound variables. The require…☆24Sep 28, 2022Updated 3 years ago
- Tectonic typesetting for Julia.☆32Jan 5, 2026Updated last month
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated last week
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Jun 23, 2017Updated 8 years ago
- Causal.jl - A modeling and simulation framework adopting causal modeling approach.☆121Jan 29, 2022Updated 4 years ago
- Set Programming with JuMP☆23Dec 31, 2025Updated last month
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 4 months ago
- Library for construction, manipulation and evaluation of factorable functions☆12Dec 13, 2025Updated 2 months ago
- CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.☆17Feb 3, 2026Updated last week
- Reachability analysis for closed-loop control systems in Julia☆47Jan 31, 2026Updated last week
- Fault Detection and Isolation Tools in Julia☆17Nov 1, 2025Updated 3 months ago
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago