A modified method for supervisor specification and synthesis of a class of discrete event systems

Yeong Chang Ou*, Jwu-Sheng Hu

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

In this paper, a model-refining method is proposed to alleviate the complexity involved in specification interpretation of DES control problems. The legal constraint language is defined in terms of illegal states and events in contrast with constructing the automaton of the specification language. This method could provide a more intuitive view of the DES control problem and would be suitable for practical implementation. Two examples, which have commonly been used in the literature, are employed to show the efficiency of the proposed method. Further, under this framework, it is shown that the supremal controllable sublanguage can take a simpler form based on the concept of an illegal state set. A state-based supervisor synthesis procedure is presented, and a simple example is provided.

Original languageEnglish
Pages (from-to)263-273
Number of pages11
JournalAsian Journal of Control
Volume2
Issue number4
DOIs
StatePublished - 1 Dec 2000

Keywords

  • Discrete event system
  • Specification
  • Supervisory control
  • Synthesis

Fingerprint Dive into the research topics of 'A modified method for supervisor specification and synthesis of a class of discrete event systems'. Together they form a unique fingerprint.

Cite this