copp.solver.reach_set2.ReachSet

TOPP2 reachable a(s) interval result.

Syntax

obj = copp.solver.reach_set2.ReachSet(a_max, a_min)

Description

ReachSet stores one feasible interval per station: a_min(k) <= a(k) <= a_max(k) where \(a = (ds/dt)^2\). Bounds must be finite, nonnegative, and ordered up to a small numerical tolerance. Inputs may be row or column vectors, but a_min and a_max are stored as MATLAB-owned \(N \times 1\) double column vectors.

Input Arguments

a_max

Input value for copp.solver.reach_set2.ReachSet. See Description for accepted shape and constraints.

a_min

Input value for copp.solver.reach_set2.ReachSet. See Description for accepted shape and constraints.

Properties

a_max

Upper reachable bound at each station as an \(N \times 1\) vector.

a_min

Lower reachable bound at each station as an \(N \times 1\) vector.

len

Number of station intervals stored in this result.

Methods

ReachSet

Construct a MATLAB-owned reachable-set result.

Method Details

ReachSet

Syntax

obj = copp.solver.reach_set2.ReachSet(a_max, a_min)

and A_MIN may be \(1 \times N\) or \(N \times 1\), but both must contain the same number of station samples. Stored properties are \(N \times 1\). Tiny negative values caused by roundoff are clamped to zero.

See Also

copp.solver.reach_set2