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]
@inproceedings{OrdonezMDL17,
title = {Formal verification of a gain scheduling control scheme},
author = {Pablo Ordóñez and Andrew R. Mills and Tony J. Dodd and Jun Liu},
year = {2017},
doi = {10.1109/MED.2017.7984128},
url = {https://doi.org/10.1109/MED.2017.7984128},
researchr = {https://researchr.org/publication/OrdonezMDL17},
cites = {0},
citedby = {0},
pages = {259-264},
booktitle = {25th Mediterranean Conference on Control and Automation, MED 2017, Valletta, Malta, July 3-6, 2017},
publisher = {IEEE},
isbn = {978-1-5090-4533-4},
}