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 -