- Waikato Home
- →
- Library Home
- →
- Research Commons
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Fabian, Martin"
Now showing items 1-5 of 9
-
(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 ...
-
(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 ... -
(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 ... -
(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 ... -
(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 ...
Now showing items 1-5 of 9