GitHub repository: Jarmill/peak
Primary language: MATLAB
Description: Estimate the peak of a function across all trajectories. Based on occupation measures, results in a hierarchy of SDPs. Assumes dynamics and objective are polynomial, and semialgebriac regions.