# 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.

## Contents

- 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

## See Also

`implicit_oneStepReachability`

## References

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

© 2018-2026 I6 Technische Universität München `•` Website `•` License