Article thumbnail

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

By Sahar Mohajerani, Robi Malik and Martin Fabian

Abstract

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

Topics: Computer and Information Science, Automata, supervisory Control Theory, Nondeterminism
Publisher: 'Institute of Electrical and Electronics Engineers (IEEE)'
Year: 2011
DOI identifier: 10.1109/CASE.2011.6042432
OAI identifier: oai:research.chalmers.se:147593
Provided by: Chalmers Research
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dx.doi.org/10.1109/CASE... (external link)
  • https://research.chalmers.se/e... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles