Showing 1–25 of 25 results for author: Aronna, M S

Conditions for singular optimal control of port-Hamiltonian systems

Authors: Maria Soledad Aronna, Volker Mehrmann

Abstract: We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions… ▽ More We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions, in particular in the linear case. △ Less

Submitted 3 July, 2024; originally announced July 2024.

MSC Class: 49J15; 37J99; 34A09

Optimal vaccination strategies on networks and in metropolitan areas

Authors: Lucas Machado Moschen, María Soledad Aronna

Abstract: This study presents a mathematical model for optimal vaccination strategies in interconnected metropolitan areas, considering commuting patterns. It is a compartmental model with a vaccination rate for each city, acting as a control function. The commuting patterns are incorporated through a weighted adjacency matrix and a parameter that selects day and night periods. The optimal control problem i… ▽ More This study presents a mathematical model for optimal vaccination strategies in interconnected metropolitan areas, considering commuting patterns. It is a compartmental model with a vaccination rate for each city, acting as a control function. The commuting patterns are incorporated through a weighted adjacency matrix and a parameter that selects day and night periods. The optimal control problem is formulated to minimize a functional cost that balances the number of hospitalizations and vaccines, including restrictions of a weekly availability cap and an application capacity of vaccines per unit of time. The key findings of this work are bounds for the basic reproduction number, particularly in the case of a metropolitan area, and the study of the optimal control problem. Theoretical analysis and numerical simulations provide insights into disease dynamics and the effectiveness of control measures. The research highlights the importance of prioritizing vaccination in the capital to better control the disease spread, as we depicted in our numerical simulations. This model serves as a tool to improve resource allocation in epidemic control across metropolitan regions. △ Less

Submitted 26 April, 2024; v1 submitted 31 January, 2024; originally announced February 2024.

Comments: 29 pages, 23 figures

MSC Class: 92D30 (Primary) 49-11 (Secondary)

Well-posedness of the shooting algorithm for control-affine problems with a scalar state constraint

Authors: M. S. Aronna, F. Bonnans, B. S. Goh

Abstract: We deal with a control-affine problem with scalar control subject to bounds, a scalar state constraint and endpoint constraints of equality type. For the numerical solution of this problem, we propose a shooting algorithm and provide a sufficient condition for its local convergence. We exhibit an example that illustrates the theory. We deal with a control-affine problem with scalar control subject to bounds, a scalar state constraint and endpoint constraints of equality type. For the numerical solution of this problem, we propose a shooting algorithm and provide a sufficient condition for its local convergence. We exhibit an example that illustrates the theory. △ Less

Submitted 19 June, 2023; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:1411.1719

MSC Class: 49K30; 49M25; 65K99

Journal ref: Comp. Appl. Math. 42, 217 (2023)

The shooting algorithm for partially control-affine problems with application to an SIRS epidemiological model

Authors: M. S. Aronna, J. M. Machado

Abstract: In this article we propose a shooting algorithm for partially-affine optimal control problems, this is, systems in which the controls appear both linearly and nonlinearly in the dynamics. Since the shooting system generally has more equations than unknowns, the algorithm relies on the Gauss-Newton method. As a consequence, the convergence is locally quadratic provided that the derivative of the sh… ▽ More In this article we propose a shooting algorithm for partially-affine optimal control problems, this is, systems in which the controls appear both linearly and nonlinearly in the dynamics. Since the shooting system generally has more equations than unknowns, the algorithm relies on the Gauss-Newton method. As a consequence, the convergence is locally quadratic provided that the derivative of the shooting function is injective and Lipschitz continuous at the optimal solution. We provide a proof of the convergence for the proposed algorithm using recently developed second order sufficient conditions for weak optimality of partially-affine problems. We illustrate the applicability of the algorithm by solving an optimal treatment-vaccination epidemiological problem. △ Less

Submitted 10 March, 2021; originally announced March 2021.

MSC Class: 34H05; 49K15; 65K10; 49M15

Modeling and control of malaria dynamics in fish farming regions

Authors: Felipe J. P. Antunes, M. Soledad Aronna, Cláudia T. Codeço

