Interval techniques for enclosures of regions of reachability and controllability and for guaranteed state and parameter estimation of dynamical systems

Interval techniques are a powerful means for calculation of enclosures of the regions of reachability and controllability of dynamical systems with uncertainties during analysis and design of controllers. In this contribution, both discrete-time and continuous-time dynamical systems are considered. Using suitable algorithms, guaranteed state enclosures can be determined for systems with uncertain parameters, uncertain initial conditions, nonlinearities, and time-varying characteristics. Although both uncertain system parameters and bounded control variables are assumed to be represented by interval boxes in the following, they have to be distinguished in reachability and controllability analysis. Typically, robustness specifications for controllers of dynamical systems are given in terms of bounds on the system's time response which must not be violated for any possible operating condition. Hence, reachability as well as controllability of states have to be proven for all possible parameter values but for at least one admissible control sequence. Robust control strategies for nonlinear systems usually rely on knowledge of all current states. However, the complete state vector is not always directly accessible for measurement. In this case, observers are applicable to reconstruct non-measurable state variables. Furthermore, they can reduce the uncertainties of the measured quantities by model-based recursive computation of estimates and fusion of information gathered by different measurement devices. If guaranteed bounds of all uncertain parameters of a dynamical system (including the sensor characteristics) and conservative bounds of all disturbances can be specified, the presented interval observer provides guaranteed enclosures of all reachable states. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)