Sahar Mohajerani

20 papers Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Robust stutter bisimulation for abstraction and controller synthesis with disturbance.
Autom.
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
2023 J jnl
A survey on compositional algorithms for verification and synthesis in supervisory control.
Discret. Event Dyn. Syst.
Robi Malik, Sahar Mohajerani, Martin Fabian
2022 J jnl
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.
CoRR
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
2021 J jnl
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.
Autom.
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2020 J jnl
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2020 J jnl
Transforming Opacity Verification to Nonblocking Verification in Modular Systems.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Stéphane Lafortune
2019 J jnl
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.
CoRR
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2019 J jnl
Transforming opacity verification to nonblocking verification in modular systems.
CoRR
Sahar Mohajerani, Stéphane Lafortune
2018 — conf
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.
CDC
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2017 — conf
Application of formal verification to the lane change module of an autonomous vehicle.
CASE
Anton Zita, Sahar Mohajerani, Martin Fabian
2017 J jnl
Compositional synthesis of supervisors in the form of state machines and state maps.
Autom.
Sahar Mohajerani, Robi Malik, Martin Fabian
2016 J jnl
A framework for compositional nonblocking verification of extended finite-state machines.
Discret. Event Dyn. Syst.
Sahar Mohajerani, Robi Malik, Martin Fabian
2015 — —
On Compositional Approaches for Discrete Event Systems Verification and Synthesis.
Sahar Mohajerani
2014 J jnl
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Robi Malik, Martin Fabian
2014 — conf
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.
WODES
Sahar Mohajerani, Robi Malik, Martin Fabian
2013 — conf
Certainly Unsupervisable States.
FTSCS
Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
2013 — conf
Compositional nonblocking verification for extended finite-state automata using partial unfolding.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian
2012 — conf
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.
WODES
Sahar Mohajerani, Robi Malik, Martin Fabian
2012 — conf
Transition removal for compositional supervisor synthesis.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian
2011 — conf
Nondeterminism avoidance in compositional synthesis of discrete event systems.
CASE
Sahar Mohajerani, Robi Malik, Martin Fabian