Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2305.03399 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916097331036160 |
|---|---|
| author | Nayak, Satya Prakash Egidio, Lucas Neves Della Rossa, Matteo Schmuck, Anne-Kathrin Jungers, Raphaël |
| author_facet | Nayak, Satya Prakash Egidio, Lucas Neves Della Rossa, Matteo Schmuck, Anne-Kathrin Jungers, Raphaël |
| contents | We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Temporal Logic} specification. Moreover, the specification may take into account logical context switches induced by an external environment or the system itself. Finally, we want to avoid classical brute-force time- and space-discretization for scalability. We achieve these goals by a novel two-layer strategy synthesis approach, where the controller generated in the lower layer provides invariant sets and basins of attraction, which are exploited at the upper logical layer in an abstract way. In order to achieve this, we provide new techniques for both the upper- and lower-level synthesis.
Our new methodology allows to leverage both the computing power of state space control techniques and the intelligence of finite game solving for complex specifications, in a scalable way. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_03399 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Context-triggered Abstraction-based Control Design Nayak, Satya Prakash Egidio, Lucas Neves Della Rossa, Matteo Schmuck, Anne-Kathrin Jungers, Raphaël Systems and Control Computer Science and Game Theory We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Temporal Logic} specification. Moreover, the specification may take into account logical context switches induced by an external environment or the system itself. Finally, we want to avoid classical brute-force time- and space-discretization for scalability. We achieve these goals by a novel two-layer strategy synthesis approach, where the controller generated in the lower layer provides invariant sets and basins of attraction, which are exploited at the upper logical layer in an abstract way. In order to achieve this, we provide new techniques for both the upper- and lower-level synthesis. Our new methodology allows to leverage both the computing power of state space control techniques and the intelligence of finite game solving for complex specifications, in a scalable way. |
| title | Context-triggered Abstraction-based Control Design |
| topic | Systems and Control Computer Science and Game Theory |
| url | https://arxiv.org/abs/2305.03399 |