On the computation of supremal sublanguages relevant to supervisory control

Thomas Moor; Christine Baier; Tae Sic Yoo; Feng Lin; Stéphane Lafortune

doi:10.3182/20121003-3-MX-4033.00030

On the computation of supremal sublanguages relevant to supervisory control

Thomas Moor, Christine Baier, Tae Sic Yoo, Feng Lin, Stéphane Lafortune

Nuclear Science & Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Abstract

Given a specification language, this paper discusses an iterative procedure for the computation of the supremal sublanguage, that possesses a conjunction of certain closed-loop properties, including controllability, normality and completeness. The iteration is stated in terms of (i) supremal sublanguage operators for each individual property, (ii) prefix-closures, and, (iii) language intersections. Within the iteration, the individual supremal sublanguage operators are only applied on prefix-closed languages, while the overall specification is not required to be prefix-closed. Our main result establishes finite convergence, provided that all parameters are regular.

Original language	English
Title of host publication	WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings
Publisher	IFAC Secretariat
Pages	175-180
Number of pages	6
Edition	29
ISBN (Print)	9783902823281
DOIs	https://doi.org/10.3182/20121003-3-MX-4033.00030
State	Published - 2012
Event	11th International Workshop on Discrete Event Systems, WODES 2012 - Guadalajara, Jalisco, Mexico Duration: Oct 3 2012 → Oct 5 2012

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	29
Volume	45
ISSN (Print)	1474-6670

Conference

Conference	11th International Workshop on Discrete Event Systems, WODES 2012
Country/Territory	Mexico
City	Guadalajara, Jalisco
Period	10/3/12 → 10/5/12

Keywords

Discrete event systems
Supervisory control
Supremal sublanguages

Access to Document

10.3182/20121003-3-MX-4033.00030

Cite this

Moor, T., Baier, C., Yoo, T. S., Lin, F., & Lafortune, S. (2012). On the computation of supremal sublanguages relevant to supervisory control. In WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings (29 ed., pp. 175-180). (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 45, No. 29). IFAC Secretariat. https://doi.org/10.3182/20121003-3-MX-4033.00030

@inproceedings{98ba3e5b07a84bd98a4a856cd3e450c2,

title = "On the computation of supremal sublanguages relevant to supervisory control",

abstract = "Given a specification language, this paper discusses an iterative procedure for the computation of the supremal sublanguage, that possesses a conjunction of certain closed-loop properties, including controllability, normality and completeness. The iteration is stated in terms of (i) supremal sublanguage operators for each individual property, (ii) prefix-closures, and, (iii) language intersections. Within the iteration, the individual supremal sublanguage operators are only applied on prefix-closed languages, while the overall specification is not required to be prefix-closed. Our main result establishes finite convergence, provided that all parameters are regular.",

keywords = "Discrete event systems, Supervisory control, Supremal sublanguages",

author = "Thomas Moor and Christine Baier and Yoo, {Tae Sic} and Feng Lin and St{\'e}phane Lafortune",

year = "2012",

doi = "10.3182/20121003-3-MX-4033.00030",

language = "English",

isbn = "9783902823281",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

publisher = "IFAC Secretariat",

number = "29",

pages = "175--180",

booktitle = "WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings",

edition = "29",

note = "11th International Workshop on Discrete Event Systems, WODES 2012 ; Conference date: 03-10-2012 Through 05-10-2012",

}

Moor, T, Baier, C, Yoo, TS, Lin, F & Lafortune, S 2012, On the computation of supremal sublanguages relevant to supervisory control. in WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings. 29 edn, IFAC Proceedings Volumes (IFAC-PapersOnline), no. 29, vol. 45, IFAC Secretariat, pp. 175-180, 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Jalisco, Mexico, 10/3/12. https://doi.org/10.3182/20121003-3-MX-4033.00030

On the computation of supremal sublanguages relevant to supervisory control. / Moor, Thomas; Baier, Christine; Yoo, Tae Sic et al.
WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings. 29. ed. IFAC Secretariat, 2012. p. 175-180 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 45, No. 29).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On the computation of supremal sublanguages relevant to supervisory control

AU - Moor, Thomas

AU - Baier, Christine

AU - Yoo, Tae Sic

AU - Lin, Feng

AU - Lafortune, Stéphane

PY - 2012

Y1 - 2012

N2 - Given a specification language, this paper discusses an iterative procedure for the computation of the supremal sublanguage, that possesses a conjunction of certain closed-loop properties, including controllability, normality and completeness. The iteration is stated in terms of (i) supremal sublanguage operators for each individual property, (ii) prefix-closures, and, (iii) language intersections. Within the iteration, the individual supremal sublanguage operators are only applied on prefix-closed languages, while the overall specification is not required to be prefix-closed. Our main result establishes finite convergence, provided that all parameters are regular.

AB - Given a specification language, this paper discusses an iterative procedure for the computation of the supremal sublanguage, that possesses a conjunction of certain closed-loop properties, including controllability, normality and completeness. The iteration is stated in terms of (i) supremal sublanguage operators for each individual property, (ii) prefix-closures, and, (iii) language intersections. Within the iteration, the individual supremal sublanguage operators are only applied on prefix-closed languages, while the overall specification is not required to be prefix-closed. Our main result establishes finite convergence, provided that all parameters are regular.

KW - Discrete event systems

KW - Supervisory control

KW - Supremal sublanguages

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

U2 - 10.3182/20121003-3-MX-4033.00030

DO - 10.3182/20121003-3-MX-4033.00030

M3 - Conference contribution

AN - SCOPUS:84881031414

SN - 9783902823281

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 175

EP - 180

BT - WODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings

PB - IFAC Secretariat

T2 - 11th International Workshop on Discrete Event Systems, WODES 2012

Y2 - 3 October 2012 through 5 October 2012

ER -

On the computation of supremal sublanguages relevant to supervisory control

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this