Segueix
Sahar Mohajerani
Títol
Citada per
Citada per
Any
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
662013
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
412016
Compositional synthesis of supervisors in the form of state machines and state maps
S Mohajerani, R Malik, M Fabian
Automatica 76, 277-281, 2017
352017
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
332017
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
272019
Transforming opacity verification to nonblocking verification in modular systems
S Mohajerani, S Lafortune
IEEE Transactions on Automatic Control 65 (4), 1739-1746, 2019
232019
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
202011
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
162020
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
162011
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
122012
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
102011
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
92018
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
72013
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
52021
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
52018
Certainly unsupervisable states
S Ware, R Malik, S Mohajerani, M Fabian
Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014
52014
On compositional supervisor synthesis for discrete event systems
S Mohajerani
PQDT-Global, 2012
52012
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
32014
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
32013
Synthesis equivalence of triples
S Mohajerani, R Malik, M Fabian
University of Waikato, Department of Computer Science, 2012
32012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20