Welcome!

Hadi Zibaeenejad, Post-doctoral Researcher





I am a post-doctoral researcher / lecturer in University of Waterloo, and my current focus on control systems and development of Advanced Driver Assistance System (ADAS) features. I have been in system and control engineering for more than 15 years: my Bachelor and Master of Science and PhD degrees are all in systems and control engineering. My interdisciplinary research lies in areas of formal methods, abstraction, control theory, and algorithm design. During my studies I developed a framework for analysis/verification of parameterized systems.

As a post-doc, I am currently working on safety-critical features in autonomous vehicles and control of hybrid and nonlinear systems .

Selected publications

  • M.H. Zibaeenejad, Chi zhang, Joanne Atlee Continuous Variable-Specific Resolutions of Feature Interactions, to appear
  •  
  • M.H. Zibaeenejad, Mojtaba Moodi, John G. Thistle ``A Tool for Deadlock Analysis of Parameterized-chain Networks" to appear.
  •  
  • M.H. Zibaeenejad, J. G. Thistle, ``Deadlock Analysis of Parameterized-Chain Networks," in IEEE Transactions on Automatic Control, vol. 62, no. 4, pp. 2064-2070, April 2017.
  •  
  • M.H. Zibaeenejad, J.G.Thistle, ``Weak invariant simulation and its application to analysis of parameterized networks," IEEE Transactions on Automatic Control, pages 2024-2037, Aug 2014.
  •  
  • M.H. Zibaeenejad , J.G.Thistle, ``Dependency graph: an Algorithm for analysis of generalized parameterized networks," American Control Conference (ACC), pages 696-702, July 2015.
  •  
  • M.H. Zibaeenejad, J.G.Thistle, ``Weak invariant simulation: properties and algorithm," IEEE American Control Conference (ACC), 2013 , pp. 911-916, 2013.
  •  
  • M.H. Zibaeenejad, V.J. Majd, ``An output feedback robust model predictive controller design based on quasi-min max algorithm, American Control Conference, IEEE American Control Conference (ACC), 2009
  •  
  • M. H. Asemani, M. H. Zibaeenejad, V. J. Majd, ``A LMI-Based Design of Dynamic Output Feedback Controller for T-S Fuzzy Systems," Proceedings of the 17th IFAC World Congress, pp. 13127-13132, 2008.