The limits of applicability of the linearization method in calculating small-time reachable sets

Mikhail I. Gusev

Ural mathematical journal, Tome 6 (2020) no. 1, pp. 71-83

Résumé

The reachable sets of nonlinear systems are usually quite complicated. They, as a rule, are non-convex and arranged to have rather complex behavior. In this paper, the asymptotic behavior of reachable sets of nonlinear control-affine systems on small time intervals is studied. We assume that the initial state of the system is fixed, and the control is bounded in the $\mathbb{L}_2$-norm. The subject of the study is the applicability of the linearization method for a sufficiently small length of the time interval. We provide sufficient conditions under which the reachable set of a nonlinear system is convex and asymptotically equal to the reachable set of a linearized system. The concept of asymptotic equality is defined in terms of the Banach-Mazur metric in the space of sets. The conditions depend on the behavior of the controllability Gramian of the linearized system — the smallest eigenvalue of the Gramian should not tend to zero too quickly when the length of the time interval tends to zero. The indicated asymptotic behavior occurs for a reasonably wide class of second-order nonlinear control systems but can be violated for systems of higher dimension. The results of numerical simulation illustrate the theoretical conclusions of the paper.

Détail

Keywords: Nonlinear control systems, Small-time reachable sets, Asymptotics, Integral constraints, Linearization.

Bibliographie

[1] Baier R., Gerdts M., Xausa I., “Approximation of reachable sets using optimal control algorithms”, Numer. Algebra Control Optim., 3:3 (2013), 519–548 | DOI | MR | Zbl

[2] Dmitruk A. V., Milyutin A. A., Osmolovskii N. P., “Lyusternik`s theorem and the theory of extrema”, Russian Math. Surveys, 35:6 (1980), 11–51 | DOI | MR | Zbl

[3] Filippova T. F., “Ellipsoidal estimates of reachable sets for control systems with nonlinear terms”, IFACPapersOnLine, 50:1 (2017), 15355–15360 | DOI | MR

[4] Goncharova E., Ovseevich A., “Small-time reachable sets of linear systems with integral control constraints: birth of the shape of a reachable set”, J. Optim. Theory Appl., 168 (2016), 615–624 | DOI | MR | Zbl

[5] Guseinov K. G., Ozer O., Akyar E., Ushakov V. N., “The approximation of reachable sets of control systems with integral constraint on controls”, Nonlinear Differ. Equ. Appl., 14 (2007), 57–73 | DOI | MR | Zbl

[6] Guseinov Kh. G., Nazlipinar A. S., “Attainable sets of the control system with limited resources”, Trudy Inst. Mat. i Mekh. UrO RAN, 16:5 (2010), 261–268

[7] Gusev M., “On reachability analysis of nonlinear systems with joint integral constraints”, Large-Scale Scientific Computing, LSSC 2017, v. 10665, eds. Lirkov I., Margenov S., Springer, Cham, 2018, 219–227 | DOI | MR | Zbl

[8] Gusev M. I., Zykov I. V., “On extremal properties of the boundary points of reachable sets for control systems with integral constraints”, Proc. Steklov Inst. Math., 300, Suppl. 1 (2018), 114–125 | DOI | MR

[9] Gusev M. I., “Estimates of the minimal eigenvalue of the controllability Gramian for a system containing a small parameter”, Int. Conf. Mathematical Optimization Theory and Operations Research, MOTOR 2019, Lecture Notes in Computer Science, 11548, eds. Khachay M., Kochetov Y., Pardalos P., Springer, Cham, 2019, 461–473 | DOI | Zbl

[10] Gusev M. I., Osipov I. O., “Asimptoticheskoye povedeniye mnozhestv dostizhimosti na malykh vremennykh promezhutkakh [Asymptotic behavior of reachable sets on small time intervals]”, Trudy Inst. Mat. Mekh. UrO RAN, 25:3 (2019), 86–99 (in Russian) | DOI | MR

[11] Kostousova E. K., “On polyhedral estimates for reachable sets of discrete-time systems with bilinear uncertainty”, Autom. Remote Control, 72 (2011), 1841–1851 | DOI | MR | Zbl

[12] Krener A. J., Schättler H., “The structure of small-time reachable sets in low dimensions”, SIAM J. Control Optim., 27:1 (1989), 120–147 | DOI | MR | Zbl

[13] Kurzhanski A. B., Varaiya P., “Dynamic optimization for reachability problems”, J. Optim. Theory Appl., 108(2):2 (2001), 227–251 | DOI | MR | Zbl

[14] Kurzhanski A. B., Varaiya P., Dynamics and Control of Trajectory Tubes, Theory and Computation. Systems Control Found. Appl., 85, Birkhäuser, Basel, 2014, 445 pp. | DOI | MR

[15] Patsko V. S., Pyatko S. G., Fedotov A. A., “Three-dimensional reachability set for a nonlinear control system”, J. Comput. Syst. Sci. Int., 42:3 (2003), 320–328 | MR | Zbl

[16] Polyak B. T., “Convexity of the reachable set of nonlinear systems under $L_2$ bounded controls”, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal., 11 (2004), 255–267 | MR | Zbl

[17] Polyak B. T., “Local programming”, Comput. Math. Math. Phys., 41:9 (2001), 1259–1266 | MR | Zbl

[18] Lee E. B., Marcus L., Foundations of Optimal Control Theory, J. Willey and Sons Inc., New York, 1967, 576 pp. | MR | Zbl

[19] Schättler H., “Small-time reachable sets and time-optimal feedback control”, Nonsmooth Analysis and Geometric Methods in Deterministic Optimal Control, The IMA Volumes in Mathematics and its Applications, 78, eds. Mordukhovich B. S., Sussmann H. J., Springer, New York, 1996, 203–225 | DOI | MR | Zbl

[20] Tochilin P. A., “On the construction of nonconvex approximations to reach sets of piecewise linear systems”, Differ. Equ., 51:11 (2015), 1499–1511 | DOI | MR | Zbl

[21] Vdovin S. A., Taras`yev A. M., Ushakov V. N., “Construction of the attainability set of a Brockett integrator”, J. Appl. Math. Mech., 68:5 (2004), 631–646 | DOI | MR | Zbl

[22] Zykov I. V., “On external estimates of reachable sets of control systems with integral constraints”, Izv. IMI UdGU, 53 (2019), 61–72 (in Russian) | DOI | MR

[23] Walter W., Differential and Integral Inequalities, Springer-Verlag, Berlin–Heidelberg, 1970, 354 pp. | DOI | MR | Zbl