Quadratic Programming Problem Research Articles

A weighted hybrid indoor positioning method based on path loss exponent estimation

With the rapid development of the Internet of Things (IoT), location-based services (LBS) have gained significant attention due to their widespread applications in daily life. This paper addresses the indoor target positioning problem in wireless sensor networks (WSNs). A weighted constrained linear least squares algorithm based on path loss exponent estimation (PLE-WCLLS) with received signal strength (RSS) and angle of arrival (AoA) hybrid measurements is proposed. To address the challenges of unknown transmission power and path loss exponent (PLE), the proposed method employs a linear least squares (LLS) estimation approach based on the ranging maximum likelihood (ML) estimation model to estimate both parameters. Subsequently, a confidence weight adjustment strategy is designed to reduce positioning errors. To handle the highly non-convex and nonlinear nature of the RSS/AoA hybrid optimization model, a linearization method based on Taylor series expansion is presented. Accurate target position estimation is achieved by solving a constrained quadratic programming problem. The effectiveness of the proposed algorithm is validated through numerical simulations and experimental evaluation in a real indoor environment. Compared to traditional positioning methods, the PLE-WCLLS algorithm improves positioning accuracy by 13.2%, and it performs exceptionally well even in scenarios with fewer sensor nodes. This gives it broad application prospects in areas such as IoT device management, personnel tracking in smart buildings, and asset localization in industrial automation.

Directional differentiability of the optimal value function in quadratic programming problem on Hilbert spaces

Directional differentiability of the optimal value function in quadratic programming problem on Hilbert spaces

Gust load alleviation of a flexible flying wing with linear parameter-varying modeling and model predictive control

This paper presents a practical model predictive control (MPC) framework for gust load alleviation of a flexible flying wing. Both the controller solving and state estimation are based on a reduced-order model, which features a linear parameter-varying (LPV) form, avoiding online linearization and reducing the scale of the corresponding quadratic programming problem. An improved modeling and model reduction process is used to enhance modeling efficiency and ensure that the reduced-order model can accurately capture the rigid-flexible coupled characteristics of the flexible flying wing under arbitrary gusts. By reconstructing the output of the control-oriented model to include both rigid-body motion and flexible vibrations, the rigid-flexible coupled multi-objective control is established as an MPC problem for reference tracking. The online optimization is formulated in a sparse fashion and combined with an iterative algorithm based on predicted trajectories, describing the variation of model dynamics within the prediction horizon more accurately. With a time-varying Kalman estimator for state updating, the closed-loop simulations are performed for gust alleviation performance validation. Additionally, the real-time potential of the proposed MPC framework is demonstrated through Monte Carlo simulations.

Divisional intuitionistic fuzzy least squares twin SVM for pipeline leakage detection

Improving the accuracy of pipeline leak detection in noisy environments is significant for maintaining pipeline safety. Currently, the weighted support vector machine (SVM) is extensively employed. Among them, Intuitionistic fuzzy twin SVM (IFTSVM) has good robustness due to the integration of intuitionistic fuzzy set theory. However, IFTSVM does not fully consider the position information of samples in the feature space, cannot reduce the impact of heterogeneous clustering noise. Moreover, it requires solving two quadratic programming problems (QPPs), which is inefficient. To address the aforementioned issues, this paper proposes a divisional intuitionistic fuzzy least squares twin SVM (DIFL-TSVM) for pipeline leakage detection. This approach proposes a novel divisional intuitionistic fuzzy membership calculation strategy to reduce the impact of heterogeneous clustering noise and simplify the calculation of sample membership. In addition, DIFL-TSVM transforms the original QPPs into two linear equations using the least squares method to improve the efficiency of model. This paper verifies that the DIFL-TSVM model not only has the ability to eliminate the effects of discrete noise and heterogeneous clustering noise but also more efficiency on water supply pipeline leakage diagnosis experiments and UCI datasets. The experimental results show that DIFL-TSVM has higher leak identification with a detection accuracy of 95.6 %.

Hybrid TBETI domain decomposition for huge 2D scalar variational inequalities

