Peak Estimation and Recovery with Occupation Measures
Résumé
Peak Estimation aims to find the maximum value of a state function achieved by adynamical system. This problem is non-convex when considering standard Barrier andDensity methods for invariant sets, and has been treated heuristically by using auxiliaryfunctions. A convex formulation based on occupation measures is proposed in thispaper to solve peak estimation. This method is dual to the auxiliary function approach.Our method will converge to the optimal solution and can recover trajectories even fromapproximate solutions. This framework is extended to safety analysis by maximizingthe minimum of a set of costs along trajectories.
Domaines
Optimisation et contrôle [math.OC]
Fichier principal
main.pdf (1.21 Mo)
Télécharger le fichier
flow_half_3pi_4.pdf (186.43 Ko)
Télécharger le fichier
flow_half_5pi_4.pdf (196.65 Ko)
Télécharger le fichier
pendulum_sym2.png (102.5 Ko)
Télécharger le fichier
sym_attractor_initial_bounds_axis.pdf (104.87 Ko)
Télécharger le fichier
sym_attractor_state.pdf (123.51 Ko)
Télécharger le fichier
time_var_cost_wide.pdf (35.97 Ko)
Télécharger le fichier
time_var_multi_cost.pdf (34.69 Ko)
Télécharger le fichier
time_var_multi_state.pdf (38.65 Ko)
Télécharger le fichier
time_var_nonneg_wide.pdf (90.92 Ko)
Télécharger le fichier
time_var_state_2d.pdf (39.92 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|