All Issues

Volume 38, 2018

Volume 37, 2017

Volume 36, 2016

Volume 35, 2015

Volume 34, 2014

Volume 33, 2013

Volume 32, 2012

Volume 31, 2011

Volume 30, 2011

Volume 29, 2011

Volume 28, 2010

Volume 27, 2010

Volume 26, 2010

Volume 25, 2009

Volume 24, 2009

Volume 23, 2009

Volume 22, 2008

Volume 21, 2008

Volume 20, 2008

Volume 19, 2007

Volume 18, 2007

Volume 17, 2007

Volume 16, 2006

Volume 15, 2006

Volume 14, 2006

Volume 13, 2005

Volume 12, 2005

Volume 11, 2004

Volume 10, 2004

Volume 9, 2003

Volume 8, 2002

Volume 7, 2001

Volume 6, 2000

Volume 5, 1999

Volume 4, 1998

Volume 3, 1997

Volume 2, 1996

Volume 1, 1995

Discrete & Continuous Dynamical Systems - A

2015 , Volume 35 , Issue 9

Special issue on optimal control and related fields

Select all articles


Jean-Baptiste Caillau , Maria do Rosário de Pinho , Lars Grüne , Emmanuel Trélat and  Hasnaa Zidani
2015, 35(9): i-iv doi: 10.3934/dcds.2015.35.9i +[Abstract](48) +[PDF](131.6KB)
This special volume gathers a number of new contributions addressing various topics related to the field of optimal control theory and sensitivity analysis. The field has a rich and varied mathematical theory, with a long tradition and a vibrant body of applications. It has attracted a growing interest across the last decades, with the introduction of new ideas and techniques, and thanks to various new applications.

