Recently it has been shown that the conventional notions of stability in the sense of Lyapunov and asymptotic stability can be used to characterize the stability properties of a class of “logical” discrete event systems (DES). Moreover, it has been shown that stability analysis via the choice of appropriate Lyapunov functions can be used for DES and can be applied to several DES applications in...

We study Petri nets with Reset arcs (also Transfer and Doubling arcs) in combination with other extensions of the basic Petri net model. While Reachability is undecidable in all these extensions (indeed they are Turing-powerful), we exhibit unexpected frontiers for the decid-ability of Termination, Coverability, Boundedness and place-Boundedness. In particular, we show counter-intuitive separat...

In this paper, we establish some new sufficient conditions which guarantee the boundedness and the uniform boundedness of solutions of certain nonlinear and nonautonomous differential equations of second order. By defining appropriate Liapunov functions, we obtain some new results on the subject, and examples are also provided to illustrate the feasibility of the proposed results. By this work,...

In order to apply the concept of boundedness, so crucial in the theory of metric spaces, to the case of a general topological space Hu Sze-Tsen introduced the notions of a bornological space and of boundedness for a mapping of bornological spaces. In this work we discuss two alternative approaches how the concepts of bornology and boundedness can be extended to the case of fuzzy sets and many-v...

The operation of 1–3 nm thick SOI MOSFETs, in double-gate (DG) mode and single-gate (SG) mode (for either front or back channel), is systematically analyzed. Strong interface coupling and threshold voltage variation, large influence of substrate depletion underneath the buried oxide, absence of drain current transients, degradation in electron mobility are typical effects in these ultra-thin MO...

The relevance of the problem of managing periodic phenomena is widely recognized in the area of knowledge representation and reasoning. One of the most effective attempts at dealing with this problem has been the addition of a notion of time granularity to knowledge representation systems. Different formalizations of such a notion have been proposed in the literature, following algebraic, logic...

This paper classifies morphisms from {0, 1} that map to ultimately periodic words. In particular, if a morphism h maps an infinite non-ultimately periodic word to an ultimately periodic word then it must be true that h(0) commutes with h(1).

We identify a set of sufficient local conditions under which significant portion Radon measure ? on Rn+1 with compact support can be covered by an uniformly n-rectifiable set, at the level ball B?Rn+1 such that ?(B)?r(B)n. This result involves flatness condition, formulated in terms so-called ?1-number B, and L2(?|B)-boundedness, as well control mean oscillation ball, operatorT?f(x)=??xE(x,y)f(...

This paper proposes a novel set-invariance adaptive dynamic surface control (DSC) design for larger class of uncertain large-scale nonlinear input-saturated systems. The peculiarity this is that no a priori bound on the continuous gain functions assumed (i.e., their boundedness cannot be before...