Sahar Mohajerani

Doktor at Chalmers, Electrical Engineering, Systems and control, Automation

Sahar Mohajerani works in the Automation research group.

Source: chalmers.se

Showing 22 publications

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

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
2017

Application of Formal Verification to the Lane Change Module of an Autonomous Vehicle

Anton Zita, Sahar Mohajerani, Martin Fabian
13th IEEE Conference on Automation Science and Engineering August 20-23,Xi'an, China, 2017
Paper in proceedings
2015

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

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

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.