evalPZfuncCasadi
adapted from @polyZonotope/resolve (CORA) for compatibility with CasADi
Contents
Syntax
Description
This function is adapted from @polyZonotope/resolve (from the CORA toolbox), which is not compatible with CasADi symbolic variables. As the original function, this function computes the result of inserting a value for the identifiers into a polynomial zonotope.
Input Arguments
|
pZ |
polyZonotope object to be resolved |
-x value to be substituted
|
id |
ids corresponding to x |
Output Arguments
|
res |
resulting polynomial zonotope or double if id==pZ.id |
See Also
(CORA toolbox)') @polyZonotope/resolve (CORA toolbox)
References
[1] 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
|
 |
 |
 |