Signed Real Measure of Regular Languages

Amit Surana, Asok Ray

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

4 Citations (Scopus)

Abstract

This paper reviews and extends the recent work on signed real measure of regular languages for discrete-event supervisory control within a unified framework. The language measure provides total ordering of any set of partially ordered sublanguages of a regular language to allow quantitative evaluation of the controlled behavior of deterministic finite state automata under different supervisors. The paper presents a procedure by which performance of different supervisors can be evaluated based on a common quantitative tool. Two algorithms are discussed for computation of the language measure. A physical interpretation of the language measure is given from the perspective of discreteevent supervisory control synthesis.

Original languageEnglish (US)
Title of host publicationProceedings of the IEEE Conference on Decision and Control
Pages3233-3238
Number of pages6
DOIs
StatePublished - Dec 1 2003
Event42nd IEEE Conference on Decision and Control - Maui, HI, United States
Duration: Dec 9 2003Dec 12 2003

Publication series

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

Other

Other42nd IEEE Conference on Decision and Control
CountryUnited States
CityMaui, HI
Period12/9/0312/12/03

Fingerprint

Formal languages
Supervisory personnel
Finite automata

All Science Journal Classification (ASJC) codes

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

Cite this

Surana, A., & Ray, A. (2003). Signed Real Measure of Regular Languages. In Proceedings of the IEEE Conference on Decision and Control (pp. 3233-3238). (Proceedings of the IEEE Conference on Decision and Control; Vol. 4). https://doi.org/10.1109/CDC.2003.1271641
Surana, Amit ; Ray, Asok. / Signed Real Measure of Regular Languages. Proceedings of the IEEE Conference on Decision and Control. 2003. pp. 3233-3238 (Proceedings of the IEEE Conference on Decision and Control).
@inproceedings{0b4e6eef16ee4d778ed88a999d44e348,
title = "Signed Real Measure of Regular Languages",
abstract = "This paper reviews and extends the recent work on signed real measure of regular languages for discrete-event supervisory control within a unified framework. The language measure provides total ordering of any set of partially ordered sublanguages of a regular language to allow quantitative evaluation of the controlled behavior of deterministic finite state automata under different supervisors. The paper presents a procedure by which performance of different supervisors can be evaluated based on a common quantitative tool. Two algorithms are discussed for computation of the language measure. A physical interpretation of the language measure is given from the perspective of discreteevent supervisory control synthesis.",
author = "Amit Surana and Asok Ray",
year = "2003",
month = "12",
day = "1",
doi = "10.1109/CDC.2003.1271641",
language = "English (US)",
isbn = "0780379241",
series = "Proceedings of the IEEE Conference on Decision and Control",
pages = "3233--3238",
booktitle = "Proceedings of the IEEE Conference on Decision and Control",

}

Surana, A & Ray, A 2003, Signed Real Measure of Regular Languages. in Proceedings of the IEEE Conference on Decision and Control. Proceedings of the IEEE Conference on Decision and Control, vol. 4, pp. 3233-3238, 42nd IEEE Conference on Decision and Control, Maui, HI, United States, 12/9/03. https://doi.org/10.1109/CDC.2003.1271641

Signed Real Measure of Regular Languages. / Surana, Amit; Ray, Asok.

Proceedings of the IEEE Conference on Decision and Control. 2003. p. 3233-3238 (Proceedings of the IEEE Conference on Decision and Control; Vol. 4).

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

TY - GEN

T1 - Signed Real Measure of Regular Languages

AU - Surana, Amit

AU - Ray, Asok

PY - 2003/12/1

Y1 - 2003/12/1

N2 - This paper reviews and extends the recent work on signed real measure of regular languages for discrete-event supervisory control within a unified framework. The language measure provides total ordering of any set of partially ordered sublanguages of a regular language to allow quantitative evaluation of the controlled behavior of deterministic finite state automata under different supervisors. The paper presents a procedure by which performance of different supervisors can be evaluated based on a common quantitative tool. Two algorithms are discussed for computation of the language measure. A physical interpretation of the language measure is given from the perspective of discreteevent supervisory control synthesis.

AB - This paper reviews and extends the recent work on signed real measure of regular languages for discrete-event supervisory control within a unified framework. The language measure provides total ordering of any set of partially ordered sublanguages of a regular language to allow quantitative evaluation of the controlled behavior of deterministic finite state automata under different supervisors. The paper presents a procedure by which performance of different supervisors can be evaluated based on a common quantitative tool. Two algorithms are discussed for computation of the language measure. A physical interpretation of the language measure is given from the perspective of discreteevent supervisory control synthesis.

UR - http://www.scopus.com/inward/record.url?scp=1542349963&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1542349963&partnerID=8YFLogxK

U2 - 10.1109/CDC.2003.1271641

DO - 10.1109/CDC.2003.1271641

M3 - Conference contribution

AN - SCOPUS:1542349963

SN - 0780379241

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 3233

EP - 3238

BT - Proceedings of the IEEE Conference on Decision and Control

ER -

Surana A, Ray A. Signed Real Measure of Regular Languages. In Proceedings of the IEEE Conference on Decision and Control. 2003. p. 3233-3238. (Proceedings of the IEEE Conference on Decision and Control). https://doi.org/10.1109/CDC.2003.1271641