Design of a Supervisor Platform for Movable Bridges
| Autor: | J.M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, F.F.H. Reijnen |
|---|---|
| Přispěvatelé: | Control Systems Technology, EIRES Eng. for Sustainable Energy Systems |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
0209 industrial biotechnology
Correctness Supervisor Process (engineering) Computer science business.industry 020207 software engineering ComputerApplications_COMPUTERSINOTHERSYSTEMS 02 engineering and technology Formal methods 020901 industrial engineering & automation Development (topology) 0202 electrical engineering electronic engineering information engineering Software engineering business |
| Zdroj: | 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020, 1300-1306 STARTPAGE=1300;ENDPAGE=1306;TITLE=2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020 CASE |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|