Generalized Language Measure of Finite State Logical Systems

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