this paper is pertained with the problem of admissibility analysis of uncertain discrete-time nonlinear singular systems by adopting the state-space takagi-sugeno fuzzy model with time-delays and norm-bounded parameter uncertainties. lyapunov krasovskii functionals are constructed to obtain delay-dependent stability condition in terms of linear matrix inequalities, which is dependent on the low...

Various ways for decision making with imprecise probabilities—admissibility, maximal expected utility, maximality, E-admissibility, Γ-maximax, Γ-maximin, all of which are well-known from the literature—are discussed and compared. We generalize a well-known sufficient condition for existence of optimal decisions. A simple numerical example shows how these criteria can work in practice, and demon...

The variable splitting method for free-variable calculi provides an admissibility condition under which the same free variables can be assigned values independently on different branches. While this has a large potential for automated proof search, a direct implementation of this condition is impractical. We adapt the incremental closure framework for free variables to variable splitting tablea...

Noncommutative (NC) geometry1) had attracted much attention recently from various motivations. Topologically nontrivial configurations in finite NC geometries or matrix models2)3) have been constructed based on algebraic K-theory and projective modules in many papers, but it would be better if we could obtain an index operator which takes an integer even at a finite cutoff, since we need to per...

The problem addressed is the distributed reconfiguration of a metamorphic robot system composed of any number of two dimensional robots (modules). The initial configuration we consider is a straight chain of modules, while the goal configuration satisfies a simple admissibility condition. Our reconfiguration strategy depends on finding a contiguous path of cells, called a substrate path, that s...

In this paper we propose and analyse a new enhanced version of the panel-clustering algorithm for discrete boundary integral equations on polyhedral surfaces in 3D, which is designed to perform efficiently even when the meshes contain the highly stretched elements needed for efficient discretisation when the solution contains edge singularities. The key features of our algorithm are: (i) the em...

The admissibility condition of a mother wavelet is explored in the context of quantum optics theory. By virtue of Dirac’s representation theory and the coherent state’ property we derive a general formula for finding Mexican hat wavelets.