Robi Malik
Robi Malik
Department of Software Engineering, The University of Waikato
Geverifieerd e-mailadres voor waikato.ac.nz
Geciteerd door
Geciteerd door
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
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
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
Implementation considerations in supervisory control
P Dietrich, R Malik, WM Wonham, BA Brandin
Synthesis and control of discrete event systems, 185-201, 2002
Compositional verification in supervisory control
H Flordal, R Malik
SIAM Journal on Control and Optimization 48 (3), 1914-1938, 2009
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
R Malik, K Åkesson, H Flordal, M Fabian
IFAC World Congress 2017, 2017
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
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
Modular nonblocking verification using conflict equivalence
H Flordal, R Malik
2006 8th International workshop on discrete event systems, 100-106, 2006
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
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (4), 797-813, 2006
A framework for compositional nonblocking verification of extended finite-state machines
S Mohajerani, R Malik, M Fabian
Discrete Event Dynamic Systems 26, 33-84, 2016
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
Compositional synthesis of supervisors in the form of state machines and state maps
S Mohajerani, R Malik, M Fabian
Automatica 76, 277-281, 2017
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.
R Malik, R Mühlfeld
J. Univers. Comput. Sci. 9 (2), 138-151, 2003
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
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
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
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
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
Automated Technology for Verification and Analysis: Second International …, 2004
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20