Omar A. Jasim

According to our database¹, Omar A. Jasim authored at least 3 papers between 2018 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Verification Framework for Control System Functionality of Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Nonlinear Attitude Control Design and Verification for a Safe Flight of a Small-Scale Unmanned Helicopter.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Control, 2019

2018

Formal Verification of Quadcopter Flight Envelop Using Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2018