BibTeX records: Sahar Mohajerani

download as .bib file

@article{DBLP:journals/automatica/KrookMMF24,
  author       = {Jonas Krook and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Robust stutter bisimulation for abstraction and controller synthesis
                  with disturbance},
  journal      = {Autom.},
  volume       = {160},
  pages        = {111394},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.automatica.2023.111394},
  doi          = {10.1016/J.AUTOMATICA.2023.111394},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/automatica/KrookMMF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/deds/MalikMF23,
  author       = {Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {A survey on compositional algorithms for verification and synthesis
                  in supervisory control},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {33},
  number       = {3},
  pages        = {279--340},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10626-023-00378-8},
  doi          = {10.1007/S10626-023-00378-8},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/deds/MalikMF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2205-13959,
  author       = {Jonas Krook and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Robust Stutter Bisimulation for Abstraction and Controller Synthesis
                  with Disturbance: Proofs},
  journal      = {CoRR},
  volume       = {abs/2205.13959},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.13959},
  doi          = {10.48550/ARXIV.2205.13959},
  eprinttype   = {arXiv},
  eprint       = {2205.13959},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-13959.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/automatica/MohajeraniMWLO21,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Andrew Wintenberg and
                  St{\'{e}}phane Lafortune and
                  Necmiye Ozay},
  title        = {Divergent stutter bisimulation abstraction for controller synthesis
                  with linear temporal logic specifications},
  journal      = {Autom.},
  volume       = {130},
  pages        = {109723},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.automatica.2021.109723},
  doi          = {10.1016/J.AUTOMATICA.2021.109723},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/automatica/MohajeraniMWLO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/MohajeraniL20,
  author       = {Sahar Mohajerani and
                  St{\'{e}}phane Lafortune},
  title        = {Transforming Opacity Verification to Nonblocking Verification in Modular
                  Systems},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {65},
  number       = {4},
  pages        = {1739--1746},
  year         = {2020},
  url          = {https://doi.org/10.1109/TAC.2019.2934708},
  doi          = {10.1109/TAC.2019.2934708},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/MohajeraniL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/MohajeraniJL20,
  author       = {Sahar Mohajerani and
                  Yiding Ji and
                  St{\'{e}}phane Lafortune},
  title        = {Compositional and Abstraction-Based Approach for Synthesis of Edit
                  Functions for Opacity Enforcement},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {65},
  number       = {8},
  pages        = {3349--3364},
  year         = {2020},
  url          = {https://doi.org/10.1109/TAC.2019.2946165},
  doi          = {10.1109/TAC.2019.2946165},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/MohajeraniJL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1904-06242,
  author       = {Sahar Mohajerani and
                  St{\'{e}}phane Lafortune},
  title        = {Transforming opacity verification to nonblocking verification in modular
                  systems},
  journal      = {CoRR},
  volume       = {abs/1904.06242},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.06242},
  eprinttype   = {arXiv},
  eprint       = {1904.06242},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-06242.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1910-00417,
  author       = {Sahar Mohajerani and
                  Yiding Ji and
                  St{\'{e}}phane Lafortune},
  title        = {Compositional and Abstraction-Based Approach for Synthesis of Edit
                  Functions for Opacity Enforcement},
  journal      = {CoRR},
  volume       = {abs/1910.00417},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.00417},
  eprinttype   = {arXiv},
  eprint       = {1910.00417},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-00417.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/MohajeraniJL18,
  author       = {Sahar Mohajerani and
                  Yiding Ji and
                  St{\'{e}}phane Lafortune},
  title        = {Efficient Synthesis of Edit Functions for Opacity Enforcement Using
                  Bisimulation-Based Abstractions},
  booktitle    = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
                  FL, USA, December 17-19, 2018},
  pages        = {4849--4854},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CDC.2018.8619045},
  doi          = {10.1109/CDC.2018.8619045},
  timestamp    = {Fri, 04 Mar 2022 13:30:11 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/MohajeraniJL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/automatica/MohajeraniMF17,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Compositional synthesis of supervisors in the form of state machines
                  and state maps},
  journal      = {Autom.},
  volume       = {76},
  pages        = {277--281},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.automatica.2016.10.012},
  doi          = {10.1016/J.AUTOMATICA.2016.10.012},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/automatica/MohajeraniMF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/ZitaMF17,
  author       = {Anton Zita and
                  Sahar Mohajerani and
                  Martin Fabian},
  title        = {Application of formal verification to the lane change module of an
                  autonomous vehicle},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {932--937},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256223},
  doi          = {10.1109/COASE.2017.8256223},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ZitaMF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/deds/MohajeraniMF16,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {A framework for compositional nonblocking verification of extended
                  finite-state machines},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {26},
  number       = {1},
  pages        = {33--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10626-015-0217-y},
  doi          = {10.1007/S10626-015-0217-Y},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/MohajeraniMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Mohajerani15,
  author       = {Sahar Mohajerani},
  title        = {On Compositional Approaches for Discrete Event Systems Verification
                  and Synthesis},
  school       = {Chalmers University of Technology, Gothenburg, Sweden},
  year         = {2015},
  url          = {http://publications.lib.chalmers.se/publication/211833-on-compositional-approaches-for-discrete-event-systems-verification-and-synthesis},
  timestamp    = {Thu, 11 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Mohajerani15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/MohajeraniMF14,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {A Framework for Compositional Synthesis of Modular Nonblocking Supervisors},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {59},
  number       = {1},
  pages        = {150--162},
  year         = {2014},
  url          = {https://doi.org/10.1109/TAC.2013.2283109},
  doi          = {10.1109/TAC.2013.2283109},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/MohajeraniMF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wodes/MohajeraniMF14,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  editor       = {Jean{-}Jacques Lesage and
                  Jean{-}Marc Faure and
                  Jos{\'{e}} E. R. Cury and
                  Bengt Lennartson},
  title        = {An Algorithm for Compositional Nonblocking Verification of Extended
                  Finite-State Machines},
  booktitle    = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
                  Cachan, France, May 14-16, 2014},
  pages        = {376--382},
  publisher    = {International Federation of Automatic Control},
  year         = {2014},
  url          = {https://doi.org/10.3182/20140514-3-FR-4046.00039},
  doi          = {10.3182/20140514-3-FR-4046.00039},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MohajeraniMF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/MohajeraniMF13,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Compositional nonblocking verification for extended finite-state automata
                  using partial unfolding},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {930--935},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654014},
  doi          = {10.1109/COASE.2013.6654014},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/WareMMF13,
  author       = {Simon Ware and
                  Robi Malik and
                  Sahar Mohajerani and
                  Martin Fabian},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Certainly Unsupervisable States},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Second International
                  Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  pages        = {280--296},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05416-2\_18},
  doi          = {10.1007/978-3-319-05416-2\_18},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/WareMMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/MohajeraniMF12,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Transition removal for compositional supervisor synthesis},
  booktitle    = {2012 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
  pages        = {694--699},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CoASE.2012.6386447},
  doi          = {10.1109/COASE.2012.6386447},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wodes/MohajeraniMF12,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  editor       = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
                  Ernesto L{\'{o}}pez{-}Mellado and
                  Jean{-}Jacques Lesage and
                  Manuel Silva Su{\'{a}}rez},
  title        = {An algorithm for weak synthesis observation equivalence for compositional
                  supervisor synthesis},
  booktitle    = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
                  Guadalajara, Mexico, October 3-5, 2012},
  pages        = {239--244},
  publisher    = {International Federation of Automatic Control},
  year         = {2012},
  url          = {https://doi.org/10.3182/20121003-3-MX-4033.00040},
  doi          = {10.3182/20121003-3-MX-4033.00040},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/MohajeraniMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/MohajeraniMF11,
  author       = {Sahar Mohajerani and
                  Robi Malik and
                  Martin Fabian},
  title        = {Nondeterminism avoidance in compositional synthesis of discrete event
                  systems},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
                  Trieste, Italy, Aug. 24-27, 2011},
  pages        = {19--24},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CASE.2011.6042432},
  doi          = {10.1109/CASE.2011.6042432},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MohajeraniMF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.