AbstractThe unpreconditioned H‐TFETI‐DP (hybrid total finite element tearing and interconnecting dual‐primal) domain decomposition method introduced by Klawonn and Rheinbach turned out to be an effective solver for variational inequalities discretized by huge structured grids. The basic idea is to decompose the domain into non‐overlapping subdomains, interconnect some adjacent subdomains into clusters on a primal level, and enforce the continuity of the solution across both the subdomain and cluster interfaces by Lagrange multipliers. After eliminating the primal variables, we get a reasonably conditioned quadratic programming (QP) problem with bound and equality constraints. Here, we first reduce the continuous problem to the subdomains' boundaries, then discretize it using the boundary element method, and finally interconnect the subdomains by the averages of adjacent edges. The resulting QP problem in multipliers with a small coarse grid is solved by specialized QP algorithms with optimal complexity. The method can be considered as a three‐level multigrid with the coarse grids split between primal and dual variables. Numerical experiments illustrate the efficiency of the presented H‐TBETI‐DP (hybrid total boundary element tearing and interconnecting dual‐primal) method and nice spectral properties of the discretized Steklov–Poincaré operators as compared with their finite element counterparts.

Support vector machine based on the quadratic unconstrained binary optimization model

Abstract Support vector machine (SVM) is a powerful supervised machine learning model that is often used in binary classification algorithms. As Moore’s Law approaches its theoretical limits and the demand for machine learning to handle large-scale, high-dimensional data analysis intensifies, the necessity of adopting non-traditional computational approaches becomes evident. Quantum computing, in particular, emerges as a vital solution for the effective training of SVM models, providing capabilities beyond those of classical computing systems. To solve the above problems, a QUBO (quadratic unconstrained binary optimization) model is proposed to transform the SVM machine learning model into a quadratic unconstrained binary optimization problem so that they can be effectively trained on the D-Wave platform using adiabatic quantum computer. The results show that the QUBO model can transform the SVM model into a simple quadratic programming problem, which makes it suitable for adiabatic quantum computer processing. When processing large-scale and high-dimensional data, this transformation shows a natural advantage and significantly improves computational efficiency. The application potential of this transformation technology is huge in the medical field.

Global optimization for large‐scale water network synthesis based on dynamic partition and adaptive bound tightening

AbstractThe synthesis of large‐scale integrated water networks is typically formulated as nonconvex mixed‐integer quadratic constrained programming (MIQCP) or QCP problems. With the complexity arising from bilinear terms in modeling mass flows of contaminants and binary variables representing the presence of units or streams, numerous local optima exist, thus presenting a significant optimization challenge. This study introduces a deterministic global optimization algorithm based on mixed‐integer programming (MIP) to tackle such problems. The approach involves dynamically strengthening the relaxed problems to converge towards the original problems. A simultaneous partition strategy is proposed combining locally uniform division with dynamic partitioned variables choosing. Furthermore, several adaptive bound contraction schemes are introduced to efficiently manage the size of the relaxed problems, assisting in accelerating the solution process. The algorithm's effectiveness and robustness are demonstrated with a large test set, showing superior performance compared to commercial solvers specifically on MIQCP problems.

Model-less optimal visual control of tendon-driven continuum robots using recurrent neural network-based neurodynamic optimization

Tendon-driven continuum robots (TDCRs) have infinite degrees of freedom and high flexibility, posing challenges for accurate modeling and autonomous control, especially in confined environments. This paper presents a model-less optimal visual control (MLOVC) method using neurodynamic optimization to enable autonomous target tracking of TDCRs in confined environments. The TDCR’s kinematics are estimated online from sensory data, establishing a connection between the actuator input and visual features. An optimal visual servoing method based on quadratic programming (QP) is developed to ensure precise target tracking without violating the robot’s physical constraints. An inverse-free recurrent neural network (RNN)-based neurodynamic optimization method is designed to solve the complex QP problem. Comparative simulations and experiments demonstrate that the proposed method outperforms existing methods in target tracking accuracy and computational efficiency. The RNN-based controller successfully achieves target tracking within constraints in confined environments.

Robust adaptive beamforming for cylindrical uniform conformal arrays based on low-rank covariance matrix reconstruction

