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

2022
On test case reduction for testing safety properties of manufacturing systems

Author: Adnan Khan; Sahar Mohajerani; Martin Fabian

Published: 2022

Published in: Journal of Manufacturing Systems

Publication type: Journal article
2021
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

Author: Sahar Mohajerani; Robi Malik; Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay

Published: 2021

Published in: Automatica

Publication type: Journal article
2020
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction

Author: Sahar Mohajerani; Rômulo Meira-Góes; Stéphane Lafortune

Published: 2020

Published in: IFAC-PapersOnLine

Publication type: Paper in proceeding
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; Yiding Ji; Stéphane Lafortune

Published: 2018

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

Publication type: Paper in proceeding
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 proceeding
2017
Application of formal verification to the lane change module of an autonomous vehicle

Author: Anton Zita; Sahar Mohajerani; Martin Fabian

Published: 2017

Published in: IEEE International Conference on Automation Science and Engineering

Publication type: Paper in proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
2011
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 proceeding
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 proceeding

Go to Chalmers publication library

Page manager Published: Mon 17 Aug 2020.