Skip to main content
Top

2023 | OriginalPaper | Chapter

Second-order Sufficient Conditions of Strong Minimality with applications to Orbital Transfers

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We present second-order Extended Sufficiency Conditions applicable without Strict Legendre Conditions and without local controllability assumption also in the frame of saturated and bang–bang control. We provide a procedure to maximize the interval where the Sufficient Conditions can be applied using a Riccati Matrix Equation and compare this procedure with the classic conjugate point condition. Applications to Finite and Infinite Thrust Orbital Transfer cases are given at the end.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
The symbol | | will be used to mean the Euclidean Norm.
 
2
Both hypotheses can be relaxed, and we introduce them in this form for simplicity.
 
3
We refer to the Clarke generalized gradient, see [10], which is a non-empty closed convex set; we use the same symbol to mean the generalized gradient set and the partial derivative, the ambiguity being resolved by the logical statement.
 
4
This representation structurally satisfies the Maximum Principle and is a general presentation of the H0/I Hamiltonians close to cross points. It is easy to verify that H(z) = H0(z) − k(S)S(z) does not agree with the Maximum Principle.
 
5
To clarify the notation used, σ,σg = ΣTx,xg Σ. xσ = ΣTx, so σ, π, ν, and μ are multi-indices that indicate the components of a matrix after a transformation by Σ,  Π, N, M; 01,π = 0ν,π = 01,dim(π), and Iσ,σ is the identity matrix of dimension dim(σ).
 
6
\(\partial _{\alpha ,\beta }\hat {H}_t\) are the second derivatives of the Hamiltonian on the candidate extremal arc.
 
7
Δ gives the jump of the variable in the time positive direction, i.e., \( \bar {x}|{ }_{t}=\bar {x}|{ }_{t+}-\bar {x}|{ }_{t-}\)
 
8
Calling as before in Eqs. (7) \(A_t=\partial _{xp}\hat {H}_t, B_t=\partial _{pp}\hat {H}_t,C_t=\partial _{xx}\hat {H}\).
 
9
At, Bt, and Ct are defined by Eqs. (7).
 
10
This is an extension of the classic ones which do not take into account the jumps at the cross points.
 
11
The solution at a given time t ∈ [t0, tf] − Θ can be seen as a finite chain of continuous functions. From the terminal point to the first crossing point, \((U^{\beta }_{t}, V^{\beta }_{t})\) are locally continuous with respect to β due to the classic ODE theorems and the continuity of At, Bt, and Ct, at the crossing point the left limit of the solution is continuous with respect to the right limit (see Eqs. (22)), and then we sequentially continue this process in a finite number of steps until we reach the point t.
 
12
The additional Normality condition requested in Ref.[12] is the Strong Normality of both terminals. The condition for the right terminal is obviously satisfied because Π = ⊘. The condition for the left terminal can be easily proved because \(p^T f(\hat {x},\hat {u})- p^T f(\hat {x},u)= p_3(\hat {p}_3/\chi -u_s)+p_4(\hat {p}_4/\chi -u_c) \geq 0, \forall (u_s,u_c) \in U\) admits as only solution p = 0 (it suffices to choose us = 2p3χ, uc = 2p4χ to make this expression strictly negative for any p ≠ 0).
 
