Research Publications for Khalid R (Robi) Malik

Welcome to the University of Waikato research publications search page. This database includes all research publications produced by the University from 1998.

See Also: Research Links | Student Research Theses | Research Commons

Author's Publications

Publications ByMALIK, Khalid R (Robi)

  Use our Online Phonebook to contact our current staff members.

  • Mohajerani, S., Malik, R., & Fabian, M. (2016). Compositional supervisor synthesis with state merging and transition removal: Working Paper Series (02/2016). Department of Computer Science, The University of Waikato.

  • Malik, R., & Teixeira, M. (2016). Modular supervisor synthesis for extended finite-state machines subject to controllability. In Proc 13th International Workshop on Discrete Event Systems (pp. 91-96). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497831

  • Malik, R., & Teixeira, M. (2016). An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines: Working Paper Series (01/2016). Department of Computer Science, The University of Waikato.

  • Mohajerani, S., Malik, R., & Fabian, M. (2016). Compositional synthesis of supervisors in the form of state machines and state maps. Automatica, 76, 277-281. doi:10.1016/j.automatica.2016.10.012

  • Malik, R. (2016). Programming a fast explicit conflict checker. In Proc 13th International Workshop on Discrete Event Systems (pp. 438-443). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497885

  • Pilbrow, C., & Malik, R. (2015). An algorithm for compositional nonblocking verification using special events. Science of Computer Programming, 113, Part 2, 119-148. doi:10.1016/j.scico.2015.05.010

  • Malik, R. (2015). Advanced selfloop removal in compositional nonblocking verification of discrete event systems. In Proc IEEE International Conference on Automation Science and Engineering (pp. 819-824). Gothenburg, Sweden: IEEE. doi:10.1109/CoASE.2015.7294182

  • Mohajerani, S., Malik, R., & Fabian, M. (2015). A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dynamic Systems: Theory and Applications, 26(1), 33-84. doi:10.1007/s10626-015-0217-y

  • Malik, R., & Leduc, R. (2015). Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Discrete Event Dynamic Systems, 25(1-2), 177-201. doi:10.1007/s10626-014-0185-7

  • Ware, S., & Malik, R. (2014). Supervisory control with progressive events. In Proc 2014 11th IEEE International Conference on Control & Automation (pp. 1466-1471). Taichung, Taiwan: IEEE. doi:10.1109/ICCA.2014.6871138

This page has been reformatted for printing.