A recursive algorithm for diagnosis in hierarchical finite-state machines. - Rasul Mohammadi; Shahin Hashtrudi-Zad (SMC, 2007)

A hybrid architecture for diagnosis in hybrid systems with applications to spacecraft propulsion system. - Rasul Mohammadi; Shahin Hashtrudi-Zad; Khashayar Khorasani (SMC, 2007)

Adaptive Control of Partially Known Continuous-Time Systems. - Rasul Mohammadi (SMC, 2009)

Diagnosis of Hybrid Systems: Part 1-Diagnosability. - Rasul Mohammadi; Shahin Hashtrudi-Zad; Khashayar Khorasani (SMC, 2009)

Diagnosis of Hybrid Systems: Part 2-Residual Generator Selection and Diagnosis in the Presence of Unreliable Residual Generators. - Rasul Mohammadi; Shahin Hashtrudi-Zad; Khashayar Khorasani (SMC, 2009)