Παρακολούθηση
Mohammad Hejase
Mohammad Hejase
Software Systems & Safety @ Aurora
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aurora.tech - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained
A Mavridou, H Bourbouh, D Giannakopoulou, T Pressburger, M Hejase, ...
2020 IEEE 28th International Requirements Engineering Conference (RE), 300-310, 2020
332020
Quantitative and risk-based framework for unmanned aircraft control system assurance
M Hejase, A Kurt, T Aldemir, Ü Özgüner, SB Guarro, MK Yau, ...
Journal of Aerospace Information Systems 15 (2), 57-71, 2018
222018
Constrained backward path tracking control using a plug-in jackknife prevention system for autonomous tractor-trailers
M Hejase, J Jing, JM Maroli, YB Salamah, L Fiorentini, Ü Özgüner
2018 21st International Conference on Intelligent Transportation Systems …, 2018
212018
Formal framework and models for validation and verification of software-intensive aerospace systems
S Guarro, MK Yau, U Ozguner, T Aldemir, A Kurt, M Hejase, M Knudson
AIAA Information Systems-AIAA Infotech@ Aerospace, 0418, 2017
182017
Sensor fault diagnostic and Fault-Tolerant Control for the altitude control of a quadrotor UAV
A Drak, H Noura, M Hejase, YAL Younes
2015 IEEE 8th GCC conference & exhibition, 1-5, 2015
172015
Evaluation of the FRET and CoCoSim tools on the ten Lockheed Martin cyber-physical challenge problems
A Mavridou, H Bourbouh, PL Garoche, M Hejase
NASA, Tech. Rep., oct, 2019
152019
Control method designs and comparisons for tractor-trailer vehicle backward path tracking
J Jing, JM Maroli, YB Salamah, M Hejase, L Fiorentini, Ü Özgüner
2019 American Control Conference (ACC), 5531-5537, 2019
132019
Autonomous formation flight algorithm and platform for quadrotor uavs
A Drak, M Hejase, MW ElShorbagy, A Wahyudie, H Noura
International Journal of Robotics and Mechatronics 1 (4), 124-132, 2014
112014
Design and testing of autonomous distributed space systems
N Cramer, D Cellucci, C Adams, A Sweet, M Hejase, J Frank, R Levinson, ...
35th Annual Small Satellite Conference, 2021
92021
Identification of risk significant automotive scenarios under hardware failures
M Hejase, A Kurt, T Aldemir, U Ozguner
arXiv preprint arXiv:1804.04348, 2018
92018
Formation Flight of Small Scale Unmanned Aerial Vehicles: A Review
M Hejase, H Noura, A Drak
Control Theory: Perspectives, Applications and Developments 1, 221-248, 2015
92015
A methodology for model-based validation of autonomous vehicle systems
M Hejase, U Ozguner, M Barbier, J Ibanez-Guzman
2020 IEEE Intelligent Vehicles Symposium (IV), 2097-2103, 2020
82020
Systems and methods for preventing a jackknife condition in a tractor-trailer system
M Hejase, J Jing, J Maroli, YB Salamah, L Fiorentini, U Ozguner
US Patent App. 16/460,646, 2020
62020
Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification
S Guarro, MK Yau, U Ozguner, T Aldemir, A Kurt, M Hejase, M Knudson
AIAA Information Systems-AIAA Infotech@ Aerospace, 0910, 2017
62017
A validation methodology for the minimization of unknown unknowns in autonomous vehicle systems
M Hejase, M Barbier, U Ozguner, J Ibanez-Guzman, T Acarman
2020 IEEE Intelligent Vehicles Symposium (IV), 114-119, 2020
52020
The backtracking process algorithm: A dynamic probabilistic risk assessment method for autonomous vehicle control systems
M Hejase, A Kurt, T Aldemir, U Ozguner
Proceedings of the 14th International Conference on Probabilistic Safety …, 2018
52018
Formal validation and verification framework for model-based and adaptive control systems
S Guarro, U Ozguner, T Aldemir, M Knudson, A Kurt, M Yau, M Hejase, ...
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
52016
Dynamic Probabilistic Risk Assessment of Unmanned Aircraft Adaptive Flight Control Systems
M Hejase, A Kurt, T Aldemir, U Ozguner, S Guarro, MK Yau, M Knudson
2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1982, 2018
42018
A Hierarchical Hybrid State System Based Controller Design Approach for an Autonomous UAS Mission
M Hejase, AE Oguz, A Kurt, U Ozguner, K Redmill
16th AIAA Aviation Technology, Integration, and Operations Conference, 3294, 2016
42016
BioSentinel: Mission Summary and Lessons Learned From the First Deep Space Biology CubeSat Mission
M Napoli, JD Homan, CJC Kong
37th Annual Small Satellite Conference, 2023
32023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20