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 | Institute of Electrical and Electronics Engineers |
Pages | 1300-1306 |
Number of pages | 7 |
ISBN (Electronic) | 978-1-7281-6904-0 |
DOIs | |
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/Territory | Hong Kong |
City | Hong Kong |
Period | 20/08/20 → 21/08/20 |