• Synthesis equivalence of triples

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (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

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (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

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (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

    Monigatti, Paul; Apperley, Mark; Rogers, Bill (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 ...

View more