A language measure for partially observed discrete event supervisory control systems
Ishanu Chattopadhyay, Asok Kumar Ray · 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) · 2004
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, where all events are assumed to be observable. This paper presents a modification of the language measure for supervisory control under partial observation and shows how to generalize the analysis when some of the events may not be observable at the supervisory level. Thus, for synthesis of DES control systems, the language measure of partially observable discrete-event processes is expressed in a closed form, which is structurally similar to that of completely observable discrete-event processes.