Omar Hussien

According to our database, Omar Hussien authored at least 5 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Contributions toward Scalability of Correct-by-Construction Control Software Synthesis.

Omar Hussien

PhD thesis, 2018

Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications.

Omar Hussien, Paulo Tabuada

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Abstracting Partially Feedback Linearizable Systems Compositionally.

Omar Hussien, Aaron D. Ames, Paulo Tabuada

IEEE Control. Syst. Lett., 2017

2016

Correct-by-Construction Adaptive Cruise Control: Two Approaches.

Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

IEEE Trans. Control. Syst. Technol., 2016

2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014