You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We currently have AbstractReachSets for a single (convex) set and ReachSolution for a vector of those. The output of continuous-post operators is also a vector of AbstractReachSets. In hybrid reachability algorithms these vectors are mixed, which causes problems with vector types and also complicates finding individual flowpipes later (e.g., #261).
Proposal: Add an intermediate type Flowpipe. It works more or less like a ReachSolution but does not contain options. The ReachSolution would then become a vector of Flowpipes instead.
The text was updated successfully, but these errors were encountered:
We currently have
AbstractReachSet
s for a single (convex) set andReachSolution
for a vector of those. The output of continuous-post operators is also a vector ofAbstractReachSet
s. In hybrid reachability algorithms these vectors are mixed, which causes problems with vector types and also complicates finding individual flowpipes later (e.g., #261).Proposal: Add an intermediate type
Flowpipe
. It works more or less like aReachSolution
but does not contain options. TheReachSolution
would then become a vector ofFlowpipe
s instead.The text was updated successfully, but these errors were encountered: