Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

• This paper proposes a framework for compositionalsynthesis of least restrictive controllable and nonblocking supervisorsfor modular discrete event systems models. The problemof state-space explosion is mitigated by abstracting individualcomponents using synthesis abstraction before computing toolarge synchronous products. The paper improves and generalisesprevious work by introducing renaming to avoid nondeterministicintermediate results, making it possible to use more means ofabstraction. Four classes of abstraction rules are discussed inthe generalised framework, and an example demonstrates thefeasibility of the method for practical problems.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

Automata

supervisory Control Theory

Nondeterminism

Publikations- och innehållstyp

kon (ämneskategori)

ref (ämneskategori)