The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differentialalgebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on VALENCIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial...
In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview...
Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical...
The focus of this paper is to develop reliable observer and filtering techniques for finite-dimensional battery models that adequately describe the charging and discharging behaviors. For this purpose, an experimentally validated battery model taken from the literature is extended by a mathematical description that represents parameter variations caused by aging. The corresponding disturbance models account for the fact that neither the state of charge, nor the above-mentioned parameter variations...
In this paper, control-oriented modeling approaches are presented for distributed parameter systems. These systems, which are in the focus of this contribution, are assumed to be described by suitable partial differential equations. They arise naturally during the modeling of dynamic heat transfer processes. The presented approaches aim at developing finitedimensional system descriptions for the design of various open-loop, closed-loop, and optimal control strategies as well as state, disturbance,...
Download Results (CSV)