Design of a Supervisor Platform for Movable Bridges

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publication2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
PublisherIEEE Computer Society
Pages1300-1306
Number of pages7
ISBN (Electronic)9781728169040
DOIs
Publication statusPublished - Aug 2020
Event16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hong Kong
Duration: 20 Aug 202021 Aug 2020

Conference

Conference16th IEEE International Conference on Automation Science and Engineering, CASE 2020
CountryHong Kong
CityHong Kong
Period20/08/2021/08/20

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

Cite this