splitControlTemplates

split poly. zonotopes for controller templates

Syntax

list = splitControlTemplates(Uscalar,ids,splits)

Recursively split the polynomial zonotopes for the controller templates to improve the accuracy of the bounds that characterize feasible parameters.

Uscalar

controller template for a scalar control input

ids

identifiers for the factors that are split

splits

number of recursive splits

list

list storing the split controller templates

[1] Gassman et al. (2021), Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems

Uscalar	controller template for a scalar control input
ids	identifiers for the factors that are split
splits	number of recursive splits