Numerical Validation in Current Hardware Architectures
International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Journal of Computer and Systems Sciences International
Hi-index | 0.00 |
In this paper, an interval arithmetic optimization pro- cedure for both discrete-time and continuous-time systems is presented. Besides computation of control strategies for systems with nominal parameters, robustness requirements for systems with interval bounded uncertainties are consid- ered. Considering these uncertainties, control laws are ob- tained which directly take into account the influence of dis- turbances and deviations of system parameters from their nominal values. Compared to Bellman's discrete dynamic programming, errors resulting from gridding of state and control variable intervals as well as errors due to round- ing to nearest grid points are avoided. Furthermore, the influence of time discretization errors is taken into account by validated integration of continuous-time state equations. Optimization results for a simplified model of a mechanical positioning system with switchings between models for both static and sliding friction demonstrate the efficiency of the suggested approach and its applicability to processes with state-dependent switching characteristics.