Browsing by Author "Ware, Simon"

Now showing items 6-10 of 12

  • On the computation of counterexamples in compositional nonblocking verification

    Malik, Robi; Ware, Simon (Springer, 2020)
    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 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-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 ...