Recently, conformal arrays have attracted considerable interest because such arrays can provide reduced radar cross-section and increased angle coverage. In this article, we devise a robust adaptive beamforming (RAB) approach using cylindrical uniform conformal array (CUCA). Firstly, we derive the minimum variance distortionless response (MVDR) beamformer for the CUCA by utilizing the noise subspace of interference covariance matrix (ICM) and steering vector (SV) of the signal-of-interest (SOI). Subsequently, the ICM is reconstructed by estimating the noise-free covariance matrix of the CUCA outputs and the interference projection matrix. Specifically, the noise-free covariance matrix can be regarded as multiple low-rank covariance matrices, and each low-rank matrix is reconstructed by formulating a nuclear norm minimization (NNM) problem. With the reconstructed covariance matrix, the 2-D DOAs of sources are determined by employing 2-D MUSIC spectrum to form the interference projection matrix. In addition, the SOI SV is estimated by solving a quadratically constrained quadratic programming (QCQP) problem. Numerical results demonstrate that the proposed approach is obviously superior to the existing RAB techniques.

Virtually coupled train set control subject to space-time separation: A distributed economic MPC approach with emergency braking configuration

The emerging virtual coupling technology aims to operate multiple train units in a Virtually Coupled Train Set (VCTS) at a minimal but safe distance. To guarantee collision avoidance, the safety distance should be calculated using the state-of-the-art space-time separation principle that separates the Emergency Braking (EB) trajectories of two successive units during the whole EB process. In this case, the minimal safety distance is usually numerically calculated without an analytic formulation. Thus, the constrained VCTS control problem is hard to address with space-time separation, which is still a gap in the existing literature. To solve this problem, we propose a Distributed Economic Model Predictive Control (DEMPC) approach with computation efficiency and theoretical guarantee. Specifically, to alleviate the computation burden, we transform implicit safety constraints into explicitly linear ones, such that the optimal control problem in DEMPC is a quadratic programming problem that can be solved efficiently. For theoretical analysis, sufficient conditions are derived to guarantee the recursive feasibility and stability of DEMPC, employing compatibility constraints, tube techniques and terminal ingredient tuning. Moreover, we extend our approach with globally optimal and distributed online EB configuration methods to shorten the minimal distance among VCTS. Finally, experimental results demonstrate the performance and advantages of the proposed approaches.

Solving inverse boundary value problem of Poisson equation by LS-SVM

Abstract In this paper, a new method based on least squares support vector machines (LS-SVM) is presented for solving the inverse boundary value problem of Poisson equation. The closed form analytical solution is obtained by optimizing the regression parameters. The core problem is to transform the parametric regression problem into a quadratic programming problem. To demonstrate the efficiency of the proposed algorithm, numerical experiments are conducted. The proposed method is found to be feasible for the inverse boundary value problem of Poisson equation.

α-Cut Approach for Solving Fuzzy Rough Multi-Objective Quadratic Programming Problem

α-Cut Approach for Solving Fuzzy Rough Multi-Objective Quadratic Programming Problem

Safety-critical anti-disturbance control of tugs for collaborative berthing

It is a challenging task for large ships themselves berthing in port areas even for an experienced captain. This paper addresses the collaborative berthing by utilizing tugs maneuvering at low speeds for operating a ship. A safety-critical anti-disturbance control method is proposed for collaborative berthing subject to the contact force constraint, velocity constraints, ship constraints referring to constraining the tugs velocities in the body frame of the ship and the angular rate of the ship, as well as ocean disturbances. First, a finite-time kinematic control law is developed for each tug to track the desired position and heading prescribed by using the relative distance between two tugs and the heading of port shoreline. Next, an extended state observer (ESO) based on robust exact differentiator (RED) is used for each tug to estimate the model uncertainties and environment disturbances. Then, a safety-critical anti-disturbance control law is designed for each tug by employing an RED-based ESO. Finally, through converting the contact force constraint and ship constraints to velocity constraints on tugs, a quadratic programming problem is solved to obtain the collaborative velocity signals for achieving the collaborative operation of the connected tugs subject to velocity constraints. It is proven that the closed-loop control system is finite-time input-to-state stable and the safety during collaborative berthing can be guaranteed in the presence of environmental disturbances. Simulation results are given to substantiate the efficacy of the proposed safety-critical anti-disturbance control method of tugs for collaborative berthing.

Two-Step Quadratic Programming for Physically Meaningful Smoothing of Longitudinal Vehicle Trajectories

