Bounding the escape time of a linear dynamical system over a compact semialgebraic set

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
主題:	Logic and verification Theory of computation

類似資料

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)

Skolem meets Schanuel
著者:: Bilu, Y, 等
出版事項: (2022)

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
著者:: Fijalkow, N, 等
出版事項: (2017)

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
著者:: Fijalkow, N, 等
出版事項: (2017)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
著者:: Fijalkow, N, 等
出版事項: (2019)

On the complexity of the orbit problem
著者:: Chonev, V, 等
出版事項: (2016)

Efficient simplicial replacement of semialgebraic sets
著者:: Saugata Basu, 等
出版事項: (2023-01-01)

Underapproximating backward reachable sets by semialgebraic sets
著者:: Xue, Bai, 等
出版事項: (2018)

Porous invariants for linear systems
著者:: Lefaucheux, E, 等
出版事項: (2024)

Complexity of semialgebraic proofs
著者:: Grigoriev, D, 等
出版事項: (2002)

Regularity and Semialgebraicity of Solutions of Linear Equations Systems
著者:: Marcello Malagutti
出版事項: (2024-01-01)

On the polytope escape problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2017)

Automated Verification of Shape and Size
著者:: Nguyen, Huu Hai, 等
出版事項: (2007)

What's decidable about linear loops?
著者:: Karimov, T, 等
出版事項: (2022)

Linear Completeness Thresholds for Bounded Model Checking.
著者:: Kroening, D, 等
出版事項: (2011)

On the decidability and complexity of Metric Temporal Logic over finite words
著者:: Joel Ouaknine, 等
出版事項: (2007-02-01)

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
著者:: Ryeonggu Kwon, 等
出版事項: (2023-11-01)

Alternating Timed Automata over Bounded Time
著者:: Jenkins, M, 等
出版事項: (2010)

Termination of linear loops over the integers
著者:: Hosseini, M, 等
出版事項: (2019)

Alternating Timed Automata over Bounded Time
著者:: Jenkins, M, 等
出版事項: (2010)

Semialgebraic methods and generalized sum-product phenomena
著者:: Yifan Jing, 等
出版事項: (2022-12-01)

Porous invariants
著者:: Lefaucheux, E, 等
出版事項: (2021)

The 2-dimensional constraint loop problem is decidable
著者:: Guilmant, Q, 等
出版事項: (2024)

The pseudo-reachability problem for diagonalisable linear dynamical systems
著者:: D'Costa, J, 等
出版事項: (2022)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
著者:: Mina Chavoshi, 等
出版事項: (2023-09-01)

Position Verification in Connected Vehicles for Cyber Resilience Using Geofencing and Fuzzy Logic
著者:: Maria Drolence Mwanje, 等
出版事項: (2024-01-01)

An Abstraction Technique for Verifying Shared-Memory Concurrency
著者:: Wytse Oortwijn, 等
出版事項: (2020-06-01)

On reachability for hybrid automata over bounded time
著者:: Brihaye, T, 等
出版事項: (2011)

On the Expressive Power of Some Extensions of Linear Temporal Logic
著者:: Anton Gnatenko, 等
出版事項: (2018-10-01)

Towards a Theory of Time-Bounded Verification.
著者:: Ouaknine, J, 等
出版事項: (2010)

Nonnegativity problems for matrix semigroups
著者:: D'Costa, J, 等
出版事項: (2024)

Time-Bounded Verification
著者:: Ouaknine, J, 等
出版事項: (2009)

Synthesis and alternating automata over real time
著者:: Jenkins, M, 等
出版事項: (2012)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
著者:: Bouillaguet, Charles, 等
出版事項: (2006)

Generating and Employing Witness Automata for ACTLW Formulae
著者:: Rok Vogrin, 等
出版事項: (2022-01-01)

Formal Verification of Three-Valued Digital Waveforms
著者:: Nina Yu. Kutsak, 等
出版事項: (2019-09-01)