Limit 0-controllable set for satellite control system
Аuthors
Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse, Moscow, А-80, GSP-3, 125993, Russia
e-mail: abv1998@yandex.ru
Abstract
The paper considers a linear n-dimensional discrete-time controlling system with bounded control, the control set has a dimension lower than the state space. It is required to construct the limit null-controllable set, that is, the set of those initial states from which it is possible to transfer the system to the origin in a finite number of steps by choosing an admissible control. Constructing this set for a satellite in an orbit correction problem answers the question of whether orbit correction is feasible from a given initial state. The continuous satellite dynamics are discretized and, by increasing the quantization step, transformed into a linear discrete-time system with geometric control constraints. Necessary and sufficient conditions for the boundedness of the limit null-controllability and reachability sets are derived for the case where 0 is a relative interior point of the set of admissible controls. The boundedness criteria are formulated in terms of the Jordan structure of the system: the limit reachable set is bounded if and only if all controls lie in the subspace corresponding to the contracting part of the system (eigenvalues with modulus less than one), while the null-controllability set is bounded if and only if the system matrix is invertible and all controls belong to the subspace corresponding to the expanding part of the system (eigenvalues with modulus greater than one). Lemma 1 states that the limit reachable and limit null-controllable sets remain unchanged when transitioning from the original system to a system with the matrix raised to the power M and a correspondingly extended control set. Lemma 2 establishes a profound connection between the algebraic condition of complete controllability and the geometric property of the limit reachable set.
Keywords:
limit null-controllable set, convex set, linear control systems, discrete‑time control system, satellite orbit correctionReferences
- Desoer C.A., Wing J. The minimal time regulator problem for linear sampled-data systems: general theory. Journal Franklin Institute, 1961, vol. 272, no. 3. pp. 208–228. DOI 10.1016/0016-0032(61)90784-0.
- Lin W.-S. Time-Optimal Control Strategy for Saturating Linear Discrete Systems. International Journal of Control, 1986, vol. 43, no. 5, pp. 1343–1351. DOI 10.1080/00207178608933543.
- Colonius F., Joao Cossich A.N., Santana A.J. Controllability properties and invariance pressure for linear discrete-time systems. Journal of Dynamics and Differential Equations, 2022, no. 34, P. 5–28.
- Ge S.S., Sun Zh., Lee T.H. Reachability and controllability of switched linear discrete-time systems. IEEE Transactions on Automatic Contro, 2001, vol. 46, no. 9, pp. 1437–1441.
- Heemels W.P., Camlibel M. K. Null controllability of discrete-time linear systems with input and state constraints. 47th IEEE Conference on Decision and Control. Cancun, 2008, pp. 3487–3492.
- Kaba M.D., Camlibel M.K. A spectral characterization of controllability for linear discrete-time systems with conic constraints. SIAM Journal on Control and Optimization, 2015, vol. 53, no. 4, pp. 2350–2372.
- Benvenuti L., Farina L. The geometry of the reachability set for linear discrete-time systems with positive controls. SIAM Journal on Matrix Analysis and Applications, 2006, vol. 28, no. 2, pp. 306–325.
- Darup M.S., Mönnigmann M. On general relations between nullcontrollable and controlled invariant sets for linear constrained systems. 53rd IEEE Conference on Decision and Control, 2014, pp. 6323–6328.
- Canon M.D., Cullum C.D., Polak E. Theory of optimal control and mathematical programming, New York, McGraw-Hill, 1970.
- Fisher M.E., Gayek J.E. Estimating reachable sets for two-dimensional linear discrete systems. Journal of Optimization Theory and Applications. 1988. V. 56. No. 1. P. 67–88. DOI 10.1007/BF00938527
- Kuntsevich V.M., Kurzhanski A.B. Attainability domains for linear and some classes of nonlinear discrete systems and their control. Journal of Automation and Information Sciences, 2010, vol. 42, iss. 1, pp. 1–18. DOI 10.1615/JAutomatInfScien.v42.i1.10.
- Kurzhanskiy A.F., Varaiya P. Theory and computational techniques for analysis of discrete-time control systems with disturbances. Optimization Methods and Software, 2011, vol. 26. no. 4–5. pp. 719–746.
- Corradini M.L., Cristofaro A., Giannoni F., Orlando G. estimation of the null-controllable region: Discrete-time plants. control systems with saturating inputs. Lecture Notes in Control and Information Sciences, Springer, 2012, vol. 424. pp. 33–52. DOI 10.1007/978-1-4471-2506-8_3.
- 14 Hu T., Miller D.E., Qiu L. Null controllable region of LTI discrete-time systems with input saturation. Automatica, 2002, vol. 38, iss. 11, pp. 2009–2013. DOI 10.1016/S0005-1098(02)00091-2.
- Sirotin A.N., Formalskii A.M. Avtomatika i telemekhanika, 2003, no. 12, pp. 17–32.
- Kostousova E.K. Vychislitel'nye tekhnologii, 2004, vol. 9, no. 4, pp. 54–72. DOI 10.21538/0134-4889-2020-26-1-141-155.
- Fucheng L., Mengyuan S., Usman optimal preview control for linear discrete-time periodic systems. Mathematical Problems in Engineering, 2019, pp. 1–11. DOI 10.1155/2019/8434293.
- Berendakova A.V., Ibragimov D.N. Avtomatika i telemekhanika, 2023, no. 2, pp. 3–34. DOI 10.31857/S00052310230200100.
- Simkina A.V., Ibragimov D.N., Kibzun A.I. Vestnik YuUrGU MMP, 2024, vol. 17, no. 3, pp. 46–56. DOI 10.14529/mmp240304.
- Simkina A.V. On the external estimation of the limit reachable set for the linear discrete-time system based on support hyperplanes. Advances in Systems Science and Applications, 2024, no. 4, pp. 66–81. DOI 10.25728/assa.2024.2024.4.1970.
- Ivanov S.G., Grishko D.A., Baranov A.A. Trudy MAI: elektron. zhurn., 2024, no. 139. Avialable at: https://trudymai.ru/published.php?ID=183447.
- Vas’kova V.S. On the movement along the tether of a spacecraft with a non-ideal solar sail. Trudy MAI: elektron. zhurn., 2024, no. 139. Avialable at: https://trudymai.ru/published.php?ID=1834499.
- Minakov E.P., Aleksandrov M.A., Mishcheryakov A.V., Mishcheryakov S.V. Algorithm for determining parameters of inclined projections of points on the Earth's surface for circular orbits of spacecraft. Trudy MAI: elektron. zhurn., 2024, no. 135. Avialable at: http://www.mai.ru/science/trudy/published.php?ID=179696.
- Malyshev V.V., Krasilshchikov M.N., Bobronnikov V.T. Sputnikovye sistemy monitoringa [Satellite monitoring systems], Moscow, MAI Publ., 2000, 568 p.
- Lebedev A.A., Krasilshchikov M.N., Malyshev V.V. Optimal’noe upravlenie dvizheniem kosmicheskikh letatel’nykh apparatov [Satellite monitoring systems. Analysis, synthesis and control], Moscow, MAI Publ., 2000, 568 p.
- Malyshev V.V., Kibzun A.I. Analiz i sintez vysokotochnogo upravleniya letatel’nymi apparatami [Analysis and synthesis of high-precision control of aircraft], Moscow, Mashinostroenie, 1987, 304 p.
- Ibragimov D.N., Simkina A.V. Mekhatronika, avtomatizatsiya, upravlenie, 2025, vol, 26, no. 10. pp. 515–524. DOI https://doi.org/10.17587/mau.26.515-524.
- Malkin I.G. Teoriya ustoichivosti dvizheniya [Theory of motion stability], Moscow, Nauka, 1966, 533 p.
- Rokafellar R. Vypuklyi analiz [Convex Analysis], Moscow, Mir, 1973, 469 p.
- Horn R., Johnson C. Matrichnyy analiz [Matrix analysis], Moscow, Mir, 1989, 667 p.

