Browsing by Author "Mohajerani, Sahar"
Now showing items 1-5 of 15
-
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis
(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
(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
(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
(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
(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 ...