Abstract: In this work we propose a model that represents the relation between fish ponds, the mosquito population and the transmission of malaria. It has been observed that in the Amazonic region of Acre, in the North of Brazil, fish farming is correlated to the transmission of malaria when carried out in artificial ponds that become breeding sites. Evidence has been found indicating that cleaning the ve… ▽ More In this work we propose a model that represents the relation between fish ponds, the mosquito population and the transmission of malaria. It has been observed that in the Amazonic region of Acre, in the North of Brazil, fish farming is correlated to the transmission of malaria when carried out in artificial ponds that become breeding sites. Evidence has been found indicating that cleaning the vegetation from the edges of the crop tanks helps to control the size of the mosquito population. We use our model to determine the effective contribution of fish farming practices on malaria transmission dynamics. The model consists of a nonlinear system of ordinary differential equations with jumps at the cleaning time, which act as impulsive controls. We study the asymptotic behaviour of the system in function of the intensity and periodicity of the cleaning, and the value of the parameters. In particular, we state sufficient conditions under which the mosquito population is eliminated or persists, and under which the malaria is eliminated or becomes endemic. We prove our conditions by applying results for cooperative systems with concave nonlinearities. △ Less

Submitted 26 April, 2023; v1 submitted 27 October, 2020; originally announced October 2020.

Comments: To appear in SIAM Journal of Applied Dynamical Systems

MSC Class: 92B05; 92D30; 92D25; 34C12; 34C25

On nonlinear pest/vector control via the Sterile Insect Technique: impact of residual fertility

Authors: Maria Soledad Aronna, Yves Dumont

Abstract: We consider a minimalist model for the Sterile Insect Technique (SIT), assuming that residual fertility can occur in the sterile male population.Taking into account that we are able to get regular measurements from the biological system along the control duration, such as the size of the wild insect population, we study different control strategies that involve either continuous or periodic impul… ▽ More We consider a minimalist model for the Sterile Insect Technique (SIT), assuming that residual fertility can occur in the sterile male population.Taking into account that we are able to get regular measurements from the biological system along the control duration, such as the size of the wild insect population, we study different control strategies that involve either continuous or periodic impulsive releases. We show that a combination of open-loop control with constant large releases and closed-loop nonlinear control, i.e. when releases are adjusted according to the wild population size estimates, leads to the best strategy in terms both of number of releases and total quantity of sterile males to be released.Last but not least, we show that SIT can be successful only if the residual fertility is less than a threshold value that depends on the wild population biological parameters. However, even for small values, the residual fertility induces the use of such large releases that SIT alone is not always reasonable from a practical point of view and thus requires to be combined with other control tools. We provide applications against a mosquito species, \textit{Aedes albopictus}, and a fruit fly, \textit{Bactrocera dorsalis}, and discuss the possibility of using SIT when residual fertility, among the sterile males, can occur. △ Less

Submitted 12 May, 2020; originally announced May 2020.

First and Second Order Optimality Conditions for the Control of Fokker-Planck Equations

Authors: M. Soledad Aronna, Fredi Tröltzsch

Abstract: In this article we study an optimal control problem subject to the Fokker-Planck equation \[ \partial_t ρ- νΔρ- {\rm div } \big(ρB[u]\big) = 0. \] The control variable $u$ is time-dependent and possibly multidimensional, and the function $B$ depends on the space variable and the control. The cost functional is of tracking type and includes a quadratic regularization term on the control. For this p… ▽ More In this article we study an optimal control problem subject to the Fokker-Planck equation \[ \partial_t ρ- νΔρ- {\rm div } \big(ρB[u]\big) = 0. \] The control variable $u$ is time-dependent and possibly multidimensional, and the function $B$ depends on the space variable and the control. The cost functional is of tracking type and includes a quadratic regularization term on the control. For this problem, we prove existence of optimal controls and first order necessary conditions. Main emphasis is placed on second order necessary and sufficient conditions. △ Less

Submitted 16 January, 2021; v1 submitted 10 February, 2020; originally announced February 2020.

MSC Class: 49J20; 49K20; 49K27; 35Q84

State constrained control-affine parabolic problems II: Second order sufficient optimality conditions

Authors: M. Soledad Aronna, J. -Frédéric Bonnans, Axel Kröner

