Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. - Petter Nilsson; Omar Hussien; Yuxiao Chen 001; Ayca Balkan; Matthias Rungger; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (CDC, 2014)

Correct-by-Construction Adaptive Cruise Control: Two Approaches. - Petter Nilsson; Omar Hussien; Ayca Balkan; Yuxiao Chen 001; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (IEEE Trans. Control. Syst. Technol., 2016)

Abstracting Partially Feedback Linearizable Systems Compositionally. - Omar Hussien; Aaron D. Ames; Paulo Tabuada (IEEE Control. Syst. Lett., 2017)

Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. - Omar Hussien; Paulo Tabuada (CDC, 2018)

Contributions toward Scalability of Correct-by-Construction Control Software Synthesis. - Omar Hussien (2018)