Design of a Supervisor Platform for Movable Bridges

F. F.H. Reijnen; J. M. Van De Mortel-Fronczak; M. A. Reniers; J. E. Rooda

doi:10.1109/CASE48305.2020.9216894

Design of a Supervisor Platform for Movable Bridges

F. F.H. Reijnen, J. M. Van De Mortel-Fronczak, M. A. Reniers, J. E. Rooda

Control Systems Technology

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

Abstract

Developing supervisory controllers for high-tech systems is an error-prone and laborious process. Formal methods can help in the development process by providing means to mathematical prove the correctness. One such formal method is supervisor synthesis, where a correct-by-construction supervisor is synthesized from a model of the plant and a model of the requirements. In this paper, supervisor synthesis for a family of similar systems is investigated. To this end, a graphical modeling method based on standardized modules is presented. A prototype tool has been developed that illustrates the proposed method in the development of supervisors for movable bridges. Using this method, the models for a family of seventeen bridges have been developed.

Original language	English
Title of host publication	2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
Publisher	IEEE Computer Society
Pages	1300-1306
Number of pages	7
ISBN (Electronic)	9781728169040
DOIs	https://doi.org/10.1109/CASE48305.2020.9216894
Publication status	Published - Aug 2020
Event	16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hong Kong Duration: 20 Aug 2020 → 21 Aug 2020

Conference

Conference	16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Country	Hong Kong
City	Hong Kong
Period	20/08/20 → 21/08/20

Access to Document

10.1109/CASE48305.2020.9216894

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Design of a Supervisor Platform for Movable Bridges'. Together they form a unique fingerprint.

Cite this

@inproceedings{63b4ad3fd7874c27ba7d03ed41c40275,

title = "Design of a Supervisor Platform for Movable Bridges",

abstract = "Developing supervisory controllers for high-tech systems is an error-prone and laborious process. Formal methods can help in the development process by providing means to mathematical prove the correctness. One such formal method is supervisor synthesis, where a correct-by-construction supervisor is synthesized from a model of the plant and a model of the requirements. In this paper, supervisor synthesis for a family of similar systems is investigated. To this end, a graphical modeling method based on standardized modules is presented. A prototype tool has been developed that illustrates the proposed method in the development of supervisors for movable bridges. Using this method, the models for a family of seventeen bridges have been developed.",

author = "Reijnen, {F. F.H.} and {Van De Mortel-Fronczak}, {J. M.} and Reniers, {M. A.} and Rooda, {J. E.}",

year = "2020",

month = aug,

doi = "10.1109/CASE48305.2020.9216894",

language = "English",

pages = "1300--1306",

booktitle = "2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020",

publisher = "IEEE Computer Society",

address = "United States",

note = "16th IEEE International Conference on Automation Science and Engineering, CASE 2020 ; Conference date: 20-08-2020 Through 21-08-2020",

}

Reijnen, FFH , Van De Mortel-Fronczak, JM , Reniers, MA & Rooda, JE 2020, Design of a Supervisor Platform for Movable Bridges. in 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020., 9216894, IEEE Computer Society, pp. 1300-1306, 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, Hong Kong, 20/08/20. https://doi.org/10.1109/CASE48305.2020.9216894

Design of a Supervisor Platform for Movable Bridges. / Reijnen, F. F.H.; Van De Mortel-Fronczak, J. M.; Reniers, M. A.; Rooda, J. E.

2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020. IEEE Computer Society, 2020. p. 1300-1306 9216894.

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

TY - GEN

T1 - Design of a Supervisor Platform for Movable Bridges

AU - Reijnen, F. F.H.

AU - Van De Mortel-Fronczak, J. M.

AU - Reniers, M. A.

AU - Rooda, J. E.

PY - 2020/8

Y1 - 2020/8

N2 - Developing supervisory controllers for high-tech systems is an error-prone and laborious process. Formal methods can help in the development process by providing means to mathematical prove the correctness. One such formal method is supervisor synthesis, where a correct-by-construction supervisor is synthesized from a model of the plant and a model of the requirements. In this paper, supervisor synthesis for a family of similar systems is investigated. To this end, a graphical modeling method based on standardized modules is presented. A prototype tool has been developed that illustrates the proposed method in the development of supervisors for movable bridges. Using this method, the models for a family of seventeen bridges have been developed.

AB - Developing supervisory controllers for high-tech systems is an error-prone and laborious process. Formal methods can help in the development process by providing means to mathematical prove the correctness. One such formal method is supervisor synthesis, where a correct-by-construction supervisor is synthesized from a model of the plant and a model of the requirements. In this paper, supervisor synthesis for a family of similar systems is investigated. To this end, a graphical modeling method based on standardized modules is presented. A prototype tool has been developed that illustrates the proposed method in the development of supervisors for movable bridges. Using this method, the models for a family of seventeen bridges have been developed.

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

U2 - 10.1109/CASE48305.2020.9216894

DO - 10.1109/CASE48305.2020.9216894

M3 - Conference contribution

AN - SCOPUS:85094160990

SP - 1300

EP - 1306

BT - 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020

PB - IEEE Computer Society

T2 - 16th IEEE International Conference on Automation Science and Engineering, CASE 2020

Y2 - 20 August 2020 through 21 August 2020

ER -