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 |