Abstract: In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. W… ▽ More In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. We derive second order sufficient conditions relying on the Goh transform. The appendix provides an example illustrating the applicability of our results. △ Less

Submitted 13 October, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: This is the second part of a work on optimality conditions for a control problem of a semilinear heat equation. More precisely, the full version, available arXiv:1906.00237, has been divided in two, resulting in arXiv:1906.00237v2 (that corresponds to Part I) and the current manuscript (which is Part II)

MSC Class: 49J20; 49K20; 35J05; 35K58; 93C20

State-constrained control-affine parabolic problems I: first and second order necessary optimality conditions

Authors: M. Soledad Aronna, J. Frédéric Bonnans, Axel Kröner

Abstract: In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. W… ▽ More In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimensional. The cost functional is of a tracking type and contains a linear term in the control variables. We derive second order necessary conditions relying on the concept of alternative costates and quasi-radial critical directions. The appendix provides an example illustrating the applicability of our results. △ Less

Submitted 14 September, 2020; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: This is the first part of a work on optimality conditions for a control problem of a semilinear heat equation. More precisely, the full version, available at arXiv:1906.00237v1, has been divided in two, resulting in the current manuscript (that corresponds to Part I) and arXiv:1909.05056 (which is Part II)

MSC Class: 49J20; 49K20; 35J05; 35K58; 93C20

Necessary conditions involving Lie brackets for impulsive optimal control problems

Authors: M. Soledad Aronna, Monica Motta, Franco Rampazzo

Abstract: We obtain higher order necessary conditions for a minimum of a Mayer optimal control problem connected with a nonlinear, control-affine system, where the controls range on an m-dimensional Euclidean space. Since the allowed velocities are unbounded and the absence of coercivity assumptions makes big speeds quite likely, minimizing sequences happen to converge toward "impulsive", namely discontinuo… ▽ More We obtain higher order necessary conditions for a minimum of a Mayer optimal control problem connected with a nonlinear, control-affine system, where the controls range on an m-dimensional Euclidean space. Since the allowed velocities are unbounded and the absence of coercivity assumptions makes big speeds quite likely, minimizing sequences happen to converge toward "impulsive", namely discontinuous, trajectories. As is known, a distributional approach does not make sense in such a nonlinear setting, where instead a suitable embedding in the graph space is needed. We will illustrate how the chance of using impulse perturbations makes it possible to derive a Higher Order Maximum Principle which includes both the usual needle variations (in space-time) and conditions involving iterated Lie brackets. An example, where a third order necessary condition rules out the optimality of a given extremal, concludes the paper. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Comments: Conference paper

MSC Class: 49J15; 49N25

A Higher-order Maximum Principle for Impulsive Optimal Control Problems

Authors: M. Soledad Aronna, Monica Motta, Franco Rampazzo

Abstract: We consider a nonlinear system, affine with respect to an unbounded control $u$ which is allowed to range in a closed cone. To this system we associate a Bolza type minimum problem, with a Lagrangian having sublinear growth with respect to $u$. This lack of coercivity gives the problem an {\it impulsive} character, meaning that minimizing sequences of trajectories happen to converge towards discon… ▽ More We consider a nonlinear system, affine with respect to an unbounded control $u$ which is allowed to range in a closed cone. To this system we associate a Bolza type minimum problem, with a Lagrangian having sublinear growth with respect to $u$. This lack of coercivity gives the problem an {\it impulsive} character, meaning that minimizing sequences of trajectories happen to converge towards discontinuous paths. As is known, a distributional approach does not make sense in such a nonlinear setting, where, instead, a suitable embedding in the graph-space is needed. We provide higher order necessary optimality conditions for properly defined impulsive minima, in the form of equalities and inequalities involving iterated Lie brackets of the dynamical vector fields. These conditions are derived under very weak regularity assumptions and without any constant rank conditions. △ Less

Submitted 9 July, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

MSC Class: 49K15; 49N25

Interval observer for uncertain time-varying SIR-SI epidemiological model of vector-borne disease

Authors: Maria Soledad Aronna, Pierre-Alexandre Bliman, Maria Aronna

