# termRegNonlinSysDynamics

helper class for storing dynamical system objects and auxiliary values used in the reachability analysis of the abstraction.

## Contents

- Syntax
- Description
- Input Arguments
- Output Arguments
- See Also
- References

## Syntax

obj = termRegNonlinSysDynamics(benchmark,sysType,solver,Opts,Param)

## Description

Helper class for storing dynamical system objects and auxiliary values used in the reachability analysis of the abstraction. If a discrete-time dynamical system is considered, the continuous-time dynamics of the benchmark model are discretized during construction of an instance of this class.

## Input Arguments

benchmark | name of the considered benchmark model (see; "aroc/benchmarks/...")
sysType | type of dynamical system, e.g., sampled-data or discrete-time system (class: termRegSysType)
solver | instance of class computeTermRegNonlinSysOpt
Opts | struct with the following fields .integrator: (optional) integration scheme for time- discretizing the dynamical system - only required if sysType == termRegSysType.DT (class: discretizeDynamics) .timeStep: sampling time (positive scalar) .nonlinSysTermRegAlg: (`'lin'` / `'poly'`)
Param | struct with the following fields .paramSet: set of uncertain system parameters - only required if sysType.isParamSystem == True (class: interval)

## Output Arguments

obj | generated instance of the class termRegNonlinSysDynamics

## See Also

-

## References

[1] L. Schäfer et al. "Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems", in IEEE Transactions on Automatic Control, vol. 69, no. 2, pp. 755-770, 2024 [2] L. Schäfer and M. Althoff, "Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis," American Control Conference, 2024, pp. 4162-4169.

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