Publications

Export 4 results:
Sort by: Author Title Type [ Year  (Desc)]
2018
Hussien, O., and P. Tabuada, "Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications", 2018 IEEE Conference on Decision and Control (CDC): IEEE, pp. 3567–3572, 2018. Abstract
n/a
2017
Hussien, O., A. Ames, and P. Tabuada, "Abstracting partially feedback linearizable systems compositionally", IEEE Control Systems Letters, vol. 1, no. 2: IEEE, pp. 227–232, 2017. Abstract
n/a
2015
Nilsson, P., O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, and P. Tabuada, "Correct-by-construction adaptive cruise control: Two approaches", IEEE Transactions on Control Systems Technology, vol. 24, no. 4: IEEE, pp. 1294–1307, 2015. Abstract
n/a
2014
Nilsson, P., O. Hussien, Y. Chen, A. Balkan, M. Rungger, A. Ames, J. Grizzle, N. Ozay, H. Peng, and P. Tabuada, "Preliminary results on correct-by-construction control software synthesis for adaptive cruise control", 53rd IEEE Conference on Decision and Control: IEEE, pp. 816–823, 2014. Abstract
n/a
Tourism