VREP · ReachabilityAnalysis.jl

ReachabilityAnalysis.jl

Overview
Tutorials
- Set representations
- Linear methods
- Modeling uncertain inputs
- Taylor methods
- Parametric systems
  - Parametric reachability
- Hybrid systems
  - Square wave oscillator
- Clocked systems
  - Platoon
  - Electromechanical brake
Manual
- Systems
- Linear solvers
  - A20
  - ASB07
  - BFFPSV18
  - BOX
  - GLGM06
  - INT
  - LGG09
  - ORBIT
  - VREP
- Parametric solvers
  - HLBS25
Benchmarks
Further examples
API Reference
- Systems
- Reach-sets
- Flowpipes
- Linear solvers
  - A20
  - ASB07
  - BFFPSV18
  - BOX
  - GLGM06
  - INT
  - LGG09
  - ORBIT
  - VREP
- Nonlinear solvers
- Parametric solvers
  - HLBS25
- Solutions
- Discretization
- Projections
- Clustering
- Further set operations
- Distributed computations
- Internal functions and macros
Frequently Asked Questions (FAQ)
Bibliography
How to contribute

Version

API Reference
Linear solvers
VREP

VREP

ReachabilityAnalysis.VREP — Type

VREP{N, AM, S, D} <: AbstractContinuousPost

Implementation of a linear reachability solver using the vertex representation.

« ORBIT CARLIN »

Powered by Documenter.jl and the Julia Programming Language.

Settings

Theme

This document was generated with Documenter.jl version 1.15.0 on Thursday 13 November 2025. Using Julia version 1.12.1.