Now showing items 1-5 of 5

  • A compositional approach for verifying generalized nonblocking

    Malik, Robi; Leduc, Ryan (IEEE, 2009)
    This paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in ...
  • Compositional nonblocking verificationusing generalised nonblocking abstractions

    Malik, Robi; Leduc, Ryan (IEEE, 2013)
    This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the ...
  • Generalised Nonblocking

    Malik, Robi; Leduc, Ryan (IEEE Computer Society, 2008)
    This paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed. It is shown that the standard ...
  • Hierarchical interface-based supervisory control using the conflict preorder

    Malik, Robi; Leduc, Ryan (The international Federation of Automatic Control, 2012)
    Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ...
  • Seven abstraction rules preserving generalised nonblocking

    Malik, Robi; Leduc, Ryan (University of Waikato, Department of Computer Science, 2009-09-01)
    This working paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in [15] to overcome weaknesses of the standard nonblocking ...

Ryan Leduc has 1 co-authors in Research Commons.