Robi Malik

Papers

Total Citations

H-Index

About

Robi Malik is a leading figure in discrete event systems (DES) and supervisory control theory, with a career dedicated to bridging the gap between theoretical automation and industrial-scale application. His most significant contribution is the co-creation of **Supremica**, a powerful software tool for modelling and synthesising control logic for complex, event-driven systems. As detailed in his highly cited 2017 paper (76 citations), Supremica revolutionised the field by enabling engineers to model uncontrolled plants and desired specifications using finite-state machines extended with variables and guards. This framework allows for the efficient, automated synthesis of safe and non-blocking supervisory controllers, tackling problems previously considered intractable. Malik’s work has directly impacted the design of automated manufacturing, logistics, and automotive systems, providing a practical pathway from abstract DES theory to verified, real-world control code. His research continues to push the boundaries of scalability and usability in formal methods, making him an essential reference for any student or researcher working on the verification and control of cyber-physical systems.