Browsing by Author "Ware, Simon"

Now showing items 1-5 of 12

  • Certainly Unsupervisable States

    Ware, Simon; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (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 synthesis of discrete event systems using synthesis abstraction

    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 ...
  • Conflict-preserving abstraction of discrete event systems using annotated automata

    Ware, Simon; Malik, Robi (Springer, 2012)
    This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would ...
  • Counterexample Computation in Compositional Nonblocking Verification

    Malik, Robi; Ware, Simon (Elsevier, 2018)
    This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that ...
  • On Conflicts in Concurrent Systems

    Ware, Simon (University of Waikato, 2014)
    This dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting ...

Simon Ware has 3 co-authors in Research Commons.