Sahar Mohajerani

Assistant Professor at Automation

Sahar Mohajerani works in the Automation research group.

Source: chalmers.se
Image of Sahar Mohajerani

Showing 24 publications

2019

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

Sahar Mohajerani
IEEE Transactions on Automatic Control. Vol. 65 (8), p. 3349 -3364
Journal article
2019

Transforming Opacity Verification to Nonblocking Verification in Modular Systems

Sahar Mohajerani
IEEE Transactions on Automatic Control. Vol. 65 (4), p. 1739-1746
Journal article
2018

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

Anton Zita, Sahar Mohajerani, Martin Fabian
IEEE International Conference on Automation Science and Engineering. Vol. 2017-August, p. 932-937
Paper in proceedings
2018

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

Sahar Mohajerani
2018 IEEE Conference on Decision and Control, CDC 2018
Paper in proceedings
2018

Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle

Jonas Krook, Roozbeh Kianfar, Anton Zita et al
IFAC-PapersOnLine. Vol. 51 (7), p. 133-138
Paper in proceedings
2017

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

Sahar Mohajerani, Robi Malik, Martin Fabian
Automatica. Vol. 76, p. 277-281
Journal article
2016

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

Sahar Mohajerani, Robi Malik, Martin Fabian
Discrete Event Dynamic Systems: Theory and Applications (1), p. 1-52
Journal article
2014

SYNTHESIS EQUIVALENCE OF TRIPLES

Sahar Mohajerani, Robi Malik, Martin Fabian
Report
2014

Certainly Unsupervisable States

S. Ware, R. Malik, Sahar Mohajerani et al
Communications in Computer and Information Science. Vol. 419, p. 280-296
Paper in proceedings
2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

Sahar Mohajerani, Robi Malik, Martin Fabian
IEEE Transactions on Automatic Control. Vol. 59 (1), p. 150-162
Journal article
2014

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Sahar Mohajerani, Robi Malik, Martin Fabian
Report
2014

An algorithm for compositional nonblocking verification of extended finite-state machines

Sahar Mohajerani, R. Malik, Martin Fabian
Advances in the Astronautical Sciences. Vol. 12, p. 376-382
Paper in proceedings
2013

Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding

Sahar Mohajerani, Robi Malik, Martin Fabian
IEEE International Conference on Automation Science and Engineering (CASE), 2013, p. 930 - 935
Paper in proceedings
2012

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, Martin Fabian
Proc. 11th International Workshop on Discrete Event Systems (WODES'12). Vol. 239--244
Paper in proceedings
2012

Transition Removal for Compositional Supervisor Synthesis

Sahar Mohajerani, Robi Malik, Martin Fabian
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012, p. 694-699
Paper in proceedings
2011

On the Use of Observation Equivalence

Sahar Mohajerani, Robi Malik, Simon Ware et al
3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS
Paper in proceedings
2011

THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

Sahar Mohajerani, Robi Malik, Simon Ware et al
Report
2011

Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction

Sahar Mohajerani, Robi Malik, Simon Ware et al
The 23rd Chinese Control and Decision Conference
Paper in proceedings
2011

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Sahar Mohajerani, Robi Malik, Martin Fabian
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011, p. 19-24
Paper in proceedings
2010

On Initialization of Iterative Algorithms for Nonlinear ARX Models

Sahar Mohajerani, Jonas Sjöberg
8th IFAC Symposium on Nonlinear Control Systems, Bologna; 1 September 2010 through 3 September 2010, p. 362-367
Paper in proceedings

Download publicaton list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

Showing 1 research projects

2016–2018

Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon

Sahar Mohajerani Automation
Swedish Research Council (VR)

There might be more projects where Sahar Mohajerani participates, but you have to be logged in as a Chalmers employee to see them.