# American Institute of Mathematical Sciences

• Previous Article
Necessary conditions for a weak minimum in optimal control problems with integral equations on a variable time interval
• DCDS Home
• This Issue
• Next Article
A semi-Lagrangian scheme for a degenerate second order mean field game system
September  2015, 35(9): 4293-4322. doi: 10.3934/dcds.2015.35.4293

## Higher order discrete controllability and the approximation of the minimum time function

 1 Università di Padova, Dipartimento di Matematica, via Trieste 63, 35121 Padova, Italy

Received  April 2014 Revised  October 2014 Published  April 2015

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.
Citation: Giovanni Colombo, Thuy T. T. Le. Higher order discrete controllability and the approximation of the minimum time function. Discrete & Continuous Dynamical Systems, 2015, 35 (9) : 4293-4322. doi: 10.3934/dcds.2015.35.4293
##### References:

show all references

##### References:
 [1] Robert Baier, Thuy T. T. Le. Construction of the minimum time function for linear systems via higher-order set-valued methods. Mathematical Control & Related Fields, 2019, 9 (2) : 223-255. doi: 10.3934/mcrf.2019012 [2] Eduardo Martínez. Higher-order variational calculus on Lie algebroids. Journal of Geometric Mechanics, 2015, 7 (1) : 81-108. doi: 10.3934/jgm.2015.7.81 [3] Weidong Zhao, Jinlei Wang, Shige Peng. Error estimates of the $\theta$-scheme for backward stochastic differential equations. Discrete & Continuous Dynamical Systems - B, 2009, 12 (4) : 905-924. doi: 10.3934/dcdsb.2009.12.905 [4] Rui L. Fernandes, Yuxuan Zhang. Local and global integrability of Lie brackets. Journal of Geometric Mechanics, 2021, 13 (3) : 355-384. doi: 10.3934/jgm.2021024 [5] Leonardo Colombo, David Martín de Diego. Higher-order variational problems on lie groups and optimal control applications. Journal of Geometric Mechanics, 2014, 6 (4) : 451-478. doi: 10.3934/jgm.2014.6.451 [6] Maike Schulte, Anton Arnold. Discrete transparent boundary conditions for the Schrodinger equation -- a compact higher order scheme. Kinetic & Related Models, 2008, 1 (1) : 101-125. doi: 10.3934/krm.2008.1.101 [7] Johannes Huebschmann. On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras. Journal of Geometric Mechanics, 2021, 13 (3) : 385-402. doi: 10.3934/jgm.2021009 [8] Xiaojie Wang. Weak error estimates of the exponential Euler scheme for semi-linear SPDEs without Malliavin calculus. Discrete & Continuous Dynamical Systems, 2016, 36 (1) : 481-497. doi: 10.3934/dcds.2016.36.481 [9] Anouar El Harrak, Hatim Tayeq, Amal Bergam. A posteriori error estimates for a finite volume scheme applied to a nonlinear reaction-diffusion equation in population dynamics. Discrete & Continuous Dynamical Systems - S, 2021, 14 (7) : 2183-2197. doi: 10.3934/dcdss.2021062 [10] Giulia Cavagnari, Antonio Marigonda. Measure-theoretic Lie brackets for nonsmooth vector fields. Discrete & Continuous Dynamical Systems - S, 2018, 11 (5) : 845-864. doi: 10.3934/dcdss.2018052 [11] Mohamed Assellaou, Olivier Bokanowski, Hasnaa Zidani. Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets. Discrete & Continuous Dynamical Systems, 2015, 35 (9) : 3933-3964. doi: 10.3934/dcds.2015.35.3933 [12] Liupeng Wang, Yunqing Huang. Error estimates for second-order SAV finite element method to phase field crystal model. Electronic Research Archive, 2021, 29 (1) : 1735-1752. doi: 10.3934/era.2020089 [13] Marina Ghisi, Massimo Gobbino. Hyperbolic--parabolic singular perturbation for mildly degenerate Kirchhoff equations: Global-in-time error estimates. Communications on Pure & Applied Analysis, 2009, 8 (4) : 1313-1332. doi: 10.3934/cpaa.2009.8.1313 [14] Konstantinos Chrysafinos. Error estimates for time-discretizations for the velocity tracking problem for Navier-Stokes flows by penalty methods. Discrete & Continuous Dynamical Systems - B, 2006, 6 (5) : 1077-1096. doi: 10.3934/dcdsb.2006.6.1077 [15] Svetlana Matculevich, Pekka Neittaanmäki, Sergey Repin. A posteriori error estimates for time-dependent reaction-diffusion problems based on the Payne--Weinberger inequality. Discrete & Continuous Dynamical Systems, 2015, 35 (6) : 2659-2677. doi: 10.3934/dcds.2015.35.2659 [16] Denis R. Akhmetov, Renato Spigler. $L^1$-estimates for the higher-order derivatives of solutions to parabolic equations subject to initial values of bounded total variation. Communications on Pure & Applied Analysis, 2007, 6 (4) : 1051-1074. doi: 10.3934/cpaa.2007.6.1051 [17] Giovanni Colombo, Khai T. Nguyen. On the minimum time function around the origin. Mathematical Control & Related Fields, 2013, 3 (1) : 51-82. doi: 10.3934/mcrf.2013.3.51 [18] E. Fossas, J. M. Olm. Galerkin method and approximate tracking in a non-minimum phase bilinear system. Discrete & Continuous Dynamical Systems - B, 2007, 7 (1) : 53-76. doi: 10.3934/dcdsb.2007.7.53 [19] Marita Holtmannspötter, Arnd Rösch, Boris Vexler. A priori error estimates for the space-time finite element discretization of an optimal control problem governed by a coupled linear PDE-ODE system. Mathematical Control & Related Fields, 2021, 11 (3) : 601-624. doi: 10.3934/mcrf.2021014 [20] Ricardo Rosa. Approximate inertial manifolds of exponential order. Discrete & Continuous Dynamical Systems, 1995, 1 (3) : 421-448. doi: 10.3934/dcds.1995.1.421

2020 Impact Factor: 1.392