Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
Paper in proceedings, 2011
This paper proposes a framework for compositional
synthesis of least restrictive controllable and nonblocking supervisors
for modular discrete event systems models. The problem
of state-space explosion is mitigated by abstracting individual
components using synthesis abstraction before computing too
large synchronous products. The paper improves and generalises
previous work by introducing renaming to avoid nondeterministic
intermediate results, making it possible to use more means of
abstraction. Four classes of abstraction rules are discussed in
the generalised framework, and an example demonstrates the
feasibility of the method for practical problems.
Automata
supervisory Control Theory
Nondeterminism