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

Author

Sahar Mohajerani

Chalmers, Signals and Systems, Systems and control, Automation

Robi Malik

University of Waikato

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; Italy; 24 August 2011 through 27 August 2011

2161-8089 (eISSN)

19-24

Subject Categories

Computer and Information Science

Areas of Advance

Production

DOI

10.1109/CASE.2011.6042432

ISBN

978-145771730-7

More information

Created

10/8/2017