Given a recursive (datalog) query, the nonrecursive incremental evaluation approach uses nonrecursive (datalog) programs to compute the difference of the answers to the query against successive databases between updates. The mechanism used in this approach is called a “First-Order Incremental Evaluation System” (FOIES). We show that for two large classes of datalog queries, called “generalized ...

In this paper we study the response to external disturbances of a double integrator with saturating feedback. For a class of disturbances that have bounded integrals over all intervals, we show that a linear static feedback law can always be designed to ensure boundedness of the states. Moreover, boundedness can be preserved if the disturbance is biased by a small DC signal. In the special case...

In [LWZ], we established Liouville-type theorems and decay estimates for solutions of a class of high order elliptic equations and systems without the boundedness assumptions on the solutions. In this paper, we continue our work in [LWZ] to investigate the role of boundedness assumption in proving Liouville-type theorems for fully nonlinear equations. We remove the boundedness assumption of sol...

In precursory work we suggested an abstraction-based highly scalable semi-test for the boundedness of Communicating Finite State Machine (CFSM) based modelling and programming languages. We illustrated its application to Promela and UML-RT models. The test is sound with respect to determining boundedness, but may return inconclusive ”counterexamples” when boundedness cannot be established. In t...

in the present paper we define the notion of fuzzy inner productand study the properties of the corresponding fuzzy norm. in particular, it isshown that the cauchy-schwarz inequality holds. moreover, it is proved thatevery such fuzzy inner product space can be imbedded in a complete one andthat every subspace of a fuzzy hilbert space has a complementary subspace.finally, the notions of fuzzy bo...

In this paper boundedness and compactness of generalized composition oper-ators from logarithmic Bloch type spaces to Q_K type spaces are investigated.

In this paper, we consider the boundedness of the Libera operator on Dirichlet spaces in terms of the Schur test. Moreover, we get its point spectrum and norm.

,2= Abstract In this paper, we address the control problem of multiple robots manipulating a load cooperatively. First we propose a controller that ensures the asymptotic convergence of the load position and the internal forces to their desired values. Next we propose an adaptive control scheme for the multi-robot system. The adaptive controller ensures the asymptotic convergence of the load po...