Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees 2E8DDPAZN3
| URI | m2://res/2E8DDPAZN3 |
|---|---|
| Kind | preprint |
| Creators | Devesh Nath, Haoran Yin, Glen Chou |
| Date | 2026-01-03 |
| Subjects | arxiv eess.SY, arxiv cs.AI, arxiv cs.LG, arxiv cs.RO, arxiv cs.SY, arxiv math.OC |
| Scope | out |
Expressions
e1: version, preprint
| Date | 2026-01-03 |
|---|---|
| Ids | arXiv 2601.01076 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Model learning \& controller design | problem | problem 1 | arxiv |
| KRS overapproximation | statement | lemma 1 | arxiv |
| CKRS Coverage Guarantee | statement | theorem 1 | arxiv |
| CG Robustness | statement | proposition 1 | arxiv |
| $1-\delta$)-confident RSOA computation | problem | problem 2 | arxiv |
| KRS overapproximation | statement | lemma 1 | arxiv |
| CKRS Coverage Guarantee | statement | theorem 1 | arxiv |
Catalogue records
- arxiv: 2601.01076 (work)