Supervisor direct synthesis method for a structured discrete dynamical system

  • Authors:
  • A. A. Ambartsumyan;E. E. Tomilin

  • Affiliations:
  • Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia;Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

  • Venue:
  • Automation and Remote Control
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present an implementation method for a supervisor of a discrete event system (DES) structured in a special way. Such a DES has the following characteristic features: the language generator is represented by a set of finite automata, the language model is extended with a new type of events called "expected," and the specification is defined as a sequence of control commands. The primary advantage of our method is that it uses structural knowledge of the event stream in order to construct a supervisor. Thus, we achieve linear dependence of the supervisor's size in the input data.