Now showing items 6-10 of 10

  • A process-algebraic semantics for generalised nonblocking.

    Ware, Simon; Malik, Robi (Australian Computer Society, Inc., 2012-01)
    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 ...
  • Progressive events in supervisory control and compositional verification

    Ware, Simon; Malik, Robi (2014-08)
    This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired ...
  • Supervisory control with progressive events

    Ware, Simon; Malik, Robi (IEEE, 2014)
    This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired ...
  • Three variations of observation equivalence preserving synthesis abstraction

    Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, Martin (University of Waikato, Department of Computer Science, 2011-01-26)
    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 ...
  • The Use of Language Projection for Compositional Verification of Discrete Event Systems

    Ware, Simon; Malik, Robi (IEEE Computer Society, 2008)
    This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety ...