Bounding the escape time of a linear dynamical system over a compact semialgebraic set
We study the Escape Problem for discrete-time linear dynamical systems over compact semialgebraic sets. We establish a uniform upper bound on the number of iterations it takes for every orbit of a rational matrix to escape a compact semialgebraic set defined over rational data. Our bound is doubly e...
প্রধান লেখক: | D'Costa, J, Lefaucheux, E, Neumann, E, Ouaknine, J, Worrell, J |
---|---|
বিন্যাস: | Conference item |
ভাষা: | English |
প্রকাশিত: |
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2022
|
বিষয়গুলি: |
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
অনুযায়ী: D'Costa, J, অন্যান্য
প্রকাশিত: (2021) -
Reachability and escape problems in linear dynamical systems
অনুযায়ী: Dcosta, J
প্রকাশিত: (2024) -
How fast can you escape a compact polytope?
অনুযায়ী: D'Costa, J, অন্যান্য
প্রকাশিত: (2020) -
The Semialgebraic Orbit Problem
অনুযায়ী: Almagor, S, অন্যান্য
প্রকাশিত: (2019) -
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
অনুযায়ী: Baier, C, অন্যান্য
প্রকাশিত: (2022)