discrete time
Recently Published Documents


TOTAL DOCUMENTS

25916
(FIVE YEARS 6977)

H-INDEX

169
(FIVE YEARS 49)

2022 ◽  
Vol 23 (2) ◽  
pp. 1-20
Author(s):  
Shaull Almagor ◽  
Dmitry Chistikov ◽  
Joël Ouaknine ◽  
James Worrell

Termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination relates to deep open problems in number theory, such as the decidability of the Skolem and Positivity Problems for linear recurrence sequences, or equivalently reachability questions for discrete-time linear dynamical systems. In this article, we introduce the class of o-minimal invariants , which is broader than any previously considered, and study the decidability of the existence and algorithmic synthesis of such invariants as certificates of non-termination for linear loops equipped with a large class of halting conditions. We establish two main decidability results, one of them conditional on Schanuel’s conjecture is transcendental number theory.


2022 ◽  
Vol 403 ◽  
pp. 113824
Author(s):  
Zhongbo Sun ◽  
Yongbai Liu ◽  
Gang Wang ◽  
Yufeng Lian ◽  
Keping Liu ◽  
...  

Automatica ◽  
2022 ◽  
Vol 136 ◽  
pp. 110043
Author(s):  
Yige Guo ◽  
Xiang Xu ◽  
Lu Liu ◽  
Yong Wang ◽  
Gang Feng

Sign in / Sign up

Export Citation Format

Share Document