Fluidic Jet Vectoring at Subsonic Flow ay Using Counter Flow Method

Autor: Ali Abdul Almuhsen Al-Asady, Omar Hussien Ali

Publikováno v: مجلة النهرين للعلوم الهندسية, Vol 19, Iss 2 (2017)

Experimental & Computational and investigations of thrust vectoring by using counter flow method had been carried out in the present work. The experimental investigation included design and construction of test rig with rectangular duct with aspect r

Externí odkaz: https://doaj.org/article/28b59a06e96943188f6d35974f005cb3

Abstracting Partially Feedback Linearizable Systems Compositionally

Autor: Aaron D. Ames, Paulo Tabuada, Omar Hussien

Publikováno v: IEEE Control Systems Letters. 1:227-232

Symbolic controller synthesis offers the ability to design controllers enforcing a rich class of specifications such as those expressible in temporal logic. Despite the promise of symbolic controller synthesis and correct-by-design control software,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8fd8be4fbefa8701626bd1b1cabddb7c
https://doi.org/10.1109/lcsys.2017.2713461

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

Autor: Omar Hussien, Paulo Tabuada

Publikováno v: CDC

The synthesis of correct-by-design control software is a promising direction to address the well known difficulties in formally verifying complex cyber-physical systems. Despite the promise of this approach, it is currently limited to small systems s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::631c6f59441d172133e942d89ed75ef8
https://doi.org/10.1109/cdc.2018.8619649

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

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

Publikováno v: CDC

A plethora of driver convenience and safety automation systems are being introduced into production vehicles, such as electronic stability control, adaptive cruise control, lane keeping, and obstacle avoidance. Assuring the seamless and safe integrat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::557034676157956c8507d72524dab533
https://doi.org/10.1109/cdc.2014.7039482

Utilization of the emergency department by kidney transplant recipients: a retrospective cohort study from a high-volume transplant center.

Autor: Sabbah BN; College of Medicine, Alfaisal University., Alghafees M; College of Medicine, King Saud bin Abdulaziz University for Health Sciences., Sabbah AN; College of Medicine, Alfaisal University., Arabi TZ; College of Medicine, Alfaisal University., Abdul Rab S; College of Medicine, Alfaisal University., Alaklabi AM; College of Medicine, Alfaisal University., Abdalla HM; College of Medicine, Alfaisal University., Maklad AE; College of Medicine, Alfaisal University., El Sarrag MI; College of Medicine, Alfaisal University., Hawari ES; College of Medicine, Alfaisal University., Barbour OH; College of Medicine, Alfaisal University., Khedr A; College of Medicine, Alfaisal University., Alrasheed F; College of Medicine, King Saud bin Abdulaziz University for Health Sciences., Alshalhoub M; Emergency Medicine., Altamimi A; Department of Transplantation, King Abdulaziz Medical City, Riyadh., Sayedahmed G; Emergency Medicine., Alshuwaier K; College of Medicine, King Saud bin Abdulaziz University for Health Sciences., Alkharashi Y; College of Medicine, King Saud bin Abdulaziz University for Health Sciences., Albassam A; College of Medicine, King Saud bin Abdulaziz University for Health Sciences., Bin Ofisan S; College of Medicine, Prince Sattam Bin Abdulaziz University. Al-Kharj, Saudi Arabia.

Publikováno v: Annals of medicine and surgery (2012) [Ann Med Surg (Lond)] 2023 Apr 11; Vol. 85 (5), pp. 1496-1501. Date of Electronic Publication: 2023 Apr 11 (Print Publication: 2023).