Transactions of the Society of Instrument and Control Engineers
Online ISSN : 1883-8189
Print ISSN : 0453-4654
ISSN-L : 0453-4654
Computation of the Supremal Controllable Sublanguage Using an Augmented Language
Toshimitsu USHIO
Author information
JOURNAL FREE ACCESS

1992 Volume 28 Issue 7 Pages 872-878

Details
Abstract
This paper introduces a concept of an augmented language of a control specification in discrete-event systems. This language is at least legal in the sense that a plant can not generate illegal strings. We investigate its properties related to controllability of a control specification, and propose an algorithm for computation of the supremal controllable sublanguage, which is based upon an augmented language and a mapping over a family of languages. We show criteria of its finite convergence, which does not require that both a plant and a control specification are described by regular languages, but that the augmented language is regular and “enough large”. We also propose an algorithm based upon an automaton which generates an augmented language in the case that a control specification is closed, and show that its complexity is polynomial.
Content from these authors
© The Society of Instrument and Control Engineers (SICE)
Previous article Next article
feedback
Top