Sahar Mohajerani

According to our database, Sahar Mohajerani authored at least 18 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Robust stutter bisimulation for abstraction and controller synthesis with disturbance.

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

Autom., February, 2024

2023

A survey on compositional algorithms for verification and synthesis in supervisory control.

Robi Malik, Sahar Mohajerani, Martin Fabian

Discret. Event Dyn. Syst., September, 2023

2022

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

CoRR, 2022

2021

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.

Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay

Autom., 2021

2020

Transforming Opacity Verification to Nonblocking Verification in Modular Systems.

Sahar Mohajerani, Stéphane Lafortune

IEEE Trans. Autom. Control., 2020

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.

Sahar Mohajerani, Yiding Ji, Stéphane Lafortune

IEEE Trans. Autom. Control., 2020

2018

Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.

Sahar Mohajerani, Yiding Ji, Stéphane Lafortune

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Compositional synthesis of supervisors in the form of state machines and state maps.

Sahar Mohajerani, Robi Malik, Martin Fabian

Autom., 2017

Application of formal verification to the lane change module of an autonomous vehicle.

Anton Zita, Sahar Mohajerani, Martin Fabian

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

A framework for compositional nonblocking verification of extended finite-state machines.

Sahar Mohajerani, Robi Malik, Martin Fabian

Discret. Event Dyn. Syst., 2016

2015

On Compositional Approaches for Discrete Event Systems Verification and Synthesis.

Sahar Mohajerani

PhD thesis, 2015

2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.

Sahar Mohajerani, Robi Malik, Martin Fabian

IEEE Trans. Autom. Control., 2014

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Certainly Unsupervisable States.

Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Compositional nonblocking verification for extended finite-state automata using partial unfolding.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Transition removal for compositional supervisor synthesis.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Nondeterminism avoidance in compositional synthesis of discrete event systems.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011