Sahar Mohajerani
Assistant Professor at
Automation
Sahar Mohajerani works in the Automation research group.
Source: chalmers.se
Showing 21 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
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
2015
On Compositional Approaches for Discrete Event Systems Verification and Synthesis
Sahar Mohajerani
Doctoral thesis
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
2014
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
Sahar Mohajerani, Robi Malik, Martin Fabian
Report
2013
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
Sahar Mohajerani, Robi Malik, Martin Fabian
Report
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
On Compositional Supervisor Synthesis for Discrete Event Systems
Sahar Mohajerani
Licentiate thesis
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
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.