Adaptive and non-adaptive minimal realization (MR) fractional order observers (FOO) for linear time-invariant systems (LTIS) of a possibly different derivation order (mixed order observers, MOO) are studied in this paper. ...

A representation field for a non-maximal order in a central simple algebra is a subfield of the spinor class field of maximal orders which determines the set of spinor genera of maximal orders representing H. In our previous ...

Real-order generalization of dissipativeness and passivity concepts are presented in this paper. They are characterized as properties of a system; that is, they are independent of the system's internal representation and ...

We study the length functions of controlled bad sequences over some well quasi-orders (wqo's) and classify them in the Fast Growing Hierarchy. We develop a new and self-contained study of the length of bad sequences over ...

The spinor class field for a genus of orders of maximal rank in a quaternion algebra a over a number field K is an abelian extension Σ/K provided with a distance function associating elements of the corresponding Galois ...

We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable ...

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we ...

We describe all possible ways of bi-ordering Thompson’s group F: its space of bi-orderings is made up of eight isolated points and four canonical copies of the Cantor set.

We explicitly construct a stationary coupling attaining Ornstein`s (d) over bar -distance between ordered pairs of binary chains of infinite order. Our main tool is a representation of the transition probabilities of the ...