# evalPZfuncCasadi

adapted from @polyZonotope/resolve (CORA) for compatibility with CasADi

## Contents

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

## Syntax

res = resolve(pZ,x,id)

## 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