TY - GEN
T1 - Language-measure-theoretic optimal control of probabilistic finite-state systems
AU - Chattopadhyay, Ishanu
AU - Ray, Asok
PY - 2007
Y1 - 2007
N2 - Supervisory Control Theory for Discrete Event Systems, introduced by Ramadge and Wonham, is based on a non-probabilistic formal language framework. Building on the concept of signed real measure of regular languages, this paper formulates a comprehensive theory for optimal control of finite-state probabilistic processes. It is shown that the resulting discrete-event supervisor is optimal in the sense of elementwise maximizing the renormalized langauge measure vector for the controlled plant behavior and is efficiently computable.
AB - Supervisory Control Theory for Discrete Event Systems, introduced by Ramadge and Wonham, is based on a non-probabilistic formal language framework. Building on the concept of signed real measure of regular languages, this paper formulates a comprehensive theory for optimal control of finite-state probabilistic processes. It is shown that the resulting discrete-event supervisor is optimal in the sense of elementwise maximizing the renormalized langauge measure vector for the controlled plant behavior and is efficiently computable.
UR - http://www.scopus.com/inward/record.url?scp=62749084476&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=62749084476&partnerID=8YFLogxK
U2 - 10.1109/CDC.2007.4434495
DO - 10.1109/CDC.2007.4434495
M3 - Conference contribution
AN - SCOPUS:62749084476
SN - 1424414989
SN - 9781424414987
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 5930
EP - 5935
BT - Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 46th IEEE Conference on Decision and Control 2007, CDC
Y2 - 12 December 2007 through 14 December 2007
ER -