Browsing by Author "Mohajerani, Sahar"
Now showing items 1-5 of 16
-
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis
Mohajerani, Sahar; Malik, Robi; Fabian, Martin (The international Federation of Automatic Control, 2012)This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from ... -
An algorithm for compositional nonblocking verification of extended finite-state machines
Mohajerani, Sahar; Malik, Robi; Fabian, Martin (IFAC, 2014)This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation ... -
Certainly Unsupervisable States
Ware, Simon; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (Springer International Publishing, 2014)This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and ... -
Compositional supervisor synthesis with state merging and transition removal
Mohajerani, Sahar; Malik, Robi; Fabian, Martin (Department of Computer Science, The University of Waikato, 2016)This working paper proposes a framework to obtain memory-efficient supervisors for large discrete event systems, which are least restrictive, controllable, and nonblocking. The approach combines compositional synthesis and ... -
Compositional synthesis of discrete event systems using synthesis abstraction
Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, Martin (IEEE, 2011)This paper proposes a general method to synthesize a least restrictive supervisor for a large discrete event system model, consisting of a large number of arbitrary automata representing the plants and specifications. A ...
Co-authors for Sahar Mohajerani
Sahar Mohajerani has 6 co-authors in Research Commons.