Concepedia

Omar Hussien

OH

4

Publications

242

Citations

4

H-Index

2014

Active since

Affiliations

University of California, Los Angeles(Current)

University of Michigan

Omar Hussien is an author at University of California, Los Angeles specializing in formal methods, formal verification, and systems engineering.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringDesignComputer ScienceAutomationAdaptive ControlBusinessVerification

Publications per year

2014–2018

4

Publications

4

Correct-by-Construction Adaptive Cruise Control: Two Approaches

Petter Nilsson, Omar Hussien, Ayça Balkan et al. · IEEE Transactions on Control Systems Technology · 2015 · 159 citations · Full text

Engineering, Ship Maneuvering, Emergency Controller +14

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

Petter Nilsson, Omar Hussien, Yuxiao Chen et al. · 2014 · 41 citations

Adaptive Cruise Control, Interacting Software Module, Engineering +15

Abstracting Partially Feedback Linearizable Systems Compositionally

Omar Hussien, Aaron D. Ames, Paulo Tabuada · IEEE Control Systems Letters · 2017 · 25 citations

Engineering, Finite-state Abstractions, Large Continuous Systems +14

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

Omar Hussien, Paulo Tabuada · 2018 · 17 citations

Lazy Controller Synthesis, Engineering, Reachability Problem +22

Rows per page

1–4 of 4