We propose a model checking scheme for a semantically complete fragment of CTL by combining techniques from constraint logic programming, a restricted form of constructive negation and tabled resolution. Our approach is symbolic in that it encodes and manipulates sets of states using constraints; it supports local model checking using goal-directed computation enhanced by tabulation. The framew...

We present a new framework of the data-reusing (DR) adaptive algorithms by incorporating a constraint on noise, referred to as a noise constraint. The motivation behind this work is that the use of the statistical knowledge of the channel noise can contribute toward improving the convergence performance of an adaptive filter in identifying a noisy linear finite impulse response (FIR) channel. B...

In this paper a Godunov-type projection method for computing approximate solutions of the zero Froude number (incompressible) shallow water equations is presented. It is second-order accurate and locally conserves height (mass) and momentum. To enforce the underlying divergence constraint on the velocity field, the predicted numerical fluxes, computed with a standard second order method for hyp...

Despite being an effective and a general method to obtain optimal solutions, topology optimization generates solutions with complex geometries, which are neither cost-effective nor practical from a manufacturing (industrial) perspective. Manufacturing constraint techniques based on a unified projection-based approach are presented herein to properly restrict the range of solutions to the optimi...

Projection-based control (PBC) systems have significant engineering impact and receive considerable scientific attention. To properly describe closed-loop PBC systems, extensions of classical projected dynamical are needed, because partial projection operators irregular constraint sets (sectors) crucial in PBC. These two features obstruct the application existing results on existence completene...

We develop an exponentially convergent distributed algorithm to minimize a sum of nonsmooth cost functions with set constraint. The constraint generally leads the nonlinearity in algorithms, and results difficulties derive exponential rate. In this article, we remove consensus constraints by exact penalty method, then propose projected subgradient virtue differential inclusion differentiated pr...

This paper presents a new method for the integration of the equations of motion of constrained multibody systems in descriptor form. The method is based on the penalty-Augmented Lagrangian formulation and uses massorthogonal projections for the solution to satisfy the kinematic constraint conditions. The number of equations being solved is equal to the number of states, and does not depend on t...

This paper considers a networked system with a finite number of users and deals with the problem of minimizing the sum of all users’ objective functions over the intersection of all users’ constraint sets, onto which the projection cannot be easily implemented. The main objective of this paper is to devise distributed optimization algorithms, which enable each user to find the solution of the p...

Mixed pixels, which are inevitable in remote sensing images, often result in a lot of limitations in their applications. A novel approach for mixed pixel’s fully constrained unmixing, Fully Constrained Oblique Subspace Projection (FCOBSP) Linear Unmixing algorithm, is proposed to handle this problem. The Oblique Subspace Projection, in which the signal space is oblique to the background space, ...

We consider a finite volume scheme for the two-dimensional incompressible Navier-Stokes equations. We use a triangular mesh. The unknowns for the velocity and pressure are respectively piecewise constant and affine. We use a projection method to deal with the incompressibility constraint. The stability of the scheme has been proven in [15]. We infer from it its convergence. Mathematics Subject ...