Skip to content

Make overapproximate more robust #3971

@alecarraro

Description

@alecarraro

The function

function overapproximate(P::AbstractSparsePolynomialZonotope,
::Type{<:UnionSetArray{Zonotope}};
nsdiv=10, partition=nothing)
q = nparams(P)
dom = IA.IntervalBox(IA.interval(-1, 1), q)
cells = IA.mince(dom, isnothing(partition) ? nsdiv : partition)
return UnionSetArray([overapproximate(P, Zonotope, c) for c in cells])
end

causes an error when the number of parameters of the SPZ is 0, since it is tries to create an interval box with 0 dimensions.

Metadata

Metadata

Assignees

Labels

fix 🤕Fix to a problem that is not too serious

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions