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
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
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robi Malik