While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this paper we present and study the logic rLTL which provides means to formally reason about both correctness design. Furthermore, identify large fragment of for verification problem can be efficiently solved, i.e., done by using an automaton, recognizing behaviors described form...

For a convex body $K$ in $\mathbb{R}^n$, we introduce and study the extremal general affine surface areas, defined by \[ {\rm IS}_{\varphi}(K):=\sup_{K^\prime\subset K}{\rm as}_{\varphi}(K),\quad os}_{\psi}(K):=\inf_{K^\prime\supset as}_{\psi}(K) \] where ${\rm as}_{\varphi}(K)$ as}_{\psi}(K)$ are $L_\varphi$ $L_\psi$ area of $K$, respectively. We prove that there exist bodies achieve supremum ...

Let $varphi(z)=z^m, z in mathbb{U}$, for some positive integer $m$, and $C_varphi$ be the composition operator on the Bergman space $mathcal{A}^2$ induced by $varphi$. In this article, we completely determine the point spectrum, spectrum, essential spectrum, and essential norm of the operators $C^*_varphi C_varphi, C_varphi C^*_varphi$ as well as self-commutator and anti-self-commutators of $C_...

‎In this paper we investigate the dilations of completely positive definite representations‎ ‎of (C^ast)-dynamical systems with abelian groups on Hilbert (C^ast)-modules‎. ‎We show that if ((mathcal{A}‎, ‎G,alpha)) is a (C^ast)-dynamical system with (G) an abelian group‎, ‎then every completely positive definite covariant representation ((pi,varphi,E)) of ((mathcal{A}‎, ‎G,alpha)) on a Hilbert ...

In this paper we investigate some hereditary properties of amenability modulo an ideal of Banach algebras. We show that if $(e_alpha)_alpha$ is a bounded approximate identity modulo I of a Banach algebra A and X is a neo-unital modulo I, then $(e_alpha)_alpha$ is a bounded approximate identity for X. Moreover we show that amenability modulo an ideal of a Banach algebra A can be only considered ...

In this paper, the notion of cyclic $varphi$-contraction in fuzzymetric spaces is introduced and a fixed point theorem for this typeof mapping is established. Meantime, an example is provided toillustrate this theorem. The main result shows that a self-mappingon a G-complete fuzzy metric space has a unique fixed point if itsatisfies the cyclic $varphi$-contraction. Afterwards, some results inco...

let  and  be banach algebras, ,  and . we define an -product on  which is a strongly splitting extension of  by . we show that these products form a large class of banach algebras which contains all module extensions and triangular banach algebras. then we consider spectrum, arens regularity, amenability and weak amenability of these products.