Robi Malik

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Robi Malik