Research Commons

Browsing by Author "Ware, Simon"

Research Commons

Browsing by Author "Ware, Simon"

Sort by: Order: Results:

  • 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 ...
  • Thumbnail
    On the use of observation equivalence in synthesis abstraction 
    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 ...
  • A process-algebraic semantics for generalised nonblocking. 
    Ware, Simon; Malik, Robi (Australian Computer Society, Inc., 2012)
    Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking ...
  • Thumbnail
    Three variations of observation equivalence preserving synthesis abstraction 
    Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, Martin (University of Waikato, Department of Computer Science, 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 ...

Co-authors for Simon Ware

Simon Ware has 3 co-authors in Research Commons.

Search Research Commons

Browse

Theses

About Research Commons

My Account