Formal verification of a gain scheduling control scheme

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.