Literature
[1]
go back to reference L.Mazzini, Extended Sufficient Conditions for Strong Minimality in the Bolza Problem. Applications to Space trajectory Optimization, JOTA, Journal 10957, Article No. 1798, 2021/1/2 L.Mazzini, Extended Sufficient Conditions for Strong Minimality in the Bolza Problem. Applications to Space trajectory Optimization, JOTA, Journal 10957, Article No. 1798, 2021/1/2
[2]
go back to reference V. Zeidan, Extended Jacobi Sufficiency Criterion for Optimal Control, SIAM, Journal of Control and Optimization, Vol.22, No 2, Mar. 1984. V. Zeidan, Extended Jacobi Sufficiency Criterion for Optimal Control, SIAM, Journal of Control and Optimization, Vol.22, No 2, Mar. 1984.
[3]
go back to reference V. Zeidan, Sufficiency Conditions with Minimal Regularity Assumptions, Applied Mathematics and Optimization 20:19–31 (1989), Springer Verlag New York. V. Zeidan, Sufficiency Conditions with Minimal Regularity Assumptions, Applied Mathematics and Optimization 20:19–31 (1989), Springer Verlag New York.
[4]
go back to reference V. Zeidan, Sufficient Conditions for the generalized problem of Bolza, Transactions of the American Mathematical Society, Vol.275, Number 2, February 1983. V. Zeidan, Sufficient Conditions for the generalized problem of Bolza, Transactions of the American Mathematical Society, Vol.275, Number 2, February 1983.
[5]
go back to reference D.G. Hull, Sufficient Conditions for a Minimum of the Free-Final-Time Optimal Control Problem, JOTA, Vol. 68, No. 2, Feb. 1991. D.G. Hull, Sufficient Conditions for a Minimum of the Free-Final-Time Optimal Control Problem, JOTA, Vol. 68, No. 2, Feb. 1991.
[6]
go back to reference D.G. Hull, Optimal Control Theory for Applications, 2003 Springer-Verlag New York. D.G. Hull, Optimal Control Theory for Applications, 2003 Springer-Verlag New York.
[7]
go back to reference L.J. Wood, A.E. Bryson, Second-order optimality conditions for variable end time optimal control problems, AIAA Journal, VOl. 11, No 9, Sept. 1973 L.J. Wood, A.E. Bryson, Second-order optimality conditions for variable end time optimal control problems, AIAA Journal, VOl. 11, No 9, Sept. 1973
[8]
go back to reference H. Schattler, U. Ledzewicz , Geometric Optimal Control: Theory, Methods and Examples, Interdisciplinary Applied Mathematics 38, Springer (2012) H. Schattler, U. Ledzewicz , Geometric Optimal Control: Theory, Methods and Examples, Interdisciplinary Applied Mathematics 38, Springer (2012)
[9]
go back to reference A.A.Agrachev, G. Stefani, P.Zezza , Strong Optimality for a Bang-Bang Trajectory, SIAM J. Control and Optimization (2002),Vol. 41, No. 4, pp. 991–1014MathSciNetCrossRefMATH A.A.Agrachev, G. Stefani, P.Zezza , Strong Optimality for a Bang-Bang Trajectory, SIAM J. Control and Optimization (2002),Vol. 41, No. 4, pp. 991–1014MathSciNetCrossRefMATH
[10]
go back to reference F.H. Clarke, Generalized Gradients and Applications, Transactions of the America Mathematical Society, Vol. 2015,1975 F.H. Clarke, Generalized Gradients and Applications, Transactions of the America Mathematical Society, Vol. 2015,1975
[11]
go back to reference N.P.Osmolovskji, H.Maurer, Applications to Regular and Bang-Bang Control: Second-Order Necessary and Sufficient Optimality Conditions in Calculus of Variations and Optimal Control, SIAM, 2012CrossRef N.P.Osmolovskji, H.Maurer, Applications to Regular and Bang-Bang Control: Second-Order Necessary and Sufficient Optimality Conditions in Calculus of Variations and Optimal Control, SIAM, 2012CrossRef
[12]
go back to reference V. Zeidan, P. Zezza , The Conjugate point condition for smooth control sets, Journal of Mathematical Analysis ans Applications, 572–589 (1988) V. Zeidan, P. Zezza , The Conjugate point condition for smooth control sets, Journal of Mathematical Analysis ans Applications, 572–589 (1988)
[13]
[14]
go back to reference J.W. Jo, J. E. Prussing, Procedure for Applying Second-Order Conditions in Optimal Control Problems, Journal of Guidance, Control and Dynamics, Vol. 23, No.2, March-April 2000 J.W. Jo, J. E. Prussing, Procedure for Applying Second-Order Conditions in Optimal Control Problems, Journal of Guidance, Control and Dynamics, Vol. 23, No.2, March-April 2000
[15]
go back to reference L.J. Wood, Sufficient conditions for a local minimum of the Bolza Problem with multiple terminal point constraints, AAS/AIAA Astrodynamics Specialists Conference, Durango, Colorado August 19–22, 1991, AAS Publication Office, P.O. Box 28130, San Diego CA 92128 L.J. Wood, Sufficient conditions for a local minimum of the Bolza Problem with multiple terminal point constraints, AAS/AIAA Astrodynamics Specialists Conference, Durango, Colorado August 19–22, 1991, AAS Publication Office, P.O. Box 28130, San Diego CA 92128
[16]
go back to reference L.Mazzini, Time Open Orbital Transfer in a Transformed Hamiltonian Setting, Journal of Guidance, Control and Dynamics, Vol. 36, No. 5, September October 2013 L.Mazzini, Time Open Orbital Transfer in a Transformed Hamiltonian Setting, Journal of Guidance, Control and Dynamics, Vol. 36, No. 5, September October 2013
[17]
go back to reference L. Mazzini, Finite Thrust Orbital Transfers, Acta Astronautica, AA-D-13-00699, 2014 L. Mazzini, Finite Thrust Orbital Transfers, Acta Astronautica, AA-D-13-00699, 2014
[18]
Metadata
Title
Second-order Sufficient Conditions of Strong Minimality with applications to Orbital Transfers
Author
Leonardo Mazzini
Copyright Year
2023
DOI
https://doi.org/10.1007/978-3-031-24812-2_8

Premium Partner