Welcome!

Hadi Zibaeenejad, Post-doctoral Researcher





I am postdoctoral fellow in University of Waterloo (UW). I have graduated with a PhD degree in electrical and computer engineering, UW. My PhD and postdoctoral research is highly interdisciplinary and lies in the areas of control systems, formal methods, and algorithm design. I have been a post-doctoral fellow in the department of computer science, UW for about a year. In this period I designed a framework for modular development of active safety features for autonomous vehicles. I am currently a member of hybrid systems lab in UW. My current research involves control of complex dynamical autonomous robots/drone.I integrate control theory with formal methods in computer science to synthesize correct_by_design controllers for cyber-physical 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.