Robi Malik

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Robust stutter bisimulation for abstraction and controller synthesis with disturbance	2024-02-13	Paper
A survey on compositional algorithms for verification and synthesis in supervisory control	2023-10-04	Paper
Optimal modular control of discrete event systems with distinguishers and approximations	2022-01-10	Paper
Automatic proofs of memory deallocation for a Whiley-to-C compiler	2021-12-08	Paper
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications	2021-11-19	Paper
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction	2020-09-01	Paper
On the computation of counterexamples in compositional nonblocking verification	2020-09-01	Paper
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions	2017-09-08	Paper
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors	2017-05-16	Paper
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction	2017-05-16	Paper
Verification of the Observer Property in Discrete Event Systems	2017-05-16	Paper
Compositional synthesis of supervisors in the form of state machines and state maps	2017-01-11	Paper
A framework for compositional nonblocking verification of extended finite-state machines	2016-03-29	Paper
Progressive events in supervisory control and compositional verification	2015-06-29	Paper
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder	2015-06-12	Paper
COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA	2014-07-04	Paper
Conflict-preserving abstraction of discrete event systems using annotated automata	2013-07-09	Paper
Compositional Verification in Supervisory Control	2010-06-10	Paper
Compositional synthesis of maximally permissive supervisors using supervision equivalence	2008-01-04	Paper
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study	2007-11-29	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
CONFLICTS AND FAIR TESTING	2006-08-21	Paper

Research outcomes over time

This page was built for person: Robi Malik