Robust analysis of Demeter benchmark via quadratic separation

The purpose of this paper is to give numerical illustrations of recent results obtained in the area of robust analysis of uncertain parametric LTI systems. The idea is to highlight theoretical as well as numerical issues pertaining to real life applications of sophisticated robust analysis of spaceborne control systems. The framework of quadratic separation applied to interconnected implicit linear transformations and uncertain operators as defined in Peaucelle et al. (2007) is renewed. Improved robust stability tests involving more complex parameter-dependent Lyapunov functions are applied on a benchmark from the space industry. It is based on the problem of attitude control of a flexible satellite developed at CNES and it is used to analyze the relevance as well as some shortcomings of the proposed approach.