Sahar Mohajerani

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
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications Automatica	2021-11-19	Paper
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement IEEE Transactions on Automatic Control	2020-10-07	Paper
Transforming Opacity Verification to Nonblocking Verification in Modular Systems IEEE Transactions on Automatic Control	2020-10-07	Paper
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors 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

Research outcomes over time

This page was built for person: Sahar Mohajerani