Mohammad Hadi Zibaeenejad

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 5

Top Topics

Mathematical Analysis

Fully Observable

Feature Interactions

Dependency Graph

Top Venues

IEEE Trans. Autom. Control.

ESEC/SIGSOFT FSE

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Mohammad Hadi Zibaeenejad, Jun Liu
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications. IEEE Trans. Autom. Control. 65 (10) (2020)
Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee
Continuous variable-specific resolutions of feature interactions. ESEC/SIGSOFT FSE (2017)
Mohammad Hadi Zibaeenejad, John G. Thistle
Deadlock Analysis of Parameterized-Chain Networks. IEEE Trans. Autom. Control. 62 (4) (2017)
Mohammad Hadi Zibaeenejad, John G. Thistle
Study of Parameterized-Chain networks. CoRR (2016)
Mohammad Hadi Zibaeenejad, John G. Thistle
Dependency graph: An algorithm for analysis of generalized parameterized networks. ACC (2015)
Mohammad Hadi Zibaeenejad, John G. Thistle
Deadlock Analysis of Generalized Parameterized Discrete Event Systems. WODES (2014)
Mohammad Hadi Zibaeenejad, John G. Thistle
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks. IEEE Trans. Autom. Control. 59 (8) (2014)
Mohammad Hadi Zibaeenejad, John G. Thistle
Weak invariant simulation: Properties and algorithms. ACC (2013)
Mohammad Hadi Zibaeenejad, John G. Thistle
Invariant weak simulation and analysis of parameterized networks. ACC (2012)
Mohammad Hadi Zibaeenejad, Vahid Johari Majd
An output feedback robust model predictive controller design based on quasi-min max algorithm. ACC (2009)