On the necessity of the invariance conditions for reach control on polytopes. (English) Zbl 1335.93023
Summary: We study the Reach Control Problem (RCP) to make the solutions of an affine system defined on a polytopic state space reach and exit a prescribed facet of the polytope in finite time without first leaving the polytope. So-called invariance conditions are used to prevent solutions from leaving the polytope through facets which are not designated as the exit facet. These conditions are known to be necessary for solvability of the RCP on polytopes by continuous state feedback. We study whether the invariance conditions are also necessary for solvability of the RCP on polytopes by open-loop controls. We show by way of a counterexample that surprisingly the answer is negative. We identify a suitable class of polytopes for which the invariance conditions remain necessary conditions.
MSC:
| 93B03 | Attainable sets, reachability |
| 93C30 | Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) |
| 93B52 | Feedback control |
References:
| [1] | Habets, L. C.G. J.M.; van Schuppen, J. H., A control problem for affine dynamical systems on a full-dimensional polytope, Automatica, 40, 1, 21-35 (2004) · Zbl 1035.93008 |
| [2] | Helwa, M. K.; Broucke, M. E., Monotonic reach control on polytopes, IEEE Trans. Automat. Control, 58, 10, 2704-2709 (2013) · Zbl 1369.93399 |
| [3] | Helwa, M. K.; Broucke, M. E., Flow functions, control flow functions, and the reach control problem, Automatica, 55, 108-115 (2015) · Zbl 1378.93020 |
| [4] | Bemporad, A.; Morari, M., Control of systems integrating logic, dynamics, and constraints, Automatica, 35, 3, 407-428 (1999) · Zbl 1049.93514 |
| [5] | Habets, L. C.G. J.M.; Collins, P. J.; van Schuppen, J. H., Reachability and control synthesis for piecewise-affine hybrid systems on simplices, IEEE Trans. Automat. Control, 51, 6, 938-948 (2006) · Zbl 1366.93348 |
| [6] | Roszak, B.; Broucke, M. E., Necessary and sufficient conditions for reachability on a simplex, Automatica, 42, 11, 1913-1918 (2006) · Zbl 1261.93015 |
| [7] | Broucke, M. E., Reach control on simplices by continuous state feedback, SIAM J. Control Optim., 48, 5, 3482-3500 (2010) · Zbl 1202.93036 |
| [8] | Semsar Kazerooni, E.; Broucke, M. E., Reach controllability of single input affine systems, IEEE Trans. Automat. Control, 59, 3, 738-744 (2014) · Zbl 1360.93105 |
| [9] | Broucke, M. E.; Ganness, M., Reach control on simplices by piecewise affine feedback, SIAM J. Control Optim., 52, 5, 3261-3286 (2014) · Zbl 1304.93034 |
| [10] | Ashford, G.; Broucke, M. E., Time-varying feedback for reach control on simplices, Automatica, 49, 5, 1365-1369 (2013) · Zbl 1319.93027 |
| [11] | Lin, Z.; Broucke, M. E., On a reachability problem for affine hypersurface systems on polytopes, Automatica, 47, 4, 769-775 (2011) · Zbl 1215.93018 |
| [12] | Clarke, F. H.; Ledyaev, Y. S.; Stern, R. J.; Wolenski, P. R., Nonsmooth Analysis and Control Theory (1998), Springer · Zbl 1047.49500 |
| [13] | Brondsted, A., An Introduction to Convex Polytopes (1983), Springer-Verlag, New York Inc. · Zbl 0509.52001 |
| [14] | Rockafellar, R. T., Convex Analysis (1970), Princeton University Press: Princeton University Press Princeton, New Jersey · Zbl 0202.14303 |
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.