For more information please click the “Full Text” above.
On the system of partial differential equations arising in mean field type control
Yves Achdou and  Mathieu Laurière
2015, 35(9): 3879-3900 doi: 10.3934/dcds.2015.35.3879 +[Abstract](37) +[PDF](1161.8KB)
We discuss the system of Fokker-Planck and Hamilton-Jacobi-Bellman equations arising from the finite horizon control of McKean-Vlasov dynamics. We give examples of existence and uniqueness results. Finally, we propose some simple models for the motion of pedestrians and report about numerical simulations in which we compare mean filed games and mean field type control.
Ergodicity conditions for zero-sum games
Marianne Akian , Stéphane Gaubert and  Antoine Hochart
2015, 35(9): 3901-3931 doi: 10.3934/dcds.2015.35.3901 +[Abstract](42) +[PDF](628.5KB)
A basic question for zero-sum repeated games consists in determining whether the mean payoff per time unit is independent of the initial state. In the special case of ``zero-player'' games, i.e., of Markov chains equipped with additive functionals, the answer is provided by the mean ergodic theorem. We generalize this result to repeated games. We show that the mean payoff is independent of the initial state for all state-dependent perturbations of the rewards if and only if an ergodicity condition is verified. The latter is characterized by the uniqueness modulo constants of nonlinear harmonic functions (fixed points of the recession function associated to the Shapley operator), or, in the special case of stochastic games with finite action spaces and perfect information, by a reachability condition involving conjugate subsets of states in directed hypergraphs. We show that the ergodicity condition for games only depends on the support of the transition probability, and that it can be checked in polynomial time when the number of states is fixed.
Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
Mohamed Assellaou , Olivier Bokanowski and  Hasnaa Zidani
2015, 35(9): 3933-3964 doi: 10.3934/dcds.2015.35.3933 +[Abstract](69) +[PDF](694.1KB)
This work deals with numerical approximations of unbounded and discontinuous value functions associated to some stochastic control problems. We derive error estimates for monotone schemes based on a Semi-Lagrangian method (or more generally in the form of a Markov chain approximation). A motivation of this study consists in approximating chance-constrained reachability sets. The latters will be characterized as level sets of a discontinuous value function associated to an adequate stochastic control problem. A precise analysis of the level-set approach is carried out and some numerical simulations are given to illustrate the approach.
Large deviations for some fast stochastic volatility models by viscosity methods
Martino Bardi , Annalisa Cesaroni and  Daria Ghilli
2015, 35(9): 3965-3988 doi: 10.3934/dcds.2015.35.3965 +[Abstract](40) +[PDF](501.8KB)
We consider the short time behaviour of stochastic systems affected by a stochastic volatility evolving at a faster time scale. We study the asymptotics of a logarithmic functional of the process by methods of the theory of homogenization and singular perturbations for fully nonlinear PDEs. We point out three regimes depending on how fast the volatility oscillates relative to the horizon length. We prove a large deviation principle for each regime and apply it to the asymptotics of option prices near maturity.
State constrained $L^\infty$ optimal control problems interpreted as differential games
Piernicola Bettiol
2015, 35(9): 3989-4017 doi: 10.3934/dcds.2015.35.3989 +[Abstract](148) +[PDF](504.1KB)
We consider state constrained optimal control problems in which the cost to minimize comprises an $L^\infty$ functional, i.e. the maximum of a running cost along the trajectories. In absence of state constraints, a new approach has been suggested by a recent paper [9]. The main purpose of the present paper is to extend this approach and the related results to state constrained $L^\infty$ optimal control problems. More precisely, using the $(L^\infty, L^1)$-duality, the reference optimal control problem can be seen as a static differential game, in which an extra variable is introduced and plays the role of an opponent player who wants to maximize the cost. Under appropriate assumptions and employing suitable Filippov's type results, this static game turns out to be equivalent to the corresponding dynamic differential game, whose (upper) value function is the unique viscosity solution to a constrained boundary value problem, which involves a Hamilton-Jacobi equation with a continuous Hamiltonian.
Computation of Lyapunov functions for systems with multiple local attractors
Jóhann Björnsson , Peter Giesl , Sigurdur F. Hafstein and  Christopher M. Kellett
2015, 35(9): 4019-4039 doi: 10.3934/dcds.2015.35.4019 +[Abstract](38) +[PDF](1934.1KB)
We present a novel method to compute Lyapunov functions for continuous-time systems with multiple local attractors. In the proposed method one first computes an outer approximation of the local attractors using a graph-theoretic approach. Then a candidate Lyapunov function is computed using a Massera-like construction adapted to multiple local attractors. In the final step this candidate Lyapunov function is interpolated over the simplices of a simplicial complex and, by checking certain inequalities at the vertices of the complex, we can identify the region in which the Lyapunov function is decreasing along system trajectories. The resulting Lyapunov function gives information on the qualitative behavior of the dynamics, including lower bounds on the basins of attraction of the individual local attractors. We develop the theory in detail and present numerical examples demonstrating the applicability of our method.
Value iteration convergence of $\epsilon$-monotone schemes for stationary Hamilton-Jacobi equations
Olivier Bokanowski , Maurizio Falcone , Roberto Ferretti , Lars Grüne , Dante Kalise and  Hasnaa Zidani
2015, 35(9): 4041-4070 doi: 10.3934/dcds.2015.35.4041 +[Abstract](59) +[PDF](750.0KB)
We present an abstract convergence result for the fixed point approximation of stationary Hamilton--Jacobi equations. The basic assumptions on the discrete operator are invariance with respect to the addition of constants, $\epsilon$-monotonicity and consistency. The result can be applied to various high-order approximation schemes which are illustrated in the paper. Several applications to Hamilton--Jacobi equations and numerical tests are presented.
(Un)conditional consensus emergence under perturbed and decentralized feedback controls
Mattia Bongini , Massimo Fornasier and  Dante Kalise
2015, 35(9): 4071-4094 doi: 10.3934/dcds.2015.35.4071 +[Abstract](114) +[PDF](1758.9KB)
We study the problem of consensus emergence in multi-agent systems via external feedback controllers. We consider a set of agents interacting with dynamics given by a Cucker-Smale type of model, and study its consensus stabilization by means of centralized and decentralized control configurations. We present a characterization of consensus emergence for systems with different feedback structures, such as leader-based configurations, perturbed information feedback, and feedback computed upon spatially confined information. We characterize consensus emergence for this latter design as a parameter-dependent transition regime between self-regulation and centralized feedback stabilization. Numerical experiments illustrate the different features of the proposed designs.
Integrability methods in the time minimal coherence transfer for Ising chains of three spins
Bernard Bonnard , Thierry Combot and  Lionel Jassionnesse
2015, 35(9): 4095-4114 doi: 10.3934/dcds.2015.35.4095 +[Abstract](24) +[PDF](782.0KB)
The objective of this article is to analyze the integrability properties of extremal solutions of Pontryagin Maximum Principle in the time minimal control of a linear spin system with Ising coupling in relation with conjugate and cut loci computations. Restricting to the case of three spins, the problem is equivalent to analyze a family of almost-Riemannian metrics on the sphere $S^{2}$, with Grushin equatorial singularity. The problem can be lifted into a SR-invariant problem on $SO(3)$, this leads to a complete understanding of the geometry of the problem and to an explicit parametrization of the extremals using an appropriate chart as well as elliptic functions. This approach is compared with the direct analysis of the Liouville metrics on the sphere where the parametrization of the extremals is obtained by computing a Liouville normal form. Finally, an algebraic approach is presented in the framework of the application of differential Galois theory to integrability.
Local properties of almost-Riemannian structures in dimension 3
Ugo Boscain , Gregoire Charlot , Moussa Gaye and  Paolo Mason
2015, 35(9): 4115-4147 doi: 10.3934/dcds.2015.35.4115 +[Abstract](55) +[PDF](4000.0KB)
A 3D almost-Riemannian manifold is a generalized Riemannian manifold defined locally by 3 vector fields that play the role of an orthonormal frame, but could become collinear on some set $\mathcal{Z}$ called the singular set. Under the Hörmander condition, a 3D almost-Riemannian structure still has a metric space structure, whose topology is compatible with the original topology of the manifold. Almost-Riemannian manifolds were deeply studied in dimension 2.
    In this paper we start the study of the 3D case which appears to be richer with respect to the 2D case, due to the presence of abnormal extremals which define a field of directions on the singular set. We study the type of singularities of the metric that could appear generically, we construct local normal forms and we study abnormal extremals. We then study the nilpotent approximation and the structure of the corresponding small spheres.
    We finally give some preliminary results about heat diffusion on such manifolds.
