Pablo Ordóñez, Andrew R. Mills, Tony J. Dodd, Jun Liu. Formal verification of a gain scheduling control scheme. In 25th Mediterranean Conference on Control and Automation, MED 2017, Valletta, Malta, July 3-6, 2017. pages 259-264, IEEE, 2017. [doi]
Abstract is missing.