Malik, Robi; Mohajerani, Sahar; Fabian, Martin A survey on compositional algorithms for verification and synthesis in supervisory control. (English) Zbl 1522.93014 Discrete Event Dyn. Syst. 33, No. 3, 279-340 (2023). MSC: 93A13 93B30 93C65 93-02 PDFBibTeX XMLCite \textit{R. Malik} et al., Discrete Event Dyn. Syst. 33, No. 3, 279--340 (2023; Zbl 1522.93014) Full Text: DOI OA License
Malik, Robi; Teixeira, Marcelo Optimal modular control of discrete event systems with distinguishers and approximations. (English) Zbl 1480.93267 Discrete Event Dyn. Syst. 31, No. 4, 659-691 (2021). MSC: 93C65 PDFBibTeX XMLCite \textit{R. Malik} and \textit{M. Teixeira}, Discrete Event Dyn. Syst. 31, No. 4, 659--691 (2021; Zbl 1480.93267) Full Text: DOI
Malik, Robi; Ware, Simon On the computation of counterexamples in compositional nonblocking verification. (English) Zbl 1448.93205 Discrete Event Dyn. Syst. 30, No. 2, 301-334 (2020). MSC: 93C65 93-08 PDFBibTeX XMLCite \textit{R. Malik} and \textit{S. Ware}, Discrete Event Dyn. Syst. 30, No. 2, 301--334 (2020; Zbl 1448.93205) Full Text: DOI Link
Malik, Robi; Teixeira, Marcelo Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. (English) Zbl 1448.93204 Discrete Event Dyn. Syst. 30, No. 2, 211-241 (2020). MSC: 93C65 93-10 PDFBibTeX XMLCite \textit{R. Malik} and \textit{M. Teixeira}, Discrete Event Dyn. Syst. 30, No. 2, 211--241 (2020; Zbl 1448.93204) Full Text: DOI Link
Mohajerani, Sahar; Malik, Robi; Fabian, Martin Compositional synthesis of supervisors in the form of state machines and state maps. (English) Zbl 1352.93074 Automatica 76, 277-281 (2017). MSC: 93C65 93B50 93A13 93C95 93B40 68Q80 PDFBibTeX XMLCite \textit{S. Mohajerani} et al., Automatica 76, 277--281 (2017; Zbl 1352.93074) Full Text: DOI Link
Mohajerani, Sahar; Malik, Robi; Fabian, Martin A framework for compositional nonblocking verification of extended finite-state machines. (English) Zbl 1333.93169 Discrete Event Dyn. Syst. 26, No. 1, 33-84 (2016). MSC: 93C65 93A13 05C90 PDFBibTeX XMLCite \textit{S. Mohajerani} et al., Discrete Event Dyn. Syst. 26, No. 1, 33--84 (2016; Zbl 1333.93169) Full Text: DOI Link
Malik, Robi; Leduc, Ryan Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. (English) Zbl 1328.93012 Discrete Event Dyn. Syst. 25, No. 1-2, 177-201 (2015). MSC: 93A13 93A30 93C65 PDFBibTeX XMLCite \textit{R. Malik} and \textit{R. Leduc}, Discrete Event Dyn. Syst. 25, No. 1--2, 177--201 (2015; Zbl 1328.93012) Full Text: DOI Link
Ware, Simon; Malik, Robi Conflict-preserving abstraction of discrete event systems using annotated automata. (English) Zbl 1267.93111 Discrete Event Dyn. Syst. 22, No. 4, 451-477 (2012). MSC: 93C65 94C15 PDFBibTeX XMLCite \textit{S. Ware} and \textit{R. Malik}, Discrete Event Dyn. Syst. 22, No. 4, 451--477 (2012; Zbl 1267.93111) Full Text: DOI Link
Flordal, Hugo; Malik, Robi; Fabian, Martin; Åkesson, Knut Compositional synthesis of maximally permissive supervisors using supervision equivalence. (English) Zbl 1125.93018 Discrete Event Dyn. Syst. 17, No. 4, 475-504 (2007). MSC: 93B50 93C55 93B05 PDFBibTeX XMLCite \textit{H. Flordal} et al., Discrete Event Dyn. Syst. 17, No. 4, 475--504 (2007; Zbl 1125.93018) Full Text: DOI Link
Malik, Robi; Streader, David; Reeves, Steve Conflicts and fair testing. (English) Zbl 1096.68109 Int. J. Found. Comput. Sci. 17, No. 4, 797-813 (2006). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Malik} et al., Int. J. Found. Comput. Sci. 17, No. 4, 797--813 (2006; Zbl 1096.68109) Full Text: DOI