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

Different neural networks related to Fuzzy min-max (FMM) has been studied and amongst all, Enhanced Fuzzy min-max (EFMM) neural network is most recent. For classification of patterns a new Enhanced Fuzzy Min-Max (EFMM) algorithm has been studied. The aim of EFMM is to improve the performance and minimize the restrictions that are possessed by original fuzzy min-max (FMM) network. Three heuristi...

THE VISCOSITY OF A COMPRESSED GAS IS A FUNCTION OF THREE VARIABLES: (1) the degree of crowding of the molecules; (2) their capacity, by reason of softness, flexibility, or rotational inertia, to absorb the vector momentum applied to cause flow; (3) the resistance to this vector momentum offered by the randomly oriented thermal momenta, which becomes significant when the liquid expands sufficien...

Elementary smooth functions (beyond contact) are employed to construct pair correlation functions that mimic jammed disordered sphere packings. Using the g_{2} -invariant optimization method of Torquato and Stillinger [J. Phys. Chem. B 106, 8354 (2002)], parameters in these functions are optimized under necessary realizability conditions to maximize the packing fraction varphi and average numbe...

Analysis of 〈X,R〉 models is considered as part of a general approach to solving optimization problems with fuzzy coefficients. This approach involves a modification of traditional optimization methods and is associated with formulating and solving one and the same problem within the framework of mutually interrelated models by constructing equivalent analogs with fuzzy coefficients in objective...