Browsing by Author "Flordal, Hugo"

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 ...