Inner-outer approximation of robust control invariant sets. (English) Zbl 1539.93040
Summary: This work proposes an approach to replace the use of a robust control invariant set by a pair of simpler sets that provide an inner and an outer approximation of the former. In the proposed approach, the outer set plays the role of the target region and the inner set is such that the trajectories that start inside it can be kept inside the outer set and be driven back to the inner set within a finite-time horizon. We show that the existence of these two sets implies the existence of a robust control invariant set between both regions. We also provide results that allow finding an inner set from a given target outer set and we show a way of using both sets in model predictive control schemes such that the target region is never abandoned in spite of the fact that nor that region neither the inner set are invariant. We also illustrate the ideas with an example in which the inner and outer sets are very simple notwithstanding that any robust invariant set is not convex.
Software:
TIRAReferences:
| [1] | Anderson, A.; González, A. H.; Ferramosca, A.; Kofman, E., Finite-time convergence results in robust model predictive control, Optimal Control Applications & Methods, 39, 5, 1627-1637, (2018) · Zbl 1402.93095 |
| [2] | Athanasopoulos, N.; Doban, A. I.; Lazar, M., On constrained stabilization of discrete-time linear systems, (21st Mediterranean conference on control and automation, (2013), IEEE), 830-839 |
| [3] | Bertsekas, D. P., Infinite time reachability of state-space regions by using feedback control, IEEE Transactions on Automatic Control, 17, 5, 604-613, (1972) · Zbl 0264.93011 |
| [4] | Bitsoris, G.; Gravalou, E., Design techniques for the control of discrete-time systems subject to state and control constraints, IEEE Transactions on Automatic Control, 44, 5, 1057-1061, (1999) · Zbl 0955.93047 |
| [5] | Blanchini, F., Set invariance in control, Automatica, 35, 11, 1747-1767, (1999) · Zbl 0935.93005 |
| [6] | Blanchini, F.; Mesquine, F.; Miani, S., Constrained stabilization with an assigned initial condition set, International Journal of Control, 62, 3, 601-617, (1995) · Zbl 0838.93061 |
| [7] | Blanchini, F.; Miani, S., Set-theoretic methods in control: Vol. 78, (2008), Birkhäuser Cham, URL: https://link.springer.com/book/10.1007/978-3-319-17933-9 · Zbl 1140.93001 |
| [8] | Bravo, J. M.; Limon, D.; Alamo, T.; Camacho, E. F., On the computation of invariant sets for constrained nonlinear systems: An interval arithmetic approach, Automatica, 41, 9, 1583-1589, (2005) · Zbl 1086.93035 |
| [9] | Decardi-Nelson, B.; Liu, J., Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach, Computers & Chemical Engineering, 145, Article 107177 pp., (2021) |
| [10] | Dehghan, M.; Ong, C.-J., Discrete-time switching linear system with constraints: Characterization and computation of invariant sets under dwell-time consideration, Automatica, 48, 5, 964-969, (2012) · Zbl 1246.93073 |
| [11] | Fiacchini, M.; Alamo, T.; Camacho, E. F., On the computation of convex robust control invariant sets for nonlinear systems, Automatica, 46, 8, 1334-1338, (2010) · Zbl 1205.93037 |
| [12] | Gutman, P.-O.; Cwikel, M., An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states, IEEE Transactions on Automatic Control, 32, 3, 251-254, (1987) · Zbl 0618.49017 |
| [13] | Kerrigan, E. C., Robust constraint satisfaction: Invariant sets and predictive control, (2001), University of Cambridge UK, (Ph.D. thesis) |
| [14] | Kögel, M.; Findeisen, R., Stability of NMPC with cyclic horizons, IFAC Proceedings Volumes, 46, 23, 809-814, (2013) |
| [15] | Korda, M.; Henrion, D.; Jones, C. N., Convex computation of the maximum controlled invariant set for polynomial control systems, SIAM Journal on Control and Optimization, 52, 5, 2944-2969, (2014) · Zbl 1311.49073 |
| [16] | Kurzhanski, A. B.; Varaiya, P., Ellipsoidal techniques for reachability analysis, (International workshop on hybrid systems: Computation and control, (2000), Springer), 202-214 · Zbl 0962.93009 |
| [17] | La Salle, J.; Lefschetz, S., Stability by Liapunov’s direct method with applications by Joseph L Salle and Solomon Lefschetz, (2012), Elsevier |
| [18] | Lazar, M.; Doban, A. I.; Athanasopoulos, N., On stability analysis of discrete-time homogeneous dynamics, (2013 17th International conference on system theory, control and computing, (2013), IEEE), 297-305 |
| [19] | Lazar, M.; Tetteroo, M., Computation of terminal costs and sets for discrete-time nonlinear MPC, IFAC-PapersOnLine, 51, 20, 141-146, (2018) |
| [20] | Lee, Y. I.; Cannon, M.; Kouvaritakis, B., Extended invariance and its use in model predictive control, Automatica, 41, 12, 2163-2169, (2005) · Zbl 1100.93506 |
| [21] | Lee, Y. I.; Kouvaritakis, B., Constrained robust model predictive control based on periodic invariance, Automatica, 42, 12, 2175-2181, (2006) · Zbl 1104.93027 |
| [22] | Legat, B.; Tabuada, P.; Jungers, R. M., Computing controlled invariant sets for hybrid systems with applications to model-predictive control, IFAC-PapersOnLine, 51, 16, 193-198, (2018) |
| [23] | Liu, C.; Tahir, F.; Jaimoukha, I. M., Full-complexity polytopic robust control invariant sets for uncertain linear discrete-time systems, International Journal of Robust and Nonlinear Control, 29, 11, 3587-3605, (2019) · Zbl 1426.93060 |
| [24] | Lombardi, W.; Olaru, S.; Bitsoris, G.; Niculescu, S.-I., Cyclic invariance for discrete time-delay systems, Automatica, 48, 10, 2730-2733, (2012) · Zbl 1271.93099 |
| [25] | Mayne, D. Q.; Rawlings, J. B.; Rao, C. V.; Scokaert, P. O.M., Constrained model predictive control: Stability and optimality, Automatica, 36, 6, 789-814, (2000) · Zbl 0949.93003 |
| [26] | Meyer, P.-J.; Devonport, A.; Arcak, M., Interval reachability analysis: Bounding trajectories of uncertain systems with boxes for control and verification, (2021), Springer Nature · Zbl 1520.93003 |
| [27] | Oishi, M.; Mitchell, I.; Tomlin, C.; Saint-Pierre, P., Computing viable sets and reachable sets to design feedback linearizing control laws under saturation, (Proceedings of the 45th IEEE conference on decision and control, (2006), IEEE), 3801-3807 |
| [28] | Rakovic, S. V.; Baric, M., Parameterized robust control invariant sets for linear systems: Theoretical advances and computational remarks, IEEE Transactions on Automatic Control, 55, 7, 1599-1614, (2010) · Zbl 1368.93205 |
| [29] | Rungger, M.; Tabuada, P., Computing robust controlled invariant sets of linear systems, IEEE Transactions on Automatic Control, 62, 7, 3665-3670, (2017) · Zbl 1370.93165 |
| [30] | Sassi, M. A.B.; Girard, A.; Sankaranarayanan, S., Iterative computation of polyhedral invariants sets for polynomial dynamical systems, (53rd IEEE conference on decision and control, (2014), IEEE), 6348-6353 |
| [31] | Soyer, M.; Olaru, S.; Fang, Z., A novel motion cueing algorithm based on real-time optimization and periodic invariant sets, (2020 IEEE conference on control technology and applications, (2020), IEEE), 19-24 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
