Sahar Mohajerani

Forskare vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Sahar Mohajerani arbetar vid forskargruppen för automation.​

Källa: chalmers.se

Visar 22 publikationer

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 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

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
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 i proceeding
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
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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.