We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transitions need not fire; time can pass and disable transitions). We consider the following verification problems for TPNs. (i) Zenoness: whether there exists a zeno-computation from a given marking, i.e., an infinite compu...

The treewidth of a graph measures how close the graph is to a tree. Many problems that are intractable for general graphs, are tractable when the graph has bounded treewidth. Recent works study the complexity of model checking for state transition systems of bounded treewidth. There is little reason to believe, however, that the treewidth of the state transition graphs of real systems, which we...

In this paper, a novel adaptive sliding mode control for rigid robot manipulators is proposed. In the proposed system, since there may exist explicit unknown parameters and perturbations, a Lyapunov based approach is presented to increase system robustness, even in presence of arbitrarily large (but not infinite) discontinuous perturbations. To control and track the robot, a continuous controll...

We extend the concept of constructive complete distributivity so as to make it applicable to ordered sets admitting merely bounded suprema The KZ doctrine for bounded suprema is of some independent interest and a few results about it are given The category of ordered sets admitting bounded suprema over which inhabited classically non empty in ma distribute is shown to be bi equivalent to a cate...

Let P be a property (or, equivalently, a class) of topological spaces. A space X is called P-bounded if every subspace of X with (or in) P has compact closure. Thus, countable-bounded has been known as ω-bounded and (σ-compact)-bounded as strongly ω-bounded. In this paper we present a systematic study of the interrelations of these two known “boundedness” concepts with P-boundedness where P is ...

This paper investigates the initial time difference equi-boundedness criteria in terms of two measures, initial time difference boundedness and Lagrange Stability in terms of two measures. These are unified with Lyapunov-like functions to establish a variational comparison result. We support our new results with analytic examples and numerical applications.

Real-variable methods are used to prove the Marcinkiewicz Interpolation Theorem, boundedness of the dyadic and Hardy-Littlewood maximal operators, and the Calderón-Zygmund Covering Lemma. The Hilbert transform is defined, and its boundedness is investigated. All results lead to a final theorem on the pointwise convergence of the truncated Hilbert transform

in 1997, fang proposed the concept of boundedness of $l$-fuzzy setsin $l$-topological vector spaces. since then, this concept has beenwidely accepted and adopted in the literature. in this paper,several characterizations of bounded $l$-fuzzy sets in$l$-topological vector spaces are obtained and some properties ofbounded $l$-fuzzy sets are investigated.

‎we consider nonconvex vector optimization problems with variable ordering structures in banach spaces‎. ‎under certain boundedness and continuity properties we present necessary conditions for approximate solutions of these problems‎. ‎using a generic approach to subdifferentials we derive necessary conditions for approximate minimizers and approximately minimal solutions of vector optimizatio...

The following two propositions are true: (1) For every sequence s1 of real numbers and for every real number r such that s1 is bounded and 0 ≤ r holds lim inf(r s1) = r · lim inf s1. (2) For every sequence s1 of real numbers and for every real number r such that s1 is bounded and 0 ≤ r holds lim sup(r s1) = r · lim sup s1. Let X be a real Banach space. One can verify that MetricSpaceNormX is co...