We propose an extension, called L + p , of the temporal logic LTL, which enables talking about nitely many register values: the models are innnite words over tuples of integers (resp. real numbers). The formulas of L + p are at: on the left of an until, only atomic formulas or LTL formulas are allowed. We prove, in the spirit of the correspondence between automata and temporal logics, that the ...

It is proved that every commutative ring whose RD-injective modules are Σ-RD-injective is the product of a pure semi-simple ring and a finite ring. A complete characterization of commutative rings for which each artinian (respectively simple) module is RD-injective, is given. These results can be obtained by using the properties of RD-flat modules and RD-coflat modules which are respectively th...

The aim of this paper is to present some recent developments and hints for future researches in control inspired of flatnessbased ideas. We focus on motion planning: Steering a system from one state to another. We do not consider stabilization and trajectory tracking. We explain how explicit trajectory parameterization, a property that is central for flat systems, can be useful for the feed-for...

A construction of conformal infinity in null and spatial directions is constructed for the Rainbow-flat space-time corresponding to doubly special relativity. From this construction a definition of asymptotic DSRness is put forward which is compatible with the correspondence principle of Rainbow Gravity. Furthermore a result equating asymptotically flat space-times with asymptotically DSR space...