Proper Lumping for Positive Bilinear Control Systems - Jimenez-Pastor, Antonio; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea (Ieee Transactions On Automatic Control, 2024)