Sahar Mohajerani

Forskarassistent vid Automation

Sahar Mohajerani arbetar vid forskargruppen för automation.​

Källa: chalmers.se
Image of Sahar Mohajerani

Visar 27 publikationer

2022

On test case reduction for testing safety properties of manufacturing systems

Adnan Khan, Sahar Mohajerani, Martin Fabian
Journal of Manufacturing Systems. Vol. 63, p. 203-213
Artikel i vetenskaplig tidskrift
2021

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

Sahar Mohajerani, Robi Malik, Andrew Wintenberg et al
Automatica. Vol. 130
Artikel i vetenskaplig tidskrift
2020

Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction

Sahar Mohajerani, Rômulo Meira-Góes, Stéphane Lafortune
IFAC-PapersOnLine. Vol. 53 (4), p. 28-34
Paper i proceeding
2019

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

Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
IEEE Transactions on Automatic Control. Vol. 65 (8), p. 3349 -3364
Artikel i vetenskaplig tidskrift
2019

Transforming Opacity Verification to Nonblocking Verification in Modular Systems

Sahar Mohajerani, Stéphane Lafortune
IEEE Transactions on Automatic Control. Vol. 65 (4), p. 1739-1746
Artikel i vetenskaplig tidskrift
2018

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

Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2018 IEEE Conference on Decision and Control, CDC 2018, p. 4849-4854
Paper i proceeding
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 i proceeding
2017

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 i proceeding
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
Artikel i vetenskaplig tidskrift
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. Vol. 26 (1), p. 1-52
Artikel i vetenskaplig tidskrift
2014

SYNTHESIS EQUIVALENCE OF TRIPLES

Sahar Mohajerani, Robi Malik, Martin Fabian
Rapport
2014

Certainly Unsupervisable States

S. Ware, R. Malik, Sahar Mohajerani et al
Communications in Computer and Information Science. Vol. 419, p. 280-296
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
2014

SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE

Sahar Mohajerani, Robi Malik, Martin Fabian
Rapport
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
2011

THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION

Sahar Mohajerani, Robi Malik, Simon Ware et al
Rapport
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 i proceeding
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 i proceeding
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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2016–2018

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

Sahar Mohajerani Automation
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Sahar Mohajerani medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.