Publications

Sort by: Author Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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 icon PDF (313.19 KB)

Publications search