Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2402.11666 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917708539363328 |
|---|---|
| author | Incer, Inigo Csomay-Shanklin, Noel Ames, Aaron Murray, Richard M. |
| author_facet | Incer, Inigo Csomay-Shanklin, Noel Ames, Aaron Murray, Richard M. |
| contents | We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks, we introduce a new logic, Multiclock Logic (MCL), to be able to express the requirements of components form the point of view of their local clocks. Specifying components locally promotes independent design and component reuse. We carry out a contract-based analysis of a control system implemented via two control algorithms (model predictive control and feedback linearization) running on their own processors and clocks. Then we implement each of the contracts to build a system. The system performs as desired when the requirements derived from our system-level analysis are respected. Violating the constraints required by the contract-based analysis of the system leads to error. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_11666 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks Incer, Inigo Csomay-Shanklin, Noel Ames, Aaron Murray, Richard M. Systems and Control We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks, we introduce a new logic, Multiclock Logic (MCL), to be able to express the requirements of components form the point of view of their local clocks. Specifying components locally promotes independent design and component reuse. We carry out a contract-based analysis of a control system implemented via two control algorithms (model predictive control and feedback linearization) running on their own processors and clocks. Then we implement each of the contracts to build a system. The system performs as desired when the requirements derived from our system-level analysis are respected. Violating the constraints required by the contract-based analysis of the system leads to error. |
| title | Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2402.11666 |