GitHub

Internal functions and macros

This section of the manual includes some internal (i.e. unexported) functions and macros used within the library.

Algorithm defaults

ReachabilityAnalysis._default_cpost — Function
_default_cpost(ivp::IVP{<:AbstractContinuousSystem}, tspan; kwargs...)

Input

  • ivp – initial-value problem
  • tspan – time-span

Output

A continuous post-operator that can handle the given initial-value problem.

Notes

If the system is affine, then:

  • If it is one-dimensional, algorithm INT is used, otherwise,
  • Algorithm GLGM06 is used.

If the system is not affine, then the algorithm TMJets is used.

source