Geromel J. Differential Linear Matrix Inequalities...Filtering and Control 2023