The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

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

doi:10.1007/978-3-030-27008-7_5

The Impact of Requirement Splitting on the Efficiency of 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

45 Downloads (Pure)

Abstract

Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled system components and models of the control requirements. Although several synthesis procedures have been proposed and automated, obtaining correct and useful models of industrial-size applications that are needed as their input remains a challenge. We show that the efficiency of supervisor synthesis techniques tends to increase significantly if a single large requirement is split into a set of smaller requirements. A theoretical underpinning is provided for showing the strength of this modeling guideline. Moreover, several examples from the literature as well as some real-life case studies are included for illustration.

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Subtitle of host publication	24th International Conference, FMICS 2019, Proceedings
Editors	Kim Guldstrand Larsen, Tim Willemse
Publisher	Springer Verlag
Pages	76-92
Number of pages	17
ISBN (Electronic)	9783030270087
ISBN (Print)	9783030270070
DOIs	https://doi.org/10.1007/978-3-030-27008-7_5
Publication status	Published - 2019
Event	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 - Amsterdam, Netherlands Duration: 30 Aug 2019 → 31 Aug 2019

Publication series

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

Conference

Conference	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
Country/Territory	Netherlands
City	Amsterdam
Period	30/08/19 → 31/08/19

Funding

The authors thank Ferdie Reijnen for providing the models of Lock III and the Prinses Marijke complex. The authors thank Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water Management, for providing funding for this research. In particular, the authors thank Maria Angenent, Bert van der Vegt, and Han Vogel for their feedback on the results.

Keywords

Automata
Requirements engineering
Supervisory control synthesis

Access to Document

10.1007/978-3-030-27008-7_5

The Impact of Requirement Splitting on the Efficiency of Supervisory Control SynthesisFinal published version, 1.46 MBLicence: 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. (2019). The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. In K. G. Larsen, & T. Willemse (Eds.), Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings (pp. 76-92). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11687 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-27008-7_5

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel et al. / The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. editor / Kim Guldstrand Larsen ; Tim Willemse. Springer Verlag, 2019. pp. 76-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9e42411ad11a4ae2bb0f2776c755e602,

title = "The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis",

abstract = "Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled system components and models of the control requirements. Although several synthesis procedures have been proposed and automated, obtaining correct and useful models of industrial-size applications that are needed as their input remains a challenge. We show that the efficiency of supervisor synthesis techniques tends to increase significantly if a single large requirement is split into a set of smaller requirements. A theoretical underpinning is provided for showing the strength of this modeling guideline. Moreover, several examples from the literature as well as some real-life case studies are included for illustration.",

keywords = "Automata, Requirements engineering, Supervisory control synthesis",

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

year = "2019",

doi = "10.1007/978-3-030-27008-7\_5",

language = "English",

isbn = "9783030270070",

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

publisher = "Springer Verlag",

pages = "76--92",

editor = "Larsen, \{Kim Guldstrand\} and Tim Willemse",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

note = "24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 ; Conference date: 30-08-2019 Through 31-08-2019",

}

Goorden, M, van de Mortel-Fronczak, J, Reniers, M, Fokkink, W & Rooda, J 2019, The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. in KG Larsen & T Willemse (eds), Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11687 LNCS, Springer Verlag, pp. 76-92, 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, Amsterdam, Netherlands, 30/08/19. https://doi.org/10.1007/978-3-030-27008-7_5

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. / Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel et al.
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. ed. / Kim Guldstrand Larsen; Tim Willemse. Springer Verlag, 2019. p. 76-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11687 LNCS).

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

TY - GEN

T1 - The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

AU - Goorden, Martijn

AU - van de Mortel-Fronczak, Joanna

AU - Reniers, Michel

AU - Fokkink, Wan

AU - Rooda, Jacobus

PY - 2019

Y1 - 2019

N2 - Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled system components and models of the control requirements. Although several synthesis procedures have been proposed and automated, obtaining correct and useful models of industrial-size applications that are needed as their input remains a challenge. We show that the efficiency of supervisor synthesis techniques tends to increase significantly if a single large requirement is split into a set of smaller requirements. A theoretical underpinning is provided for showing the strength of this modeling guideline. Moreover, several examples from the literature as well as some real-life case studies are included for illustration.

AB - Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled system components and models of the control requirements. Although several synthesis procedures have been proposed and automated, obtaining correct and useful models of industrial-size applications that are needed as their input remains a challenge. We show that the efficiency of supervisor synthesis techniques tends to increase significantly if a single large requirement is split into a set of smaller requirements. A theoretical underpinning is provided for showing the strength of this modeling guideline. Moreover, several examples from the literature as well as some real-life case studies are included for illustration.

KW - Automata

KW - Requirements engineering

KW - Supervisory control synthesis

UR - https://www.scopus.com/pages/publications/85072857693

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

U2 - 10.1007/978-3-030-27008-7_5

DO - 10.1007/978-3-030-27008-7_5

M3 - Conference contribution

AN - SCOPUS:85072857693

SN - 9783030270070

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

SP - 76

EP - 92

BT - Formal Methods for Industrial Critical Systems

A2 - Larsen, Kim Guldstrand

A2 - Willemse, Tim

PB - Springer Verlag

T2 - 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019

Y2 - 30 August 2019 through 31 August 2019

ER -

Goorden M, van de Mortel-Fronczak J, Reniers M, Fokkink W, Rooda J. The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. In Larsen KG, Willemse T, editors, Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. Springer Verlag. 2019. p. 76-92. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2019 Jul 25. doi: 10.1007/978-3-030-27008-7_5

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this