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)