Browsing by Author "Fabian, Martin"
-
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 ...
-
Flordal, Hugo; Malik, Robi; Fabian, Martin; Akesson, Knut
(Springer Netherlands, 2007)
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large ...
-
Mohajerani, Sahar; Malik, Robi; Fabian, Martin
(University of Waikato, Department of Computer Science, 2012)
This working paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least ...
-
Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, Martin
(IEEE, 2011)
In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the ...
-
Mohajerani, Sahar; Malik, Robi; Fabian, Martin
(University of Waikato, Department of Computer Science, 2013)
This working paper describes a framework for compositional nonblocking verification of reactive systems modelled as extended finite-state machines. The nonblocking property can capture the absence of livelocks and deadlocks ...
Co-authors for Martin Fabian