Abstract: The issue of state estimation is considered for an SIR-SI epidemiological model describing a vector-borne disease such as dengue fever, subject to seasonal variations. Assuming continuous measurement of the incidence rate (that is the number of new infectives in the host population per unit time), a class of interval observers with estimate-dependent gain is constructed, and asymptotic error bound… ▽ More The issue of state estimation is considered for an SIR-SI epidemiological model describing a vector-borne disease such as dengue fever, subject to seasonal variations. Assuming continuous measurement of the incidence rate (that is the number of new infectives in the host population per unit time), a class of interval observers with estimate-dependent gain is constructed, and asymptotic error bounds are provided. The synthesis method is based on the search for a common linear Lyapunov function for monotone systems that represent the evolution of the estimation errors. △ Less

Submitted 7 March, 2018; v1 submitted 21 March, 2017; originally announced March 2017.

Journal ref: European Control Conference, Jun 2018, Limassol, Cyprus

Second order necessary and sufficient optimality conditions for singular solutions of partially-affine control problems

Authors: M. Soledad Aronna

Abstract: In this article we study optimal control problems for systems that are affine with respect to some of the control variables and nonlinear in relation to the others. We consider finitely many equality and inequality constraints on the initial and final values of the state. We investigate singular optimal solutions for this class of problems, for which we obtain second order necessary and sufficient… ▽ More In this article we study optimal control problems for systems that are affine with respect to some of the control variables and nonlinear in relation to the others. We consider finitely many equality and inequality constraints on the initial and final values of the state. We investigate singular optimal solutions for this class of problems, for which we obtain second order necessary and sufficient conditions for weak optimality in integral form. We also derive Goh pointwise necessary optimality conditions. We show an example to illustrate the results. △ Less

Submitted 11 July, 2017; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: This article has been accepted for publication in Discrete Contin. Dyn. Syst. Ser. S. arXiv admin note: substantial text overlap with arXiv:1210.7425

MSC Class: 49K15

Journal ref: Discrete and Continuous Dynamical Systems Series S, 11(6):1179-1199, 2018

Optimal control of PDEs in a complex space setting; application to the Schrödinger equation

Authors: M. Soledad Aronna, Frédéric Bonnans, Axel Kröner

Abstract: In this paper we discuss optimality conditions for abstract optimization problems over complex spaces. We then apply these results to optimal control problems with a semigroup structure. As an application we detail the case when the state equation is the Schrödinger one, with pointwise constraints on the "bilinear" control. We derive first and second order optimality conditions and address in part… ▽ More In this paper we discuss optimality conditions for abstract optimization problems over complex spaces. We then apply these results to optimal control problems with a semigroup structure. As an application we detail the case when the state equation is the Schrödinger one, with pointwise constraints on the "bilinear" control. We derive first and second order optimality conditions and address in particular the case that the control enters the state equation and cost function linearly. △ Less

Submitted 5 May, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1602.06469

Report number: [Research Report] INRIA. 2016, hal-01311421 MSC Class: 49J20; 49K20; 35J10; 93C20

Journal ref: SIAM J. Control Opt. 2018

Optimal control of infinite dimensional bilinear systems: Application to the heat and wave equations

Authors: M. Soledad Aronna, Frédéric Bonnans, Axel Kröner

Abstract: In this paper we consider second order optimality conditions for a bilinear optimal control problem governed by a strongly continuous semigroup operator, the control entering linearly in the cost function. We derive first and second order optimality conditions, taking advantage of the Goh transform. We then apply the results to the heat and wave equations. In this paper we consider second order optimality conditions for a bilinear optimal control problem governed by a strongly continuous semigroup operator, the control entering linearly in the cost function. We derive first and second order optimality conditions, taking advantage of the Goh transform. We then apply the results to the heat and wave equations. △ Less

Submitted 14 November, 2016; v1 submitted 20 February, 2016; originally announced February 2016.

Comments: To appear in Mathematical Programming

MSC Class: 49K20; 49K27

Journal ref: Math. Program. 168(1-2):717-757, 2018

Ensuring successful introduction of Wolbachia in natural populations of Aedes aegypti by means of feedback control

Authors: Pierre-Alexandre J. Bliman, M. Soledad Aronna, Flávio C. Coelho, Moacyr A. H. B. da Silva

