Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.16180 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909437491412992 |
|---|---|
| author | Swikir, Abdalla |
| author_facet | Swikir, Abdalla |
| contents | This paper introduces a compositional framework for constructing finite abstractions of nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to our approach is the concept of "alternating simulation functions," which serve to relate the concrete dynamics of impulsive subsystems to their finite abstractions. Dissipativity conditions are employed to ensure the compositionality of the finite abstractions, enabling the representation of complex interconnected systems as compositions of their subsystem abstractions. The methodology relies on incremental passivity properties such as supply rates and storage functions, alongside forward completeness, to construct finite abstractions for individual impulsive subsystems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_16180 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach Swikir, Abdalla Systems and Control This paper introduces a compositional framework for constructing finite abstractions of nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to our approach is the concept of "alternating simulation functions," which serve to relate the concrete dynamics of impulsive subsystems to their finite abstractions. Dissipativity conditions are employed to ensure the compositionality of the finite abstractions, enabling the representation of complex interconnected systems as compositions of their subsystem abstractions. The methodology relies on incremental passivity properties such as supply rates and storage functions, alongside forward completeness, to construct finite abstractions for individual impulsive subsystems. |
| title | Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2412.16180 |