postprocessIterate
post-processing of the convex/polynomial programming solution.
Contents
Syntax
Description
The post-processing of the optimal solution consists of the following steps: - checking feasibility - computation of the volume of the (under-approxmiation) of the candidate terminal region (required for checking convergence) - updating the coefficients of the cost function for the next iteration
Input Arguments
|
obj |
instance of class computeTermRegNonlinSysOpt |
|
sCost |
generator scaling factors for obj.costSet (double vector) |
|
slack |
vector collecting all slack variables (double vector) |
|
tr_exploit |
scalar indicating the exploitation of the trust region (scalar, 0 <= tr_exploit <= 1) |
|
estAbsErr |
estimate of the set of abstraction errors (class: interval) |
|
solverTime |
time for solving the optimization problem (positive scalar) |
|
setupTime |
time for setting up the optimization problem (positive scalar) |
Output Arguments
|
obj |
updated instance of class computeTermRegNonlinSysOpt |
|
auxData |
additional solution data (e.g. flag indicating; feasibility) (class: termRegNonlinSysSolutionAuxData) |
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
|
![]() |
![]() |
![]() |