Abstract: The control of the spread of dengue fever by introduction of the intracellular parasitic bacterium Wolbachia in populations of the vector Aedes aegypti, is presently one of the most promising tools for eliminating dengue, in the absence of an efficient vaccine. The success of this operation requires locally careful planning to determine the adequate number of individuals carrying the Wolbachia par… ▽ More The control of the spread of dengue fever by introduction of the intracellular parasitic bacterium Wolbachia in populations of the vector Aedes aegypti, is presently one of the most promising tools for eliminating dengue, in the absence of an efficient vaccine. The success of this operation requires locally careful planning to determine the adequate number of individuals carrying the Wolbachia parasite that need to be introduced into the natural population. The introduced mosquitoes are expected to eventually replace the Wolbachia-free population and guarantee permanent protection against the transmission of dengue to human. In this study, we propose and analyze a model describing the fundamental aspects of the competition between mosquitoes carrying Wolbachia and mosquitoes free of the parasite. We then use feedback control techniques to devise an introduction protocol which is proved to guarantee that the population converges to a stable equilibrium where the totality of mosquitoes carry Wolbachia. △ Less

Submitted 17 March, 2015; originally announced March 2015.

Comments: 24 pages, 5 figures

MSC Class: 92D30 (Primary) 34C12; 93D15; 93D25 (Secondary)

Journal ref: Journal of Mathematical Biology, 76(5):1269-1300, 2018

Second order analysis of control-affine problems with scalar state constraint

Authors: M. Soledad Aronna, Frédéric Bonnans, Bean San Goh

Abstract: In this article we establish new second order necessary and sufficient optimality conditions for a class of control-affine problems with a scalar control and a scalar state constraint. These optimality conditions extend to the constrained state framework the Goh transform, which is the classical tool for obtaining an extension of the Legendre condition. In this article we establish new second order necessary and sufficient optimality conditions for a class of control-affine problems with a scalar control and a scalar state constraint. These optimality conditions extend to the constrained state framework the Goh transform, which is the classical tool for obtaining an extension of the Legendre condition. △ Less

Submitted 23 December, 2015; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: To appear in Mathematical Programming - Series A

MSC Class: 49K15; 49K27

Journal ref: Mathematical Programming, 160(1):115-147, 2016

$\mathcal{L}^1$ limit solutions for control systems

Authors: M. Soledad Aronna, Franco Rampazzo

Abstract: For a control Cauchy problem $$\dot x= {f}(t,x,u,v) +\sum_{α=1}^m g_α(x) \dot u_α,\quad x(a)=\bar x, $$ on an interval $[a,b]$, we propose a notion of limit solution $x,$ verifying the following properties: i) $x$ is defined for $\mathcal{L}^1$ (impulsive) inputs $u$ and for standard, bounded measurable, controls $v$; ii) in the commutative case (i.e. when $[g_α,g_β]\equiv 0,$ for all… ▽ More For a control Cauchy problem $$\dot x= {f}(t,x,u,v) +\sum_{α=1}^m g_α(x) \dot u_α,\quad x(a)=\bar x, $$ on an interval $[a,b]$, we propose a notion of limit solution $x,$ verifying the following properties: i) $x$ is defined for $\mathcal{L}^1$ (impulsive) inputs $u$ and for standard, bounded measurable, controls $v$; ii) in the commutative case (i.e. when $[g_α,g_β]\equiv 0,$ for all $α,β=1,...,m$), $x$ coincides with the solution one can obtain via the change of coordinates that makes the $g_α$ simultaneously constant; iii) $x$ subsumes former concepts of solution valid for the generic, noncommutative case. In particular, when $u$ has bounded variation, we investigate the relation between limit solutions and (single-valued) graph completion solutions. Furthermore, we prove consistency with the classical Carathéodory solution when $u$ and $x$ are absolutely continuous. Even though some specific problems are better addressed by means of special representations of the solutions, we believe that various theoretical issues call for a unified notion of trajectory. For instance, this is the case of optimal control problems, possibly with state and endpoint constraints, for which no extra assumptions (like e.g. coercivity, bounded variation, commutativity) are made in advance. △ Less

