2018/02/26 · In this paper, we introduce the class of \emph{o-minimal invariants}, which is broader than any previously considered, and study the ...

2022/01/14 · An o-minimal invariant is one that is definable in some o-minimal expansion of the ordered field R exp of real numbers with real exponentiation.

This paper is concerned with the existence and algorithmic synthesis of suitable invariants for discrete-time linear dynamical systems. Invariants are one of ...

This article is concerned with the existence and algorithmic synthesis of suitable invariants for discrete-time linear dynamical systems (LDS). Invariants are ...

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 ...

The class of o-minimal invariants is introduced, which is broader than any previously considered, and the decidability of the existence and algorithmic ...

Autor: Almagor, Shaull et al.; Genre: Zeitschriftenartikel; Online veröffentlicht: 2022; Open Access; Titel: O-Minimal Invariants for Discrete-Time ...

For a semi-algebraic set Y , it is decidable whether there exists a o-minimal invariant, disjoint from Y , that contains the orbit O(u) after some time u ≥ 0.

for linear loops, or equivalently for discrete-time linear dynamical systems. Invariants are one of the most fundamental and useful notions in the ...

For a semi-algebraic set Y , it is decidable whether there exists a o-minimal invariant, disjoint from Y , that contains the orbit O(u) after some time u ≥ 0.