Design of a Supervisor Platform for Movable Bridges

F.F.H. Reijnen, J.M. van de Mortel-Fronczak, M.A. Reniers, J.E. Rooda

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

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.

Originele taal-2Engels
Titel2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's1300-1306
Aantal pagina's7
ISBN van elektronische versie978-1-7281-6904-0
DOI's
StatusGepubliceerd - aug. 2020
Evenement16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hongkong
Duur: 20 aug. 202021 aug. 2020

Congres

Congres16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Land/RegioHongkong
StadHong Kong
Periode20/08/2021/08/20

Financiering

This work is supported by Rijkswaterstaat, part of the Ministry of Infrastructure and Water Management of the Government of the Netherlands.

FinanciersFinanciernummer
Rijkswaterst./Water, Verkeer Leefomg.
Rijkswaterst./Water, Verkeer Leefomg.

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Design of a Supervisor Platform for Movable Bridges'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit