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 ...
Co-authors for Hugo Flordal
Hugo Flordal has 4 co-authors in Research Commons.