fixed_oneStepReachability

A variant of implicit_oneStepReachability, where there are no loose variables (necessary for the 'fixed' approach) and where U_X and U_V are set to 0. Also, we ignore Y and measurement noises, and only compute the state reachable set. Finally, we also take into account the equilibrium point.

Syntax
Description
Input Arguments
Output Arguments
See Also
References

Syntax

[Rtp, Rti, ctrl_variable, utotal, additional_variables, additional_constraints] = fixed_oneStepReachability(Rtp_previous, optsInternal)

Description

Computes one step of linear reachability analysis, using the trivial controller.

Input Arguments

Rtp_previous

Struct containing the variables describing the time-point solution from the previous step

optsInternal

Struct containing internal parameters

Output Arguments

Rtp

Struct containing the variables describing the time-point solution

Rti

Struct containing the variables describing the time-interval solution

utotal

Struct containing the variables describing the input

References

*[1] "Approximability of the Containment Problem for Zonotopes and Ellipsotopes", A. Kulmburg et al., submited to TAC in 2024

Rtp_previous	Struct containing the variables describing the time-point solution from the previous step
optsInternal	Struct containing internal parameters

Rtp	Struct containing the variables describing the time-point solution
Rti	Struct containing the variables describing the time-interval solution
utotal	Struct containing the variables describing the input