You are here

Formal verification of a gain scheduling control scheme

TitleFormal verification of a gain scheduling control scheme
Publication TypeConference Paper
Year of Publication2017
AuthorsOrdóñez, P., A. R. Mill, T. J. Dodd, and J. Liu
Conference NameMediterranean Conference on Control and Automation (MED)
PublisherIEEE
DOI10.1109/MED.2017.7984128