Guaranteeing inequality constraints for ∀ t in InfiniteOpt.jl?

[TTimelord]

I’m solving a continuous-time trajectory optimization problem in InfiniteOpt.jl. I have a state inequality constraint that I’d like to hold for all continuous t in a time interval, not just at the discretization/support points. Is there a way in InfiniteOpt.jl to guarantee that an inequality constraint is satisfied for every continuous t as long as the optimization is solved?

[pulsipher]

Hi there, while some there are some approaches in the literature for particular problem classes, to my knowledge there isn't a generalized approach that works for general InfiniteOpt problems. Hence, InfiniteOpt does not currently provide a solution method that guarantees constraint satisfaction over continuous domains.