TY - JOUR
T1 - Signed real measure of regular languages for discrete event supervisory control
AU - Ray, A.
N1 - Funding Information:
This work has been supported in part by the U.S. Army Research Laboratory and the U.S. Army Research Office (ARO) under Grant No. DAAD19-01-1-0646; and NASA Glenn Research Center under Grant No. NNC04GA49G.
PY - 2005/8/15
Y1 - 2005/8/15
N2 - This paper reviews, expands, and clarifies the underlying concepts of a signed real measure of regular languages, which has been used as a novel tool for synthesis of discrete event supervisory control systems. The language measure is constructed upon the principles of automata theory and real analysis. It allows total ordering of a set of partially ordered sublanguages of a regular language for quantitative evaluation of the supervised behaviour of deterministic finite state automata (DFSA) under different supervisors. In the setting of the language measure, a supervisor's performance is superior if the supervised plant is more likely to terminate at a good marked state and/or less likely to terminate at a bad marked state. The computational complexity of the language measure algorithm is polynomial in the number of DFSA states.
AB - This paper reviews, expands, and clarifies the underlying concepts of a signed real measure of regular languages, which has been used as a novel tool for synthesis of discrete event supervisory control systems. The language measure is constructed upon the principles of automata theory and real analysis. It allows total ordering of a set of partially ordered sublanguages of a regular language for quantitative evaluation of the supervised behaviour of deterministic finite state automata (DFSA) under different supervisors. In the setting of the language measure, a supervisor's performance is superior if the supervised plant is more likely to terminate at a good marked state and/or less likely to terminate at a bad marked state. The computational complexity of the language measure algorithm is polynomial in the number of DFSA states.
UR - http://www.scopus.com/inward/record.url?scp=27844536371&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=27844536371&partnerID=8YFLogxK
U2 - 10.1080/00207170500202447
DO - 10.1080/00207170500202447
M3 - Review article
AN - SCOPUS:27844536371
SN - 0020-7179
VL - 78
SP - 949
EP - 967
JO - International Journal of Control
JF - International Journal of Control
IS - 12
ER -