250 likes | 267 Views
This workshop presentation discusses an optimal control problem involving a mixed ODE/PDE system with state constraints and free end time, focusing on the optimization of flight paths for hypersonic passenger jets. Theoretical results and numerical solutions are presented, highlighting the complexity of necessary conditions and the challenges in solving integrative constraints. The study offers insights into the structural analysis and comparison of ODE and PDE viewpoints, providing a prototype problem for further exploration.
E N D
On an Instationary Mixed ODE/PDE Optimal Control Problem with State-Constraints and Free End Time Armin Rund University of Bayreuth, Germany jointly with Hans Josef Pesch & Stefan Wendl Workshop on PDE Constrained Optimization Trier, June 3-5, 2009
Outline • Motivation: Flight path optimization of hypersonic • passenger jets • The hypersonic rocket car problem • Necessary conditions • Numerical results • Conclusion
PDE ODE Motivation: Hypersonic Passenger Jets quasilinear PDE non-linear boundary conditions both coupled with ODE 2 box constraints 1 control-state constraint 1 state constraint Project LAPCAT Reaction Engines, UK
The ODE-Part of the Model: The Rocket Car minimum time control costs
The PDE-Part of the Model: Heating of the Entire Vehicle friction term control via ODE state The state constraint regenerates the PDE with the ODE for boundary control cf. [Pesch, R., v. Wahl, Wendl]
space space time time The Optimal Trajectories (Regularized, Control Constrained) distributed case state unconstrained
Existence, uniqueness, and continuous dependence on data • Non-negativity of • Symmetry • Classical solution time space • Maximum regularity Theoretical results: jointly with Wolf von Wahl • Strong maximum in
Only if regular Hamiltonian Theoretical results (order concept w.r.t. the ODE/PDE) touch points boundary arcs yields feedback laws for optimal controls on subarcs [boundary control: order 1, only boundary arcs] space order with respect to the PDE touch points boundary arcs
non-standard 2) as PDE optimal control problem plus two isoperimetric constraints on due two ODE boundary conds. Theoretical results (two formulations) Solution formula for T by separation of variables and series expansion Two equivalent formulations 1) as ODE optimal control problem non-local, resp. integro-state constraint
Transformation Integro-ODE pointwise Theoretical results (ODE formulations) Integro-state constraint corresponds to Maurer‘s intermediate adjoining approach
Theoretical results (ODE formulations) Lagrangian and necessary conditions → Standard adjoint ODEs, projection formula, jump conditions and complementarity conditions, but: Retrograde integro-ODE for the adjoint velocity difficult to solve no standard software
Theoretical results (PDE formulations) non-standard + free terminal time
Theoretical results (PDE formulations, distributed control) • We follow the well-known proceeding: • Frechet-differentiability of the solution operator • Formulation of optimization problem in Banach Space • Existence of Lagrange multiplier for the state constraint • → Lagrange-Formalism
Theoretical results (PDE formulations, distributed control) Necessary conditions: adjoint equations , but so far all seems to be standard Necessary condition: integro optimal control law extremely difficult to solve no standard software
control is non-linear linear Numerical results: Direct Method (AMPL + IPOPT) (AD and a-posteriori verification of nec. cond.)
Numerical results time order 2 TP BA TP TP BA TP BA touch point (TP) and boundary arc (BA)
Numerical results for boundary control problem time order 1 BA BA BA BA BA only boundary arc
Numerical results: Verification A posteriori verfication of optimality conditions: projection formula (ODE) Method: Ampl + IPOPT Ref.: IPOPT Andreas Wächter 2002
essential singularities: jump in jump in except on the set of active constraint Ansatz for Lagrange multiplier and jump conditions Construction of Lagrange multiplier (justified by analysis): solution of IBVP by method of lines
Numerical results: Verification A posteriori verfication of optimality conditions: The PDE formulation: adjoint temperature numerical artefacts estimate from NLP solution by IPOPT
is discontinous Numerical results: Verification A posteriori verfication of optimality conditions: comparison of adjoints (ODE + PDE)
correct signs of jumps is discontinous Numerical results: Verification A posteriori verfication of optimality conditions: comparison of adjoints/jump conditions (ODE + PDE)
Conclusions • Staggered optimal control problems with state constraints motivated from hypersonic flight path optimization • Prototype problem with unexpectedly complicated necessary conditions • Discussion from ODE or PDE point of view possible • → Comparison and transfer of concepts possible. • Structural analysis w.r.t. switching structure • Jump conditions in Integro-ODE and PDE optimal control, • free terminal time • First discretize, then optimize with reliable verification of necessary conditions, but with limitations in time and storage
Thank you for your attention! Visit our homepage for further information www.ingenieurmathematik.uni-bayreuth.de Email: armin.rund@uni-bayreuth.de