R. Malik

8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

R. Malik and others (2017) · Elsevier BV

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

S. Mohajerani and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)

Synthesis equivalence of triples

S. Mohajerani and others (2014) · Technical Report R004/2013

Compositional synthesis of discrete event systems using synthesis abstraction

S. Mohajerani and others (2011) · IEEE

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

L. Ouedraogo and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)

Compositional Verification in Supervisory Control

H. Flordal and others (2009) · Society for Industrial & Applied Mathematics (SIAM)

Yet another approach to compositional synthesis of discrete event systems

R. Malik and others (2008) · IEEE

Modular Nonblocking Verification Using Conflict Equivalence

Hugo Flordal and others (2006) · International Workshop on Discrete Event Systems