Porous invariants for linear systems
We introduce the notion of <i>porous invariants</i> for multipath affine loops over the integers. These are invariants definable in (fragments of) Presburger arithmetic and, as such, lack certain tame geometrical properties, such a convexity and connectedness. Nevertheless, we show that...
| 主要な著者: | , , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
Springer
2024
|