Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
Paper i proceeding, 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

Författare

Sahar Mohajerani

Chalmers, Signaler och system, System- och reglerteknik, Automation

Robi Malik

University of Waikato

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, 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

Ämneskategorier

Data- och informationsvetenskap

Styrkeområden

Produktion

DOI

10.1109/CASE.2011.6042432

ISBN

978-145771730-7

Mer information

Skapat

2017-10-08