Ellipse
Model
using ReachabilityAnalysis
A = [3.0 -9.0;
4.0 -3.0]
function model(X0)
S = @system(x' = Ax)
return IVP(S, X0)
endmodel (generic function with 1 method)using ReachabilityAnalysis
A = [3.0 -9.0;
4.0 -3.0]
function model(X0)
S = @system(x' = Ax)
return IVP(S, X0)
endmodel (generic function with 1 method)Settings
This document was generated with Documenter.jl version 1.16.1 on Monday 24 November 2025. Using Julia version 1.12.2.