ABSTRACT
Lower and upper state bounds can be computed independently for cooperative ordinary differential equations (ODEs) with interval-valued initial conditions. Then, all reachable states are enclosed by two decoupled, point-valued initial value problems (IVPs). This evaluation, however, becomes more challenging if the IVPs are, furthermore, subject to uncertain parameters. In the simplest case, to which this paper is restricted, the ODEs are linear with uncertain system and input matrices. Besides actually linear dynamics, also nonlinear input-affine state-space representations can be accounted for after embedded them into a polytopic uncertainty model representing a conservative convex combination of extremal system realisations. To perform the reachability analysis for closed-loop control structures without significant computational effort, it is reasonable to impose constraints during control synthesis so that the closed-loop ODEs remain cooperative. Suitable design procedures based on linear matrix inequalities are derived in this paper together with a validation for a prototypical heat transfer process.
Disclosure statement
No potential conflict of interest was reported by the authors.
Notes
1 If the stabilisation of the upper bounding system with the system matrix leads to excessively conservative controller gains, or – in the extreme case – to an infeasible set of LMIs, see also the illustrating example in Section 3.2, the respective entries in the ODEs (Equation25(25) (25) ) can be replaced by all dynamic system models for the upper state estimates with the respective dynamics matrices , .
2 In most practical applications, these bounded disturbances result from state estimation errors during transient phases and from inaccurate sensor measurements, unmodeled dynamics, and bounded measurement noise.
3 To avoid excessively different magnitudes of the entries in and , the matrix norm can be added in a weighted manner to the cost function as a further relaxation of the classical synthesis.
4 Note, this regularisation term does not have any implication on the stability of the closed-loop control system because the LMI constraints (Equation47(47) (47) ) are explicitly included in the design procedure to ensure asymptotic, respectively input-to-state, stability of the closed-loop system dynamics despite uncertain but bounded system parameters.
5 Non-negative real parts of the eigenvalues of may arise, for example, if holds.