termRegNonlinSysDynamics

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

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

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.

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)