Continuous Riemann solvers for traffic flow at a junction
Alberto Bressan and  Fang Yu
2015, 35(9): 4149-4171 doi: 10.3934/dcds.2015.35.4149 +[Abstract](41) +[PDF](522.0KB)
The paper studies a class of conservation law models for traffic flow on a family of roads, near a junction. A Riemann Solver is constructed, where the incoming and outgoing fluxes depend Hölder continuously on the traffic density and on the drivers' turning preferences. However, various examples show that, if junction conditions are assigned in terms of Riemann Solvers, then the Cauchy problem on a network of roads can be ill posed, even for initial data having small total variation.
A model problem for Mean Field Games on networks
Fabio Camilli , Elisabetta Carlini and  Claudio Marchi
2015, 35(9): 4173-4192 doi: 10.3934/dcds.2015.35.4173 +[Abstract](38) +[PDF](655.3KB)
In [14], Guéant, Lasry and Lions considered the model problem ``What time does meeting start?'' as a prototype for a general class of optimization problems with a continuum of players, called Mean Field Games problems. In this paper we consider a similar model, but with the dynamics of the agents defined on a network. We discuss appropriate transition conditions at the vertices which give a well posed problem and we present some numerical results.
High order variational integrators in the optimal control of mechanical systems
Cédric M. Campos , Sina Ober-Blöbaum and  Emmanuel Trélat
2015, 35(9): 4193-4223 doi: 10.3934/dcds.2015.35.4193 +[Abstract](62) +[PDF](1064.2KB)
In recent years, much effort in designing numerical methods for the simulation and optimization of mechanical systems has been put into schemes which are structure preserving. One particular class are variational integrators which are momentum preserving and symplectic. In this article, we develop two high order variational integrators which distinguish themselves in the dimension of the underling space of approximation and we investigate their application to finite-dimensional optimal control problems posed with mechanical systems. The convergence of state and control variables of the approximated problem is shown. Furthermore, by analyzing the adjoint systems of the optimal control problem and its discretized counterpart, we prove that, for these particular integrators, dualization and discretization commute.
Global propagation of singularities for time dependent Hamilton-Jacobi equations
Piermarco Cannarsa , Marco Mazzola and  Carlo Sinestrari
2015, 35(9): 4225-4239 doi: 10.3934/dcds.2015.35.4225 +[Abstract](28) +[PDF](404.6KB)
We investigate the properties of the set of singularities of semiconcave solutions of Hamilton-Jacobi equations of the form \begin{equation}\label{abstract:EQ} u_t(t,x)+H(\nabla u(t,x))=0, \qquad\text{a.e. }(t,x)\in (0,+\infty)\times\Omega\subset\mathbb{R}^{n+1}\,. \end{equation} It is well known that the singularities of such solutions propagate locally along generalized characteristics. Special generalized characteristics, satisfying an energy condition, can be constructed, under some assumptions on the structure of the Hamiltonian $H$. In this paper, we provide estimates of the dissipative behavior of the energy along such curves. As an application, we prove that the singularities of any viscosity solution of (1) cannot vanish in a finite time.
A nonlinear model of opinion formation on the sphere
Marco Caponigro , Anna Chiara Lai and  Benedetto Piccoli
2015, 35(9): 4241-4268 doi: 10.3934/dcds.2015.35.4241 +[Abstract](50) +[PDF](3108.4KB)
In this paper we present a model for opinion dynamics on the $d$-dimensional sphere based on classical consensus algorithms. The choice of the model is motivated by the analysis of the comprehensive literature on the subject, both from the mathematical and the sociological point of views. The resulting dynamics is highly nonlinear and therefore presents a rich structure. Equilibria and asymptotic behavior are then analysed and sufficient condition for consensus are established. Finally we address global stabilization and controllability.
A semi-Lagrangian scheme for a degenerate second order mean field game system
Elisabetta Carlini and  Francisco J. Silva
2015, 35(9): 4269-4292 doi: 10.3934/dcds.2015.35.4269 +[Abstract](24) +[PDF](992.4KB)
In this paper we study a fully discrete Semi-Lagrangian approximation of a second order Mean Field Game system, which can be degenerate. We prove that the resulting scheme is well posed and, if the state dimension is equals to one, we prove a convergence result. Some numerical simulations are provided, evidencing the convergence of the approximation and also the difference between the numerical results for the degenerate and non-degenerate cases.
Higher order discrete controllability and the approximation of the minimum time function
Giovanni Colombo and  Thuy T. T. Le
2015, 35(9): 4293-4322 doi: 10.3934/dcds.2015.35.4293 +[Abstract](46) +[PDF](1409.1KB)
We give sufficient conditions to reach a target for a suitable discretization of a control affine nonlinear dynamics. Such conditions involve higher order Lie brackets of the vector fields driving the state and so the discretization method needs to be of a suitably high order as well. As a result, the discrete minimal time function is bounded by a fractional power of the distance to the target of the initial point. This allows to use methods based on Hamilton-Jacobi theory to prove the convergence of the solution of a fully discrete scheme to the (true) minimum time function, together with error estimates. Finally, we design an approximate suboptimal discrete feedback and provide an error estimate for the time to reach the target through the discrete dynamics generated by this feedback. Our results make use of ideas appearing for the first time in [3] and now extensively described in [12]. Numerical examples are presented.
Necessary conditions for a weak minimum in optimal control problems with integral equations on a variable time interval
Andrei V. Dmitruk and  Nikolai P. Osmolovskii
2015, 35(9): 4323-4343 doi: 10.3934/dcds.2015.35.4323 +[Abstract](71) +[PDF](451.6KB)
We study an optimal control problem with Volterra-type integral equation, considered on a nonfixed time interval, subject to endpoint constraints of equality and inequality type. We obtain first-order necessary optimality conditions for an extended weak minimum, the notion of which is a natural generalization of the notion of weak minimum with account of variations of the time. The conditions obtained generalize the Euler--Lagrange equation and transversality conditions for the Lagrange problem in the classical calculus of variations with ordinary differential equations.
Integral representations for bracket-generating multi-flows
Ermal Feleqi and  Franco Rampazzo
2015, 35(9): 4345-4366 doi: 10.3934/dcds.2015.35.4345 +[Abstract](22) +[PDF](571.7KB)
If $f_1,f_2$ are smooth vector fields on an open subset of an Euclidean space and $[f_1,f_2]$ is their Lie bracket, the asymptotic formula \begin{equation}\label{abstract:EQ} \Psi_{[f_1,f_2]}(t_1,t_2)(x) - x =t_1t_2 [f_1,f_2](x) +o(t_1t_2), \,                                         (1) \end{equation} where we have set $\Psi_{[f_1,f_2]}(t_1,t_2)(x) \overset{\underset{\mathrm{def}}{}}{=} \exp(-t_2 f_2)\circ \exp(-t_1f_1) \circ \exp(t_2f_2) \circ \exp(t_1f_1)(x)$, is valid for all $t_1,t_2$ small enough. In fact, the integral, exact formula \begin{equation}\label{abstract:EQ} \Psi_{[f_1,f_2]}(t_1,t_2)(x) - x = \int_0^{t_1}\int_0^{t_2}[f_1,f_2]^{(s_2,s_1)} (\Psi(t_1,s_2)(x))ds_1\,ds_2 ,                                  (2) \end{equation} where $[f_1,f_2]^{(s_2,s_1)}(y) \overset{\underset{\mathrm{def}}{}}{=} D (\exp(s_1f_1) \circ \exp(s_2f_2)))^{-1}(y) \cdot [f_1,f_2](\exp (s_1f_1) \circ \exp(s_2f_2)(y) ), $ has also been proven. Of course (2) can be regarded as an improvement of (1). In this paper we show that an integral representation like (2) holds true for any iterated Lie bracket made of elements of a family ${f_1,\dots,f_m}$ of vector fields. In perspective, these integral representations might lie at the basis for extensions of asymptotic formulas involving non-smooth vector fields.
Optimal control of dynamical systems with polynomial impulses
Elena Goncharova and  Maxim Staritsyn
2015, 35(9): 4367-4384 doi: 10.3934/dcds.2015.35.4367 +[Abstract](160) +[PDF](459.2KB)
The paper is devoted to the $BV$-relaxation of a dynamical system, whose right-hand side is a $p$th degree polynomial with rational powers of control under a uniform bound on its $L_p$-norm, and coefficients containing usual measurable bounded control.
    Under natural convexity assumptions, we give an explicit representation of generalized solutions to the control system by a measure differential equation. The main results concern an optimal impulsive control problem for the relaxed system: We establish the existence of a minimizer, and give necessary optimality conditions in the form of a Maximum Principle.