Longitudinal vehicle trajectories suffer from errors and noise because of detection and extraction techniques, challenging their applications. Existing smoothing methods either lack physical meaning or cannot ensure solution existence and uniqueness. To address this, we propose a two-step quadratic programming method that aligns smoothed speeds and higher-order derivatives with physical laws, drivers’ behaviors, and vehicle characteristics. Unlike the well-known smoothing splines method, which minimizes a weighted sum of discrepancy and roughness in a single quadratic programming problem, our method incorporates prior knowledge of position errors into two sequential quadratic programming problems. Step 1 solves half-smoothed positions by minimizing the discrepancy between them and raw positions, subject to physically meaningful bounds on speeds and higher-order derivatives of half-smoothed positions. Step 2 solves smoothed positions by minimizing the roughness while maintaining physically meaningful bounds and allowing the deviations from raw data of smoothed positions by at most those of the half-smoothed positions and prior position errors. The second step’s coefficient matrix is not positive definite, necessitating the matching of the first few smoothed positions with corresponding half-smoothed ones, with equality constraints equaling the highest order of derivatives. We establish the solution existence and uniqueness for both problems, ensuring their well-defined nature. Numerical experiments using Next Generation Simulation (NGSIM) data demonstrate that a third-order derivative constraint yields an efficient method and produces smoothed trajectories comparable with manually re-extracted ones, consistent with the minimum jerk principle for human movements. Comparisons with an existing approach and application to the Highway Drone data set further validate our method’s efficacy. Notably, our method is a postprocessing smoothing technique based on trajectory data and is not intended for systematic errors. Future work will extend this method to lateral vehicle trajectories and trajectory prediction and planning for both human-driven and automated vehicles. This approach also holds potential for broader smoothing problems with known average error in raw data. History: This paper has been accepted for the Transportation Science Special Issue on ISTTT25 Conference. Funding: The authors extend their gratitude to the Pacific Southwest Region University Transportation Center and the University of California Institute of Transportation Studies (UC ITS) Statewide Transportation Research Program (STRP) for their valuable financial support.

A verified training support vector machine in bearing fault diagnosis

Abstract The combination of support vector machine (SVM) and deep learning is widely used in bearing fault diagnosis. The SVM-based bearing fault diagnosis method usually uses features extracted from bearing vibration signals as input. However, environmental noise in industrial applications can affect the feature representation, potentially leading to failures in SVM-based fault diagnosis methods. Adversarial robustness verification methods can evaluate the robustness of models to small perturbations in feature representations. Certified defense methods achieve robustness enhancement by embedding adversarial robustness verification into the learning process of the model. Thus, we propose a certified defense method named verified training SVM (VT-SVM) based on Lagrange duality. The proposed method incorporates adversarial robustness verification into the SVM learning framework, thereby enhancing the robustness of SVM in noisy environments. First, the certified defense optimization problem of SVM is constructed by combining the original optimization problem of SVM with the adversarial robustness verification problem. Then, the certified defense optimization problem is converted into an equivalent convex quadratic programming problem by introducing slack variables. Next, the Lagrange duality is used to transform the convex quadratic programming problem into a dual problem. Finally, the solution to the original optimization problem can be obtained by solving the dual problem. We validate the effectiveness of VT-SVM on the artificial dataset, the rolling bearing dataset from Case Western Reserve University, and the VBL-VA001 dataset from Sepuluh Nopember Institute of Technology. Experimental results demonstrate that our method both ensures high predictive performance and improves the resistance of the model to small noise.

Distributed virtual formation control for railway trains with nonlinear dynamics and collision avoidance constraints

To improve the model accuracy and control efficiency for the movements of a virtual formation, this paper investigates distributed optimal control for the virtual formation control system in railways. Adopting the relative distance braking mode, a coupled optimal control problem with nonlinear train dynamics and constraints regarding collision avoidance and jerk is formulated for the virtual formation. To handle the non-convex constrained problem efficiently, a distributed augmented Lagrangian based alternating direction inexact newton (ALADIN) method under the model predictive control (MPC) framework is developed. For the execution of the distributed computational process, the copied variables are introduced to reformulate the original coupled problem in an objective separable form. By exploiting the problem separability, the ALADIN method decomposes the reformulation into a coordinated quadratic programming problem of small-scale and several local nonlinear programming problems that can be calculated in parallel, thereby facilitating real-time control and relieving communication burden. Numerical experiments on a metro line are carried out to verify the effectiveness of the proposed model and method. Experimental results demonstrate that high-performance tracking control for virtually coupled train units can be achieved in real time.

