Reachability Analysis of Discrete-Time Systems With Disturbances
Open Access
- 10 April 2006
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 51 (4), 546-561
- https://doi.org/10.1109/tac.2006.872835
Abstract
This paper presents new results that allow one to compute the set of states that can be robustly steered in a finite number of steps, via state feedback control, to a given target set. The assumptions that are made in this paper are that the system is discrete-time, nonlinear and time-invariant and subject to mixed constraints on the state and input. A persistent disturbance, dependent on the current state and input, acts on the system. Existing results are not able to address state- and input-dependent disturbances and the results in this paper are, therefore, a generalization of previously published results. One of the key aims of this paper is to present results such that one can perform the relevant set computations using polyhedral algebra and computational geometry software, provided the system is piecewise affine and the constraints are polygonal. Existing methods are only applicable to piecewise affine systems that either have no control inputs or no disturbances, whereas the results in this paper remove this limitation. Some simple examples are also given that show that, even if all the relevant sets are convex and the system is linear, convexity of the set of controllable states cannot be guaranteed.Keywords
This publication has 33 references indexed in Scilit:
- Computation of Maximal Safe Sets for Switching SystemsIEEE Transactions on Automatic Control, 2004
- Computational techniques for the verification of hybrid systemsProceedings of the IEEE, 2003
- Impulse differential inclusions: a viability approach to hybrid systemsIEEE Transactions on Automatic Control, 2002
- Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functionsIEEE Transactions on Automatic Control, 1994
- Applying Linear Quantifier EliminationThe Computer Journal, 1993
- Output feedback stabilization and related problems-solution via decision methodsIEEE Transactions on Automatic Control, 1975
- Infinite time reachability of state-space regions by using feedback controlIEEE Transactions on Automatic Control, 1972
- Control of linear dynamic systems with set constrained disturbancesIEEE Transactions on Automatic Control, 1971
- A minimax control problem for sampled linear systemsIEEE Transactions on Automatic Control, 1968
- A minimal time discrete systemIRE Transactions on Automatic Control, 1961