Supervisory control using augmented languages in discrete event systems |
| |
Authors: | Toshimitsu Ushio |
| |
Affiliation: | (1) Kobe College, Okadayama, Nishinomiya, 662 Hyogo, Japan |
| |
Abstract: | This paper introduces the concept of an augmented (super) language of a specified language and studies its application to finite state supervisory control. First, we investigate several properties of an augmented language, especially related to controllability of the specified language. We propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists, using an augmented language, and show a sufficient condition for the controllable sublanguage to be supremal. It is shown, however, that such a finite state supervisor is sometimes blocking. Moreover, we discuss the relationship between the Wonham-Ramadge algorithm and our proposed one. |
| |
Keywords: | discrete event system supervisory control controllable language augmented language |
本文献已被 SpringerLink 等数据库收录! |
|