Now showing items 1-5 of 8

  • Compositional synthesis of discrete event systems via synthesis equivalence

    Malik, Robi; Flordal, Hugo (Department of Computer Science, University of Waikato, 2008-05-12)
    A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of composed finite-state automata is proposed. The first pass provides an efficient method to determine whether a supervisory ...
  • Compositional synthesis of maximally permissive supervisors using supervision equivalence

    Flordal, Hugo; Malik, Robi; Fabian, Martin; Akesson, Knut (Springer Netherlands, 2007)
    This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large ...
  • Conflicts and projections

    Malik, Robi; Flordal, Hugo; Pena, Patricia N. (IFAC, 2007)
    This paper studies abstraction methods suitable to verify very large models of discrete-event systems to be nonconflicting. It compares the observer property to methods known from process algebra, namely to conflict ...
  • Modular nonblocking verification using conflict equivalence

    Malik, Robi; Flordal, Hugo (IEEE, 2006-07)
    This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines. Instead, ...
  • Supervision equivalence

    Flordal, Hugo; Malik, Robi (IEEE, 2006)
    This paper presents a general framework for modular synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. Its result is a ...

Hugo Flordal has 4 co-authors in Research Commons.