Generalized Language Measure of Finite State Logical Systems

Abstract

The signed real measure of regular languages has been introduced and validated in recent literature for quantitative analysis and synthesis of discrete-event supervisory (DES) control systems. This paper reports several generalizations of the language measure, which are applicable to synthesis of optimal discrete event supervisory control. These generalizations eliminate a user-selectable parameter in the original concept of language measure. The concepts are illustrated with simple examples