computeAbsErr
computes the abstraction error for a given nonlinear dynamical system and a given terminal region.
Contents
Syntax
Description
This function computes the abstraction error or a given nonlinear dynamical system over a given terminal region based on linearization- [1] or polymonialization-based [2] reachability algorithms.
Input Arguments
|
obj |
instance of class computeTermRegNonlinSysOpt |
|
dynamics |
instance of class termRegNonlinSysDynamics |
|
termRegSet |
candidate for the terminal region (class: zonotope/polyZonotope) |
Output Arguments
|
absErr |
set of abstraction errors (class: interval) |
See Also
References
[1] M. Althoff et al., "Reachability Analysis of Nonlinear Systems with Uncertain Parameters using Conservative Linearization", IEEE Conference on Decision and Control, 2008, pp. 4042-4048. [2] Matthias Althoff, "Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets", International conference on Hybrid systems: computation and control, 2013, pp. 173–182.
© 2018-2026 I6 Technische Universität München • Website • License
|
 |
 |
 |