ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Switched affine system test

Open dfcaporale opened this issue 3 years ago • 0 comments

The test "Switched affine system" was included in test/flowpipes.jl. It consists of an affine switched time with deterministic and non-deterministic switching. The analytical solutions for extreme cases are calculated and we check if they are completely contained inside the flowpipe.

dfcaporale avatar Sep 03 '20 03:09 dfcaporale