Robi Malik
Robi Malik
Department of Software Engineering, The University of Waikato
Verified email at waikato.ac.nz
Title
Cited by
Cited by
Year
Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems
K Akesson, M Fabian, H Flordal, R Malik
2006 8th International Workshop on Discrete Event Systems, 384-385, 2006
2482006
Compositional synthesis of maximally permissive supervisors using supervision equivalence
H Flordal, R Malik, M Fabian, K Åkesson
Discrete Event Dynamic Systems 17 (4), 475-504, 2007
882007
Implementation considerations in supervisory control
P Dietrich, R Malik, WM Wonham, BA Brandin
Synthesis and control of discrete event systems, 185-201, 2002
792002
Compositional verification in supervisory control
H Flordal, R Malik
SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009
732009
Incremental verification and synthesis of discrete-event systems guided by counter-examples
BA Brandin, R Malik, P Malik
IEEE Transactions on Control Systems Technology 12 (3), 387-401, 2004
702004
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
L Ouedraogo, R Kumar, R Malik, K Akesson
Automation Science and Engineering, IEEE Transactions on 8 (3), 560-569, 2011
662011
Modular nonblocking verification using conflict equivalence
H Flordal, R Malik
2006 8th International Workshop on Discrete Event Systems, 100-106, 2006
552006
A modular architecture for diagnosis of discrete event systems
R Debouk, R Malik, B Brandin
Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1 …, 2002
552002
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
S Mohajerani, R Malik, M Fabian
IEEE Transactions on Automatic Control 59 (1), 150-162, 2014
492014
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (4), 797-813, 2006
482006
Yet another approach to compositional synthesis of discrete event systems
R Malik, H Flordal
2008 9th International Workshop on Discrete Event Systems, 16-21, 2008
412008
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
R Malik, K Åkesson, H Flordal, M Fabian
IFAC World Congress 2017, 2017
382017
A case study in verification of UML statecharts: the PROFIsafe protocol
R Malik, R Mühlfeld
J. UCS 9 (2), 138-151, 2003
352003
Interaction design for a mobile context-aware system using discrete event modelling
A Hinze, P Malik, R Malik
Proceedings of the 29th Australasian Computer Science Conference-Volume 48 …, 2006
332006
Incremental system verification and synthesis of minimally restrictive behaviours
B Brandin, R Malik, P Dietrich
American Control Conference, 2000. Proceedings of the 2000 6, 4056-4061 vol. 6, 2000
322000
Supervisory Control of DES with Extended Finite-State Machines and Variable Abstraction
M Teixeira, R Malik, JER Cury, MH de Queiroz
IEEE Transactions on Automatic Control 60 (1), 118-129, 2015
292015
A framework for compositional nonblocking verification of extended finite-state machines
S Mohajerani, R Malik, M Fabian
Discrete Event Dynamic Systems 26 (1), 33-84, 2016
272016
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
International Symposium on Automated Technology for Verification and …, 2004
242004
Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata
R Malik, M Fabian, K Akesson
IFAC World Congress 2011 18 (1), 7000-7005, 2011
232011
Compositional synthesis of supervisors in the form of state machines and state maps
S Mohajerani, R Malik, M Fabian
Automatica 76, 277-281, 2017
212017
The system can't perform the operation now. Try again later.
Articles 1–20