A varying-parameter complementary neural network for multi-robot tracking and formation via model predictive control

In this paper, a varying-parameter complementary neural network (VPCNN) is designed and combined with model predictive control (MPC) to solve the multi-robot tracking and formation problems via a leader–follower strategy. First, multi-robot tracking and formation problems are transformed into quadratic programming (QP) problems employing an MPC approach. Second, a nonlinear complementary function approach, i.e., the Fischer–Burmeister function, is used to map the Karush–Kuhn–Tucker conditions of the QP problem with double-ended inequality constraints to a system of nonlinear equations. Finally, the VPCNN is designed to solve the multi-robot tracking and formation problem. The effectiveness of the proposed method is demonstrated by numerical simulations, and the advantage of VPCNN in terms of solution speed is indicated by comparisons with a primal–dual neural network.

A two-phase sequential algorithm for global optimization of the standard quadratic programming problem

AbstractWe introduce a new sequential algorithm for the Standard Quadratic Programming Problem (StQP), which exploits a formulation of StQP as a Linear Program with Linear Complementarity Constraints (LPLCC). The algorithm is finite and guarantees at least in theory a $$\delta $$ δ -approximate global minimum for an arbitrary small $$\delta $$ δ , which is a global minimum in practice. The sequential algorithm has two phases. In Phase 1, Stationary Points (SP) with strictly decreasing objective function values are computed. Phase 2 is designed for giving a certificate of global optimality for the last SP computed in Phase 1. Two different Nonlinear Programming Formulations for LPLCC are proposed for each one of these phases, which are solved by efficient enumerative algorithms. New procedures for computing a lower bound for StQP are also proposed, which are easy to implement and give tight bounds in general. Computational experiments with a number of test problems from known sources indicate that the two-phase sequential algorithm is, in general, efficient in practice. Furthermore, the algorithm seems to be an efficient way to study the copositivity of a matrix by exploiting an StQP with this matrix.

Forecasting the market value of power battery industry chain: A novel RRMIDAS-SVR model

The emergence of electric vehicles has contributed to mitigating air pollution and greenhouse effects caused by traditional fuel vehicles. The power battery industry chain, which is a primary component of electric vehicles, requires more attention to monitor its development status. This study proposes a novel method for forecasting the development status of the power battery industry chain by monitoring the market value index of all listed companies in the power battery industry. It proposes a new forecasting model, RRMIDAS-SVR, which outlines reverse-restricted mixed data sampling (RRMIDAS) into support vector regression (SVR) to end the data-driven challenges of mixed-frequency data and nonlinear relationships. We estimate the RRMIDAS-SVR model using a quadratic programming problem and mixed-frequency West Texas Intermediate crude oil futures prices, electric vehicle sales, and the consumer price index as predictors of the market value of all listed companies in the power battery industry chain. The experimental findings reveal that the RRMIDAS-SVR model outperforms the other models, as evidenced by its lower mean absolute error and root-mean-square error. This study contributes to understanding the development status of the power battery industry value chain by proposing and developing a new approach, RRMIDAS-SVR, to monitor the industry's development status that considers a multi-source information set. Moreover, this study provides strategic insights for stakeholders in the power battery industry.

Two stage beamforming and combining scheme for FDD massive MIMO systems with multi‐antenna users

AbstractThis paper proposes a two‐stage beamforming and combining scheme in frequency division duplex (FDD) massive multiple‐input multiple‐output (MIMO) systems with multi‐antenna users. Specifically, the proposed scheme is a two‐stage scheme, where the pre‐beamforming matrix and pre‐combining matrix are designed using the channel covariance matrix (CCM) in the first stage. The problem of the pre‐beamforming matrix and pre‐combining matrix design are formulated as an 0–1 quadratic integer programming problem. To solve this problem, it is further transformed into an 0–1 mixed linear integer programming problem. In the second stage, the sparse code multiple access and multi‐user precoding and combining are adopted to mitigate the inter‐user interference. Different from the previous transmission scheme using CCM, the proposed scheme consider the multi‐antenna user system, and uses the CCM to design both the pre‐beamforming and pre‐combining matrices to sparsify the effective channel matrix, such that the overhead of pilot and feedback can be reduced. Moreover, the sparse code multiple access can help to better reduce the inter‐user interference. Simulation results validate the good performance of the proposed scheme.