Robustness of performance and stability for multistep and updated multistep MPC schemes
Lars Grüne and  Vryan Gil Palma
2015, 35(9): 4385-4414 doi: 10.3934/dcds.2015.35.4385 +[Abstract](44) +[PDF](569.8KB)
We consider a model predictive control approach to approximate the solution of infinite horizon optimal control problems for perturbed nonlinear discrete time systems. By reducing the number of re-optimizations, the computational load can be lowered considerably at the expense of reduced robustness of the closed-loop solution against perturbations. In this paper, we propose and analyze an update strategy based on re-optimizations on shrinking horizons which is computationally less expensive than that based on full horizon re-optimization, and at the same time allowing for rigorously quantifiable robust performance estimates.
Stratified discontinuous differential equations and sufficient conditions for robustness
Cristopher Hermosilla
2015, 35(9): 4415-4437 doi: 10.3934/dcds.2015.35.4415 +[Abstract](38) +[PDF](475.5KB)
This paper is concerned with state-constrained discontinuous ordinary differential equations for which the corresponding vector field has a set of singularities that forms a stratification of the state domain. Existence of solutions and robustness with respect to external perturbations of the righthand term are investigated. Moreover, notions of regularity for stratifications are discussed.
Dynamic programming using radial basis functions
Oliver Junge and  Alex Schreiber
2015, 35(9): 4439-4453 doi: 10.3934/dcds.2015.35.4439 +[Abstract](35) +[PDF](2628.1KB)
We propose a discretization of the optimality principle in dynamic programming based on radial basis functions and Shepard's moving least squares approximation method. We prove convergence of the value iteration scheme, derive a statement about the stability region of the closed loop system using the corresponding approximate optimal feedback law and present several numerical experiments.
Optimal control of differential inclusions on manifolds
Robert J. Kipka and  Yuri S. Ledyaev
2015, 35(9): 4455-4475 doi: 10.3934/dcds.2015.35.4455 +[Abstract](37) +[PDF](476.1KB)
Dynamic optimization problems for differential inclusions on manifolds are considered. A mathematical framework for derivation of optimality conditions for generalized dynamical systems is proposed. We obtain optimality conditions in form of generalized Euler-Lagrange relations and in form of partially convexified Hamiltonian inclusions by using metric regularity of terminal and dynamic constraints.
Uniform convergence of the POD method and applications to optimal control
Karl Kunisch and  Markus Müller
2015, 35(9): 4477-4501 doi: 10.3934/dcds.2015.35.4477 +[Abstract](42) +[PDF](1021.2KB)
We consider proper orthogonal decomposition (POD) based Galerkin approximations to parabolic systems and establish uniform convergence with respect to forcing functions. The result is used to prove convergence of POD approximations to optimal control problems that automatically update the POD basis in order to avoid problems due to unmodeled dynamics in the POD reduced order system. A numerical example illustrates the results.
Expediting the transition from non-renewable to renewable energy via optimal control
Helmut Maurer and  Willi Semmler
2015, 35(9): 4503-4525 doi: 10.3934/dcds.2015.35.4503 +[Abstract](150) +[PDF](912.4KB)
Much recent climate research suggests that the transition from non-renewable to renewable energy should be expedited. To address this issue we use an optimal control model, based on an integrated assessment model of climate change that includes two types energy production. After setting up the model, we derive necessary optimality conditions in the form of a Pontryagin type Maximum Principle. We use a numerical discretization method for optimal control problems to explore various policy scenarios. The algorithm allows to compute both state and co-state variables by providing a consistent numerical approximation for the adjoint variables of the various scenarios. Our numerical method applies to control and state-constrained control problems as well as to delayed control problems. In the policy scenarios, we explore ways how the transition from non-renewable to renewable energy can be expedited.
Asymptotic problems in optimal control with a vanishing Lagrangian and unbounded data
Monica Motta and  Caterina Sartori
2015, 35(9): 4527-4552 doi: 10.3934/dcds.2015.35.4527 +[Abstract](36) +[PDF](537.8KB)
In this paper we give a representation formula for the limit of the finite horizon problem as the horizon becomes infinite, with a nonnegative Lagrangian and unbounded data. It is related to the limit of the discounted infinite horizon problem, as the discount factor goes to zero. We give sufficient conditions to characterize the limit function as unique nonnegative solution of the associated HJB equation. We also briefly discuss the ergodic problem.
Adaptive time--mesh refinement in optimal control problems with state constraints
Luís Tiago Paiva and  Fernando A. C. C. Fontes
2015, 35(9): 4553-4572 doi: 10.3934/dcds.2015.35.4553 +[Abstract](174) +[PDF](749.3KB)
When using direct methods to solve continuous-time nonlinear optimal control problems, regular time meshes having equidistant spacing are most frequently used. However, in some cases, these meshes cannot cope accurately with nonlinear behaviour and increasing uniformly the number of mesh nodes may lead to a more complex problem. We propose an adaptive time--mesh refinement algorithm, considering different levels of refinement and several mesh refinement criteria. Namely, we use information of the adjoint multipliers to decide where to refine further. This technique is here tested to solve two optimal control problems. One involving nonholonomic vehicles with state constraints which is characterized by having strong nonlinearities and by discontinuous controls; the other is also a nonlinear problem of a compartmental SEIR system. The proposed strategy leads to results with higher accuracy and yet with lower overall computational time, when compared to results obtained by meshes having equidistant spacing. We also apply the necessary condition of optimality in the form of the Maximum Principle of Pontryagin to characterize the solution and to validate the numerical results.
When are minimizing controls also minimizing relaxed controls?
Michele Palladino and  Richard B. Vinter
2015, 35(9): 4573-4592 doi: 10.3934/dcds.2015.35.4573 +[Abstract](33) +[PDF](444.6KB)
Relaxation refers to the procedure of enlarging the domain of a variational problem or the search space for the solution of a set of equations, to guarantee the existence of solutions. In optimal control theory relaxation involves replacing the set of permissible velocities in the dynamic constraint by its convex hull. Usually the infimum cost is the same for the original optimal control problem and its relaxation. But it is possible that the relaxed infimum cost is strictly less than the infimum cost. It is important to identify such situations, because then we can no longer study the infimum cost by solving the relaxed problem and evaluating the cost of the relaxed minimizer. Following on from earlier work by Warga, we explore the relation between the existence of an infimum gap and abnormality of necessary conditions (i.e. they are valid with the cost multiplier set to zero). Two kinds of theorems are proved. One asserts that a local minimizer, which is not also a relaxed minimizer, satisfies an abnormal form of the Pontryagin Maximum Principle. The other asserts that a local relaxed minimizer that is not also a minimizer satisfies an abnormal form of the relaxed Pontryagin Maximum Principle.
Variational problems of Herglotz type with time delay: DuBois--Reymond condition and Noether's first theorem
Simão P. S. Santos , Natália Martins and  Delfim F. M. Torres
2015, 35(9): 4593-4610 doi: 10.3934/dcds.2015.35.4593 +[Abstract](33) +[PDF](390.6KB)
We extend the DuBois--Reymond necessary optimality condition and Noether's first theorem to variational problems of Herglotz type with time delay. Our results provide, as corollaries, the DuBois--Reymond necessary optimality condition and the first Noether theorem for variational problems with time delay recently proved in [Numer. Algebra Control Optim. 2 (2012), no. 3, 619--630]. Our main result is also a generalization of the first Noether-type theorem for the generalized variational principle of Herglotz proved in [Topol. Methods Nonlinear Anal. 20 (2002), no. 2, 261--273].
Fields of extremals and sensitivity analysis for multi-input bilinear optimal control problems
Heinz Schättler and  Urszula Ledzewicz
2015, 35(9): 4611-4638 doi: 10.3934/dcds.2015.35.4611 +[Abstract](35) +[PDF](704.7KB)
Optimal control problems with fixed terminal time are considered for multi-input bilinear systems with the control set given by a compact interval and the objective function affine in the controls. Systems of this type have been widely used in the modeling of cell-cycle specific cancer chemotherapy over a prescribed therapy horizon for both homogeneous and heterogeneous tumor populations. Necessary conditions for optimality lead to concatenations of bang and singular controls as prime candidates for optimality. In this paper, the method of characteristics will be formulated as a general procedure to embed such a controlled reference extremal into a field of broken extremals. Sufficient conditions for the strong local optimality of a controlled reference bang-bang trajectory will be formulated in terms of solutions to associated sensitivity equations. These results will be applied to a model for cell cycle specific cancer chemotherapy with cytotoxic and cytostatic agents.
A TB-HIV/AIDS coinfection model and optimal control treatment
Cristiana J. Silva and  Delfim F. M. Torres
2015, 35(9): 4639-4663 doi: 10.3934/dcds.2015.35.4639 +[Abstract](54) +[PDF](692.3KB)
We propose a population model for TB-HIV/AIDS coinfection transmission dynamics, which considers antiretroviral therapy for HIV infection and treatments for latent and active tuberculosis. The HIV-only and TB-only sub-models are analyzed separately, as well as the TB-HIV/AIDS full model. The respective basic reproduction numbers are computed, equilibria and stability are studied. Optimal control theory is applied to the TB-HIV/AIDS model and optimal treatment strategies for co-infected individuals with HIV and TB are derived. Numerical simulations to the optimal control problem show that non intuitive measures can lead to the reduction of the number of individuals with active TB and AIDS.
Control of dynamical systems with discrete and uncertain observations
Aleksandar Zatezalo and  Dušan M. Stipanović
2015, 35(9): 4665-4681 doi: 10.3934/dcds.2015.35.4665 +[Abstract](37) +[PDF](429.9KB)
In this paper we provide a design methodology to compute control strategies for a primary dynamical system which is operating in a domain where other dynamical systems are present and the interactions between these systems and the primary one are of interest or are being pursued in some sense. The information from the other systems is available to the primary dynamical system only at discrete time instances and is assumed to be corrupted by noise. Having available only this limited and somewhat corrupted information which depends on the noise, the primary system has to make a decision based on the estimated behavior of other systems which may range from cooperative to noncooperative. This decision is reflected in a design of the most appropriate action, that is, control strategy of the primary system. The design is illustrated by considering some particular collision avoidance problem scenarios.

2016  Impact Factor: 1.099




Email Alert

[Back to Top]