Mohammad Hadi Zibaeenejad

According to our database, Mohammad Hadi Zibaeenejad authored at least 11 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.

Mohammad Hadi Zibaeenejad, Jun Liu

IEEE Trans. Autom. Control., 2020

2017

Deadlock Analysis of Parameterized-Chain Networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

IEEE Trans. Autom. Control., 2017

Continuous variable-specific resolutions of feature interactions.

Mohammad Hadi Zibaeenejad, Chi Zhang, Joanne M. Atlee

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Study of Parameterized-Chain networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

CoRR, 2016

2015

Dependency graph: An algorithm for analysis of generalized parameterized networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2015

2014

Weak invariant simulation and analysis of parameterized networks.

Mohammad Hadi Zibaeenejad

PhD thesis, 2014

Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

IEEE Trans. Autom. Control., 2014

Deadlock Analysis of Generalized Parameterized Discrete Event Systems.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Weak invariant simulation: Properties and algorithms.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2013

2012

Invariant weak simulation and analysis of parameterized networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2012

2009

An output feedback robust model predictive controller design based on quasi-min max algorithm.

Mohammad Hadi Zibaeenejad, Vahid Johari Majd

Proceedings of the American Control Conference, 2009