Model properties for efficient synthesis of nonblocking modular supervisors

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

doi:10.1016/j.conengprac.2021.104830

Model properties for efficient synthesis of nonblocking modular supervisors

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

^*Corresponding author for this work

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails due to a lack of scalability of the algorithms. This paper proposes a format for the requirements and a method to ensure that the crucial properties of controllability and nonblockingness directly hold, thus avoiding the most computationally expensive parts of synthesis. The method consists of creating a control problem dependency graph and verifying whether it is acyclic. Vertices of the graph are modular plant components, and edges are derived from the requirements. In case of a cyclic graph, potential blocking issues can be localized, so that the original control problem can be reduced to only synthesizing supervisors for smaller partial control problems. The strength of the method is illustrated on two case studies: a production line and a roadway tunnel.

Original language	English
Article number	104830
Pages (from-to)	1-13
Number of pages	13
Journal	Control Engineering Practice
Volume	112
Early online date	23 Apr 2021
DOIs	https://doi.org/10.1016/j.conengprac.2021.104830
Publication status	Published - Jul 2021

Bibliographical note

Funding Information:
The authors thank Ferdie Reijnen for providing the models of the Festo production line and Lars Moormann for providing the models of the Eerste Heijnenoord Tunnel. Advice given by prof.em. Jan H. van Schuppen has been a great help in preparing the manuscript of this paper. The authors thank Han Vogel and Maria Angenent from Rijkswaterstaat for their valuable feedback and support. This work is supported by Rijkswaterstaat, the Netherlands, part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsr?det.

Funding Information:
This work is supported by Rijkswaterstaat, the Netherlands , part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsrådet .

Publisher Copyright:
© 2021 The Author(s)

Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.

Funding

The authors thank Ferdie Reijnen for providing the models of the Festo production line and Lars Moormann for providing the models of the Eerste Heijnenoord Tunnel. Advice given by prof.em. Jan H. van Schuppen has been a great help in preparing the manuscript of this paper. The authors thank Han Vogel and Maria Angenent from Rijkswaterstaat for their valuable feedback and support. This work is supported by Rijkswaterstaat, the Netherlands, part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsr?det. This work is supported by Rijkswaterstaat, the Netherlands , part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsrådet .

Keywords

Directed graph
Finite automata
Supervisory control

UN SDGs

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

Access to Document

10.1016/j.conengprac.2021.104830

Persistent URL (handle)

Persistent link

Cite this

@article{5229060049464b9cb1d78ff0e14654c6,

title = "Model properties for efficient synthesis of nonblocking modular supervisors",

abstract = "Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails due to a lack of scalability of the algorithms. This paper proposes a format for the requirements and a method to ensure that the crucial properties of controllability and nonblockingness directly hold, thus avoiding the most computationally expensive parts of synthesis. The method consists of creating a control problem dependency graph and verifying whether it is acyclic. Vertices of the graph are modular plant components, and edges are derived from the requirements. In case of a cyclic graph, potential blocking issues can be localized, so that the original control problem can be reduced to only synthesizing supervisors for smaller partial control problems. The strength of the method is illustrated on two case studies: a production line and a roadway tunnel.",

keywords = "Directed graph, Finite automata, Supervisory control",

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

note = "Funding Information: The authors thank Ferdie Reijnen for providing the models of the Festo production line and Lars Moormann for providing the models of the Eerste Heijnenoord Tunnel. Advice given by prof.em. Jan H. van Schuppen has been a great help in preparing the manuscript of this paper. The authors thank Han Vogel and Maria Angenent from Rijkswaterstaat for their valuable feedback and support. This work is supported by Rijkswaterstaat, the Netherlands, part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsr?det. Funding Information: This work is supported by Rijkswaterstaat, the Netherlands , part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsr{\aa}det . Publisher Copyright: {\textcopyright} 2021 The Author(s) Copyright: Copyright 2021 Elsevier B.V., All rights reserved.",

year = "2021",

month = jul,

doi = "10.1016/j.conengprac.2021.104830",

language = "English",

volume = "112",

pages = "1--13",

journal = "Control Engineering Practice",

issn = "0967-0661",

publisher = "Elsevier Ltd",

}

TY - JOUR

T1 - Model properties for efficient synthesis of nonblocking modular supervisors

AU - Goorden, Martijn

AU - van de Mortel-Fronczak, Joanna

AU - Reniers, Michel

AU - Fabian, Martin

AU - Fokkink, Wan

AU - Rooda, Jacobus

N1 - Funding Information: The authors thank Ferdie Reijnen for providing the models of the Festo production line and Lars Moormann for providing the models of the Eerste Heijnenoord Tunnel. Advice given by prof.em. Jan H. van Schuppen has been a great help in preparing the manuscript of this paper. The authors thank Han Vogel and Maria Angenent from Rijkswaterstaat for their valuable feedback and support. This work is supported by Rijkswaterstaat, the Netherlands, part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsr?det. Funding Information: This work is supported by Rijkswaterstaat, the Netherlands , part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands, and by the Swedish Science Foundation, Vetenskapsrådet . Publisher Copyright: © 2021 The Author(s) Copyright: Copyright 2021 Elsevier B.V., All rights reserved.

PY - 2021/7

Y1 - 2021/7

N2 - Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails due to a lack of scalability of the algorithms. This paper proposes a format for the requirements and a method to ensure that the crucial properties of controllability and nonblockingness directly hold, thus avoiding the most computationally expensive parts of synthesis. The method consists of creating a control problem dependency graph and verifying whether it is acyclic. Vertices of the graph are modular plant components, and edges are derived from the requirements. In case of a cyclic graph, potential blocking issues can be localized, so that the original control problem can be reduced to only synthesizing supervisors for smaller partial control problems. The strength of the method is illustrated on two case studies: a production line and a roadway tunnel.

AB - Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails due to a lack of scalability of the algorithms. This paper proposes a format for the requirements and a method to ensure that the crucial properties of controllability and nonblockingness directly hold, thus avoiding the most computationally expensive parts of synthesis. The method consists of creating a control problem dependency graph and verifying whether it is acyclic. Vertices of the graph are modular plant components, and edges are derived from the requirements. In case of a cyclic graph, potential blocking issues can be localized, so that the original control problem can be reduced to only synthesizing supervisors for smaller partial control problems. The strength of the method is illustrated on two case studies: a production line and a roadway tunnel.

KW - Directed graph

KW - Finite automata

KW - Supervisory control

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

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

U2 - 10.1016/j.conengprac.2021.104830

DO - 10.1016/j.conengprac.2021.104830

M3 - Article

AN - SCOPUS:85104674419

SN - 0967-0661

VL - 112

SP - 1

EP - 13

JO - Control Engineering Practice

JF - Control Engineering Practice

M1 - 104830

ER -

Model properties for efficient synthesis of nonblocking modular supervisors

Abstract

Bibliographical note

Funding

Keywords

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this