  R-RoMulOC is a freely distributed toolbox which aims at making easily
available to the users different optimization-based methods for dealing with
uncertain systems. It implements both deterministic LMI-based results, that
provide guaranteed performances for all values of the uncertainties, and
probabilistic randomization-based approaches, that guarantee performances for
all values of the uncertainties except for a subset with arbitrary small
probability measure. The paper is devoted to the description of these two
approaches for analysis and control design when applied to a satellite
benchmark proposed by CNES, the French Space Agency. The paper also describes
the modeling of the DEMETER satellite and its integration into the R-RoMulOC
toolbox as a challenging test example. Design of state-feedback controllers and
closed-loop performance analysis are carried out with the randomized and robust
methods available in the R-RoMulOC toolbox.

Optimization and Control