Dr Robi Malik
Senior Lecturer (Computer Science)
Qualifications: MSc PhD Kaiserslautern
I joined the Department of Computer Science of the University of Waikato in February 2003, where I stayed as a Visiting Lecturer for the year 2003. I studied Computer Science at the University of Kaiserslautern in Germany, where I obtained my Ph.D. degree in 1998.
Before coming to New Zealand, I spent a couple of years working for Siemens Corporate Research in Munich, Germany, where I was involved in the research and software development for a modelling and verification tool for discrete event systems.
Control software, discrete event systems, model checking.
Krook, J., Malik, R., Mohajerani, S., & Fabian, M. (2022). Robust stutter bisimulation for abstraction and controller synthesis with disturbance: proofs. arxiv. Retrieved from http://arxiv.org/abs/2205.13959v1
Malik, R., & Teixeira, M. (2021). Optimal modular control of discrete event systems with distinguishers and approximations. Discrete Event Dynamic Systems. doi:10.1007/s10626-021-00345-1
Burroughs, S., Dickel, H., van Zijl, M., Podolskiy, V., Gerndt, M., Malik, R., & Patros, P. (2021). Towards autoscaling with guarantees on Kubernetes clusters. In Proc IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C 2021) (pp. 296). Washington, DC, USA: IEEE. doi:10.1109/ACSOS-C52956.2021.00073
Mohajerani, S., Malik, R., Wintenberg, A., Lafortune, S., & Ozay, N. (2021). Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Automatica, 130, 109723. doi:10.1016/j.automatica.2021.109723 Open Access version: https://hdl.handle.net/10289/14366
Find more research publications by Robi Malik