A framework for compositional synthesis of modular nonblocking supervisors S Mohajerani, R Malik, M Fabian IEEE Transactions on Automatic Control 59 (1), 150-162, 2013 | 70 | 2013 |
A framework for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian Discrete Event Dynamic Systems 26, 33-84, 2016 | 43 | 2016 |
Compositional synthesis of supervisors in the form of state machines and state maps S Mohajerani, R Malik, M Fabian Automatica 76, 277-281, 2017 | 35 | 2017 |
Application of formal verification to the lane change module of an autonomous vehicle A Zita, S Mohajerani, M Fabian 2017 13th IEEE Conference on Automation Science and Engineering (CASE), 932-937, 2017 | 33 | 2017 |
Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement S Mohajerani, Y Ji, S Lafortune IEEE Transactions on Automatic Control 65 (8), 3349-3364, 2019 | 29 | 2019 |
Transforming opacity verification to nonblocking verification in modular systems S Mohajerani, S Lafortune IEEE Transactions on Automatic Control 65 (4), 1739-1746, 2019 | 24 | 2019 |
Compositional synthesis of discrete event systems using synthesis abstraction S Mohajerani, R Malik, S Ware, M Fabian 2011 Chinese Control and Decision Conference (CCDC), 1549-1554, 2011 | 20 | 2011 |
Efficient synthesis of sensor deception attacks using observation equivalence-based abstraction S Mohajerani, R Meira-Góes, S Lafortune IFAC-PapersOnLine 53 (4), 28-34, 2020 | 16 | 2020 |
On the use of observation equivalence in synthesis abstraction S Mohajerani, R Malik, S Ware, M Fabian 2011 3rd International Workshop on Dependable Control of Discrete Systems, 84-89, 2011 | 16 | 2011 |
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis S Mohajerani, R Malik, M Fabian IFAC Proceedings Volumes 45 (29), 239-244, 2012 | 12 | 2012 |
Efficient synthesis of edit functions for opacity enforcement using bisimulation-based abstractions S Mohajerani, Y Ji, S Lafortune 2018 IEEE Conference on Decision and Control (CDC), 4849-4854, 2018 | 10 | 2018 |
Nondeterminism avoidance in compositional synthesis of discrete event systems S Mohajerani, R Malik, M Fabian 2011 IEEE international conference on automation science and engineering, 19-24, 2011 | 10 | 2011 |
Compositional nonblocking verification for extended finite-state automata using partial unfolding S Mohajerani, R Malik, M Fabian 2013 IEEE International Conference on Automation Science and Engineering …, 2013 | 8 | 2013 |
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications S Mohajerani, R Malik, A Wintenberg, S Lafortune, N Ozay Automatica 130, 109723, 2021 | 5 | 2021 |
Modeling and synthesis of the lane change function of an autonomous vehicle J Krook, A Zita, R Kianfar, S Mohajerani, M Fabian IFAC-PapersOnLine 51 (7), 133-138, 2018 | 5 | 2018 |
Certainly unsupervisable states S Ware, R Malik, S Mohajerani, M Fabian Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014 | 5 | 2014 |
On compositional supervisor synthesis for discrete event systems S Mohajerani PQDT-Global, 2012 | 5 | 2012 |
An algorithm for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian IFAC Proceedings Volumes 47 (2), 376-382, 2014 | 4 | 2014 |
A survey on compositional algorithms for verification and synthesis in supervisory control R Malik, S Mohajerani, M Fabian Discrete Event Dynamic Systems 33 (3), 279-340, 2023 | 3 | 2023 |
Partial unfolding for compositional nonblocking verification of extended finite-state machines S Mohajerani, R Malik, M Fabian University of Waikato, Department of Computer Science, 2013 | 3 | 2013 |