Submitted 11 February, 2015; v1 submitted 1 January, 2014; originally announced January 2014.

MSC Class: 34H05; 34A12; 93C10; 93C15

Journal ref: J. Differential Equations, 258(3): 954-979, 2015

A note on systems with ordinary and impulsive controls

Authors: M. Soledad Aronna, Franco Rampazzo

Abstract: We investigate an everywhere defined notion of solution for control systems whose dynamics depend nonlinearly on the control $u$ and state $x,$ and are affine in the time derivative $\dot u.$ For this reason, the input $u,$ which is allowed to be Lebesgue integrable, is called impulsive, while a second, bounded measurable control $v$ is denominated ordinary. The proposed notion of solution is deri… ▽ More We investigate an everywhere defined notion of solution for control systems whose dynamics depend nonlinearly on the control $u$ and state $x,$ and are affine in the time derivative $\dot u.$ For this reason, the input $u,$ which is allowed to be Lebesgue integrable, is called impulsive, while a second, bounded measurable control $v$ is denominated ordinary. The proposed notion of solution is derived from a topological (non-metric) characterization of a former concept of solution which was given in the case when the drift is $v$-independent. Existence, uniqueness and representation of the solution are studied, and a close analysis of effects of (possibly infinitely many) discontinuities on a null set is performed as well. △ Less

Submitted 11 February, 2015; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: Article published in IMA J. Math. Control Inform

MSC Class: 34H05; 34A12; 93C10; 93C15

On optimal control problems with impulsive commutative dynamics

Authors: M. Soledad Aronna, Franco Rampazzo

Abstract: We consider control systems governed by nonlinear O.D.E.'s that are affine in the time-derivative du/dt of the control u. The latter is allowed to be an integrable, possibly of unbounded variation function, which gives the system an impulsive character. As is well-known, the corresponding Cauchy problem cannot be interpreted in terms of Schwartz distributions, even in the commutative case. A robus… ▽ More We consider control systems governed by nonlinear O.D.E.'s that are affine in the time-derivative du/dt of the control u. The latter is allowed to be an integrable, possibly of unbounded variation function, which gives the system an impulsive character. As is well-known, the corresponding Cauchy problem cannot be interpreted in terms of Schwartz distributions, even in the commutative case. A robust notion of solution already proposed in the literature is here adopted and slightly generalized to the case where an ordinary, bounded, control is present in the dynamics as well. For a problem in the Mayer form we then investigate the question whether this notion of solution provides a "proper extension" of the standard problem with absolutely continuous controls u. Furthermore, we show that this impulsive problem is a variational limit of problems corresponding to controls u with bounded variation. △ Less

Submitted 26 November, 2013; originally announced November 2013.

Comments: This article will appear in the Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

MSC Class: 49N25

Journal ref: In Proceedings of the 52nd IEEE Conference on Decision and Control, pp 1822-1827, 2013

Convergence of the shooting algorithm for singular optimal control problems

Authors: Maria Soledad Aronna

Abstract: In this article we propose a shooting algorithm for optimal control problems governed by systems that are affine in one part of the control variable. Finitely many equality constraints on the initial and final state are considered. We recall a second order sufficient condition for weak optimality, and show that it guarantees the local quadratic convergence of the algorithm. We show an example and… ▽ More In this article we propose a shooting algorithm for optimal control problems governed by systems that are affine in one part of the control variable. Finitely many equality constraints on the initial and final state are considered. We recall a second order sufficient condition for weak optimality, and show that it guarantees the local quadratic convergence of the algorithm. We show an example and solve it numerically. △ Less

Submitted 29 June, 2013; originally announced July 2013.

Comments: This article will appear in the Proceedings of the European Control Conference to be held in Zurich, Switzerland, 2013

MSC Class: 49K15; 49M05; 49M15; 65K10

Journal ref: In Proceedings of the IEEE European Control Conference (ECC), pp 215-220, 2013

Singular solutions in optimal control: second order conditions and a shooting algorithm

Authors: M. Soledad Aronna

