Language-measure-theoretic optimal control of probabilistic finite-state systems

Ishanu Chattopadhyay, Asok Ray

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 46th IEEE Conference on Decision and Control 2007, CDC
Pages5930-5935
Number of pages6
DOIs
StatePublished - Dec 1 2007
Event46th IEEE Conference on Decision and Control 2007, CDC - New Orleans, LA, United States
Duration: Dec 12 2007Dec 14 2007

Publication series

NameProceedings of the IEEE Conference on Decision and Control
ISSN (Print)0191-2216

Other

Other46th IEEE Conference on Decision and Control 2007, CDC
CountryUnited States
CityNew Orleans, LA
Period12/12/0712/14/07

Fingerprint

Vector Measures
Supervisory Control
Formal languages
Discrete Event Systems
Formal Languages
Discrete Event
Regular Languages
Signed
Control Theory
Optimal Control
Supervisory personnel
Discrete event simulation
Control theory
Framework
Language
Concepts

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Cite this

Chattopadhyay, I., & Ray, A. (2007). Language-measure-theoretic optimal control of probabilistic finite-state systems. In Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC (pp. 5930-5935). [4434495] (Proceedings of the IEEE Conference on Decision and Control). https://doi.org/10.1109/CDC.2007.4434495
Chattopadhyay, Ishanu ; Ray, Asok. / Language-measure-theoretic optimal control of probabilistic finite-state systems. Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC. 2007. pp. 5930-5935 (Proceedings of the IEEE Conference on Decision and Control).
@inproceedings{72d64a57673e4a18865e892973d0ec86,
title = "Language-measure-theoretic optimal control of probabilistic finite-state systems",
abstract = "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.",
author = "Ishanu Chattopadhyay and Asok Ray",
year = "2007",
month = "12",
day = "1",
doi = "10.1109/CDC.2007.4434495",
language = "English (US)",
isbn = "1424414989",
series = "Proceedings of the IEEE Conference on Decision and Control",
pages = "5930--5935",
booktitle = "Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC",

}

Chattopadhyay, I & Ray, A 2007, Language-measure-theoretic optimal control of probabilistic finite-state systems. in Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC., 4434495, Proceedings of the IEEE Conference on Decision and Control, pp. 5930-5935, 46th IEEE Conference on Decision and Control 2007, CDC, New Orleans, LA, United States, 12/12/07. https://doi.org/10.1109/CDC.2007.4434495

Language-measure-theoretic optimal control of probabilistic finite-state systems. / Chattopadhyay, Ishanu; Ray, Asok.

Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC. 2007. p. 5930-5935 4434495 (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Language-measure-theoretic optimal control of probabilistic finite-state systems

AU - Chattopadhyay, Ishanu

AU - Ray, Asok

PY - 2007/12/1

Y1 - 2007/12/1

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

ER -

Chattopadhyay I, Ray A. Language-measure-theoretic optimal control of probabilistic finite-state systems. In Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC. 2007. p. 5930-5935. 4434495. (Proceedings of the IEEE Conference on Decision and Control). https://doi.org/10.1109/CDC.2007.4434495