Skip Ribbon Commands

Skip to main content

Start

Sahar Mohajerani

Staff

Sahar Mohajerani

Assistant Professor, Electrical Engineering

mohajera@chalmers.se +46317721470 Find me http://orcid.org/0000-0002-9933-8946

Sahar Mohajerani works in the Automation research group.

Publications
Collaboration and projects

Latest publications

2019
Transforming Opacity Verification to Nonblocking Verification in Modular Systems

Author: Sahar Mohajerani; Stéphane Lafortune

Published: 2019

Published in: IEEE Transactions on Automatic Control

Publication type: Journal article
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement

Author: Sahar Mohajerani; Yiding Ji; Stéphane Lafortune

Published: 2019

Published in: IEEE Transactions on Automatic Control

Publication type: Journal article
2018
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions

Author: Sahar Mohajerani

Published: 2018

Published in: 2018 IEEE Conference on Decision and Control, CDC 2018

Publication type: Paper in proceedings
Application of formal verification to the lane change module of an autonomous vehicle

Author: Anton Zita; Sahar Mohajerani; Martin Fabian

Published: 2018

Published in: IEEE International Conference on Automation Science and Engineering

Publication type: Paper in proceedings
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle

Author: Jonas Krook; Roozbeh Kianfar; Anton Zita; Sahar Mohajerani; Martin Fabian

Published: 2018

Published in: IFAC-PapersOnLine

Publication type: Paper in proceedings
2017
Compositional synthesis of supervisors in the form of state machines and state maps

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2017

Published in: Automatica

Publication type: Journal article
2016
A framework for compositional nonblocking verification of extended finite-state machines

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2016

Published in: Discrete Event Dynamic Systems: Theory and Applications

Publication type: Journal article
2015
On Compositional Approaches for Discrete Event Systems Verification and Synthesis

Author: Sahar Mohajerani

Published: 2015

Published in:

Publication type: Doctoral thesis
2014
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2014

Published in: IEEE Transactions on Automatic Control

Publication type: Journal article
An algorithm for compositional nonblocking verification of extended finite-state machines

Author: Sahar Mohajerani; R. Malik; Martin Fabian

Published: 2014

Published in: Advances in the Astronautical Sciences

Publication type: Paper in proceedings
SYNTHESIS EQUIVALENCE OF TRIPLES

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2014

Published in:

Publication type: Report
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2014

Published in:

Publication type: Report
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2014

Published in:

Publication type: Report
Certainly Unsupervisable States

Author: S. Ware; R. Malik; Sahar Mohajerani; Martin Fabian

Published: 2014

Published in: Communications in Computer and Information Science

Publication type: Paper in proceedings
2013
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2013

Published in:

Publication type: Report
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2013

Published in: IEEE International Conference on Automation Science and Engineering (CASE), 2013

Publication type: Paper in proceedings
2012
On Compositional Supervisor Synthesis for Discrete Event Systems

Author: Sahar Mohajerani

Published: 2012

Published in:

Publication type: Licentiate thesis
Transition Removal for Compositional Supervisor Synthesis

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2012

Published in: 2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012

Publication type: Paper in proceedings
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2012

Published in: Proc. 11th International Workshop on Discrete Event Systems (WODES'12)

Publication type: Paper in proceedings
2011
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

Author: Sahar Mohajerani; Robi Malik; Martin Fabian

Published: 2011

Published in: 2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011

Publication type: Paper in proceedings
On the Use of Observation Equivalence

Author: Sahar Mohajerani; Robi Malik; Simon Ware; Martin Fabian

Published: 2011

Published in: 3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS

Publication type: Paper in proceedings
THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

Author: Sahar Mohajerani; Robi Malik; Simon Ware; Martin Fabian

Published: 2011

Published in:

Publication type: Report
Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction

Author: Sahar Mohajerani; Robi Malik; Simon Ware; Martin Fabian

Published: 2011

Published in: The 23rd Chinese Control and Decision Conference

Publication type: Paper in proceedings
2010
On Initialization of Iterative Algorithms for Nonlinear ARX Models

Author: Sahar Mohajerani; Jonas Sjöberg

Published: 2010

Published in: 8th IFAC Symposium on Nonlinear Control Systems, Bologna; 1 September 2010 through 3 September 2010

Publication type: Paper in proceedings

Go to Chalmers publication library

Page manager Published: Mon 17 Aug 2020.