Abstract: In this article we study optimal control problems for systems that are affine in one part of the control variable. Finitely many equality and inequality constraints on the initial and final values of the state are considered. We investigate singular optimal solutions for this class of problems. First, we obtain second order necessary and sufficient conditions for weak optimality. Afterwards, we pr… ▽ More In this article we study optimal control problems for systems that are affine in one part of the control variable. Finitely many equality and inequality constraints on the initial and final values of the state are considered. We investigate singular optimal solutions for this class of problems. First, we obtain second order necessary and sufficient conditions for weak optimality. Afterwards, we propose a shooting algorithm and show that the sufficient condition above-mentioned is also sufficient for the local quadratic convergence of the algorithm. △ Less

Submitted 7 January, 2013; v1 submitted 28 October, 2012; originally announced October 2012.

Report number: INRIA Research Report N. 7764

Journal ref: First part published in Discrete and Continuous Dynamical Systems Series S, 11(6):1179-1199, 2018

Necessary conditions involving Lie brackets for impulsive optimal control problems; the commutative case

Authors: Maria Soledad Aronna, Franco Rampazzo

Abstract: In this article we study control problems with systems that are governed by ordinary differential equations whose vector fields depend linearly in the time derivatives of some components of the control. The remaining components are considered as classical controls. This kind of system is called `impulsive system'. We assume that the vector fields multiplying the derivatives of each component of th… ▽ More In this article we study control problems with systems that are governed by ordinary differential equations whose vector fields depend linearly in the time derivatives of some components of the control. The remaining components are considered as classical controls. This kind of system is called `impulsive system'. We assume that the vector fields multiplying the derivatives of each component of the control are commutative. We derive new necessary conditions in terms of the adjoint state and the Lie brackets of the data functions. △ Less

Submitted 16 October, 2012; originally announced October 2012.

A shooting algorithm for problems with singular arcs

Authors: Maria Soledad Aronna, J. Frederic Bonnans, Pierre Martinon

Abstract: In this article we propose a shooting algorithm for a class of optimal control problems for which all control variables appear linearly. The shooting system has, in the general case, more equations than unknowns and the Gauss-Newton method is used to compute a zero of the shooting function. This shooting algorithm is locally quadratically convergent if the derivative of the shooting function is on… ▽ More In this article we propose a shooting algorithm for a class of optimal control problems for which all control variables appear linearly. The shooting system has, in the general case, more equations than unknowns and the Gauss-Newton method is used to compute a zero of the shooting function. This shooting algorithm is locally quadratically convergent if the derivative of the shooting function is one-to-one at the solution. The main result of this paper is to show that the latter holds whenever a sufficient condition for weak optimality is satisfied. We note that this condition is very close to a second order necessary condition. For the case when the shooting system can be reduced to one having the same number of unknowns and equations (square system) we prove that the mentioned sufficient condition guarantees the stability of the optimal solution under small perturbations and the invertibility of the Jacobian matrix of the shooting function associated to the perturbed problem. We present numerical tests that validate our method. △ Less

Submitted 25 July, 2013; v1 submitted 5 June, 2012; originally announced June 2012.

Comments: No. RR-7763 (2011); Journal of Optimization, Theory and Applications, published as 'Online first', January 2013

Journal ref: Journal of Optimization Theory and Applications 158, 2 (2013) 419-459

Quadratic order conditions for bang-singular extremals

Authors: Maria Soledad Aronna, J. Frederic Bonnans, Andrei V. Dmitruk, Pablo Lotito

Abstract: This paper deals with optimal control problems for systems affine in the control variable. We consider nonnegativity constraints on the control, and finitely many equality and inequality constraints on the final state. First, we obtain second order necessary optimality conditions. Secondly, we derive a second order sufficient condition for the scalar control case. This paper deals with optimal control problems for systems affine in the control variable. We consider nonnegativity constraints on the control, and finitely many equality and inequality constraints on the final state. First, we obtain second order necessary optimality conditions. Secondly, we derive a second order sufficient condition for the scalar control case. △ Less

Submitted 29 June, 2013; v1 submitted 1 July, 2011; originally announced July 2011.

Comments: 41 pages

Report number: INRIA RR-7664 (2011) MSC Class: 49K15

Journal ref: AIMS Journal - Numerical Algebra, Control and Optimization, pp. 511 - 546, Volume 2, Issue 3, September 2012, special issue in honor of Helmut Maurer