2012 Working Papers
Recently Added
Subscribe (RSS 1.0)-
Synthesis equivalence of triples
(University of Waikato, Department of Computer Science, 2012-09-19)This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular ... -
Synthesis observation equivalence and weak synthesis observation equivalence
(University of Waikato, Department of Computer Science, 2012-07-30)This working 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 ... -
Five abstraction rules to remove transitions while preserving compositional synthesis results
(University of Waikato, Department of Computer Science, 2012-03)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 ... -
A simulation study of the use of electric vehicles as storage on the New Zealand electricity grid
(University of Waikato, Department of Computer Science, 2012-04)This paper describes a simulation to establish the extent to which reliance on non-dispatchable energy sources, most typically wind generation, could in the future be extended beyond received norms, by utilizing the ...
