Supervisor direct synthesis method for a structured discrete dynamical system |
| |
Authors: | A. A. Ambartsumyan E. E. Tomilin |
| |
Affiliation: | 1. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|