Modeling Guidelines for Component-Based Supervisory Control Synthesis

Martijn Goorden; Joanna van de Mortel-Fronczak; Michel Reniers; Wan Fokkink; Jacobus Rooda

doi:10.1007/978-3-030-40914-2_1

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink^*, Jacobus Rooda

^*Corresponding author for this work

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

142 Downloads (Pure)

Abstract

Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.

Original language	English
Title of host publication	Formal Aspects of Component Software
Subtitle of host publication	16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Editors	Farhad Arbab, Sung-Shik Jongmans
Publisher	Springer
Pages	3-24
Number of pages	22
ISBN (Electronic)	9783030409142
ISBN (Print)	9783030409135
DOIs	https://doi.org/10.1007/978-3-030-40914-2_1
Publication status	Published - 2020
Event	16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Netherlands Duration: 23 Oct 2019 → 25 Oct 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12018 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Conference on Formal Aspects of Component Software, FACS 2019
Country/Territory	Netherlands
City	Amsterdam
Period	23/10/19 → 25/10/19

Funding

Supported by Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water Management.

Keywords

Automata
Modeling
Supervisory control synthesis

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-030-40914-2_1

Goorden2020_Chapter_ModelingGuidelinesForComponentBasedSupervisoryControlSynthesisFinal published version, 687 KBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Persistent link

Cite this

Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W., & Rooda, J. (2020). Modeling Guidelines for Component-Based Supervisory Control Synthesis. In F. Arbab, & S.-S. Jongmans (Eds.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (pp. 3-24). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12018 LNCS). Springer. https://doi.org/10.1007/978-3-030-40914-2_1

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel et al. / Modeling Guidelines for Component-Based Supervisory Control Synthesis. Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. editor / Farhad Arbab ; Sung-Shik Jongmans. Springer, 2020. pp. 3-24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2786a0ba2cc041c5a85add687c037847,

title = "Modeling Guidelines for Component-Based Supervisory Control Synthesis",

abstract = "Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.",

keywords = "Automata, Modeling, Supervisory control synthesis",

author = "Martijn Goorden and {van de Mortel-Fronczak}, Joanna and Michel Reniers and Wan Fokkink and Jacobus Rooda",

year = "2020",

doi = "10.1007/978-3-030-40914-2_1",

language = "English",

isbn = "9783030409135",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--24",

editor = "Farhad Arbab and Sung-Shik Jongmans",

booktitle = "Formal Aspects of Component Software",

note = "16th International Conference on Formal Aspects of Component Software, FACS 2019 ; Conference date: 23-10-2019 Through 25-10-2019",

}

Goorden, M, van de Mortel-Fronczak, J, Reniers, M, Fokkink, W & Rooda, J 2020, Modeling Guidelines for Component-Based Supervisory Control Synthesis. in F Arbab & S-S Jongmans (eds), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12018 LNCS, Springer, pp. 3-24, 16th International Conference on Formal Aspects of Component Software, FACS 2019, Amsterdam, Netherlands, 23/10/19. https://doi.org/10.1007/978-3-030-40914-2_1

Modeling Guidelines for Component-Based Supervisory Control Synthesis. / Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel et al.
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. ed. / Farhad Arbab; Sung-Shik Jongmans. Springer, 2020. p. 3-24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12018 LNCS).

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

TY - GEN

T1 - Modeling Guidelines for Component-Based Supervisory Control Synthesis

AU - Goorden, Martijn

AU - van de Mortel-Fronczak, Joanna

AU - Reniers, Michel

AU - Fokkink, Wan

AU - Rooda, Jacobus

PY - 2020

Y1 - 2020

N2 - Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.

AB - Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.

KW - Automata

KW - Modeling

KW - Supervisory control synthesis

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

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

U2 - 10.1007/978-3-030-40914-2_1

DO - 10.1007/978-3-030-40914-2_1

M3 - Conference contribution

AN - SCOPUS:85080912363

SN - 9783030409135

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 24

BT - Formal Aspects of Component Software

A2 - Arbab, Farhad

A2 - Jongmans, Sung-Shik

PB - Springer

T2 - 16th International Conference on Formal Aspects of Component Software, FACS 2019

Y2 - 23 October 2019 through 25 October 2019

ER -

Goorden M, van de Mortel-Fronczak J, Reniers M, Fokkink W, Rooda J. Modeling Guidelines for Component-Based Supervisory Control Synthesis. In Arbab F, Jongmans SS, editors, Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. Springer. 2020. p. 3-24. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2020 Feb 13. doi: 10.1007/978-3-030-40914-2_1

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Abstract

Publication series

Conference

Funding

Keywords

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this