O
Ordóñez, P., A. R. Mill, T. J. Dodd, and J. Liu, "Formal verification of a gain scheduling control scheme", Mediterranean Conference on Control and Automation (MED): IEEE, 2017.
Ozay, N., J. Liu, P. Prabhakar, and R. M. Murray, "Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems", American Control Conference (ACC), 2013.
PDF (313.19 KB)
![application/pdf PDF icon](/hybrid-systems-lab/modules/file/icons/application-pdf.png)