Concepedia

Robi Malik

RM

Statistics

Publications

31

Citations

1.1K

H-Index

17

Active since

2002

Affiliations

University of Waikato(Current)

Chalmers University of Technology

Universidade Federal de Santa Catarina

McMaster University

Universidade Federal de Minas Gerais

Robi Malik is an author at University of Waikato specializing in finite-state machines, computer science, and finite state machine modeling.

ORCID

Publications per year

2002–2024

31

Publications

31

Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

Knut Åkesson, Martin Fabian, Hugo Flordal et al. · 2006 · 211 citations · Full text

, , +17

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al. · Discrete Event Dynamic Systems · 2007 · 81 citations · Full text

, , +5

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

Lucien Ouédraogo, Ratnesh Kumar, Robi Malik et al. · IEEE Transactions on Automation Science and Engineering · 2011 · 78 citations · Full text

, , +17

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal et al. · IFAC-PapersOnLine · 2017 · 76 citations · Full text

, , +17

Compositional Verification in Supervisory Control

Hugo Flordal, Robi Malik · SIAM Journal on Control and Optimization · 2009 · 72 citations

, , +17

1–5 of 31