In this paper, we address the problem of exponential stability for a class linear hyperbolic systems with distributed sampled-data control. First, recast original system into hybrid model via an augmented approach. Using model, link between sampling interval, state and its sampled vector is characterized by Integral Quadratic Constraint (IQC). The obtained IQC used deriving numerically tractabl...

Computational methods are considered for finding a point that satisfies the secondorder necessary conditions for a general (possibly nonconvex) quadratic program (QP). The first part of the paper defines a framework for the formulation and analysis of feasible-point active-set methods for QP. This framework defines a class of methods in which a primal-dual search pair is the solution of an equa...

We deene a new aggregation operator n for constraint databases that makes it possible to measure innnite subsets of the n-dimensional space deened by constraints. We show that it is well deened for real linear arithmetic constraints and integer linear arithmetic constraints together with periodicity constraints. We also show that relational algebra augmented with n is closed in the real case an...

A new stereo vision tracker setup for virtual and augmented reality applications is presented in this paper. Performance, robustness and accuracy of the system are achieved under real-time constraints. The method is based on blobs extraction, two-dimensional prediction, the epipolar constraint and three-dimensional reconstruction. Experimental results using a stereo rig setup (equipped with IR ...

We consider the iterative solution of weighted Toeplitz least squares problems. Our approach is based on an augmented system formulation. We focus our attention on two types of preconditioners: a variant of constraint preconditioning, and the Hermitian/skew-Hermitian splitting (HSS) preconditioner. Bounds on the eigenvalues of the preconditioned matrices are given in terms of problem and algori...

Abstract. In this paper, we analyze the numerical behaviour of a separable Augmented Lagrangian algorithm with multiple scaling parameters, different parameters associated with each dualized coupling constraint as well as with each subproblem. We show that an optimal superlinear rate of convergence can be theoretically attained in the twice differentiable case and propose an adaptive scaling st...

Abstract. This paper investigates the exit-time for a broad class of symmetric finite-range jump processes via the corresponding master equation, a nonlocal diffusion equation suitably constrained. In direct analogy to the classical diffusion equation with a homogeneous Dirichlet boundary condition, the nonlocal diffusion equation is augmented with a homogeneous volume constraint. The volume-co...

We have extended Maruyama's 5, 6, 7] constraint dependency grammar (CDG) to process a lattice or graph of sentence hypotheses instead of separate text strings. A post-processor to a speech recognizer producing N-best hypotheses generates the word graph representation, which is then augmented with information required for parsing. We will summarize the CDG parsing algorithm and then describe how...

We address the iterative solution of symmetric KKT systems arising in the solution of convex quadratic programming problems. Two strictly related and well established formulations for such systems are studied with particular emphasis on the effect of preconditioning strategies on their relation. Constraint and augmented preconditioners are considered, and the choice of the augmentation matrix i...

Safe reinforcement learning considers practical scenarios that maximize the return while satisfying safety constraints. Current algorithms, which suffer from training oscillations or approximation errors, still struggle to update policy efficiently with precise constraint satisfaction. In this article, we propose Augmented Proximal Policy Optimization (APPO), augments Lagrangian function of pri...