An output feedback robust model predictive controller design based on quasi-min max algorithm. - Mohammad Hadi Zibaeenejad; Vahid Johari Majd (ACC, 2009)

Invariant weak simulation and analysis of parameterized networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2012)

Weak invariant simulation: Properties and algorithms. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2013)

Deadlock Analysis of Generalized Parameterized Discrete Event Systems. - Mohammad Hadi Zibaeenejad; John G. Thistle (WODES, 2014)

Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (IEEE Trans. Autom. Control., 2014)

Weak invariant simulation and analysis of parameterized networks. - Mohammad Hadi Zibaeenejad (2014)

Dependency graph: An algorithm for analysis of generalized parameterized networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (ACC, 2015)

Study of Parameterized-Chain networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (CoRR, 2016)

Continuous variable-specific resolutions of feature interactions. - Mohammad Hadi Zibaeenejad; Chi Zhang; Joanne M. Atlee (ESEC/SIGSOFT FSE, 2017)

Deadlock Analysis of Parameterized-Chain Networks. - Mohammad Hadi Zibaeenejad; John G. Thistle (IEEE Trans. Autom. Control., 2017)

Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications. - Mohammad Hadi Zibaeenejad; Jun Liu 015 (IEEE Trans. Autom. Control., 2020)