Rauh, Andreas, and Julia Kersten. 2020. “From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers: An Experimental Case Study”. Acta Cybernetica 24 (3):509-37. https://doi.org/10.14232/actacyb.24.3.2020.13.