SearcharxivSearch

arXiv subjects

Weihua Gui

Publications and source records attributed to Weihua Gui.

17 recordsLinked to original sources

Preference-Calibrated Human-in-the-Loop Reinforcement Learning for Robotic Manipulation

Human-in-the-loop reinforcement learning (HIL-RL) improves sample efficiency in real-robot manipulation through online human intervention. However, successful trajectories may include suboptimal actions that deviate from the desired task-execution path and force human intervention. Existing HIL-RL methods typically apply the consistent credit assignment principle to all transitions, uniformly propagating discounted terminal rewards through suboptimal segments, ignoring the actual contribution of each transition to task success. This overestimates Q-values for critic learning and indirectly misguides actor updates toward suboptimal behavior patterns. To this end, we propose PACT, a Preference-calibrated Actor-Critic Training framework that leverages the implicit preference signals induced by intervention to perform credit reassignment on identified suboptimal segments while directly guiding policy training for unbiased critic-actor learning. Specifically, we first design a progress model that learns from human demonstration and identifies suboptimal segments for credit correction. Then, from the human action and resampled policy action at the intervention state, we build preference pairs to define a counterfactual advantage that penalizes Bellman targets of the identified suboptimal segment, enabling directional credit calibration. Moreover, we directly align the policy with human corrective actions in the bounded mean space, providing an additional signal beyond critic-guided updates. Across five real-robot manipulation tasks, PACT improves the average success rate by 24.5% and achieves 1.3 times faster convergence, thereby improving both RL sample efficiency and performance. Code is available at https://anonymous.4open.science/r/HILRL-A1X-BC05.

cs.RO

Efficient state transition algorithm with guaranteed optimality

The state transition algorithm (STA), as an intelligent optimization method grounded in constructivist learning, has been demonstrated to be highly effective in solving complex optimization problems. However, the standard STA suffers from slow convergence, particularly in the later stages when dealing with flat landscapes. Additionally, users are required to set the maximum number of iterations based on intuition. To address these issues, an enhanced STA with guaranteed optimality is introduced. This improvement involves three key components. First, novel translation transformations, inspired by predictive modeling, are developed to generate a broader set of candidate solutions by leveraging historical data. Second, adaptive parameter control strategies are incorporated to accelerate convergence. Finally, a dedicated termination condition is designed to ensure that the algorithm converges at the optimal solution, analogous to the zero gradient condition in mathematical programming. The comprehensive experimental results validate the effectiveness and superiority of the proposed method. The source codes for ESTA and EXSTA will be publicly available at: https://github.com/tiezhongyu2005/ESTA.

math.OC

Event-triggered robust control of linear systems: Sliding mode cone method

In this paper, we investigate the global robust stabilization of linear time-invariant systems by using event-triggered sliding mode control (SMC). Different from the practical sliding mode band, which is commonly used in previous studies on event-triggered SMC, a new concept of ideal sliding mode cone is proposed in this paper. Specifically, we design a hybrid event-triggering mechanism that takes into account both the size and direction shift of the error state. The proposed event-triggered SMC law is shown to enforce and sustain the system state in the ideal sliding mode cone. Moreover, the state of the closed-loop system can asymptotically converge to the equilibrium point, rather than merely to a neighborhood of it, which is usually difficult to handle by using practical sliding mode band. Technically speaking, to achieve strong convergence, the triggering frequency should naturally be as high as possible due to the existence of the external disturbances, but this will also increase the communication load. Hence, to balance the asymptotic convergence and frequent triggering near the equilibrium point that is the price paid for achieving asymptotic stability, we extend the obtained results to the case of practical sliding mode cone. In addition, it is verified that the ETM is global, namely, the inter-event times are uniformly lower bounded from zero globally. Further, a practical application for the quadrotor unmanned aerial vehicles is presented. Finally, three illustrative examples are given to demonstrate the effectiveness of the obtained results.

math.OC

Scheduling problems of aircraft on a same runway and dual runways

In this paper, the scheduling problems of landing and takeoff aircraft on a same runway and on dual runways are addressed. In contrast to the approaches based on mixed-integer optimization models in existing works, our approach focuses on the minimum separation times between aircraft by introducing some necessary assumptions and new concepts including relevance, breakpoint aircraft, path and class-monotonically-decreasing sequence. Four scheduling problems are discussed including landing scheduling problem, takeoff scheduling problem, and mixed landing and takeoff scheduling problems on a same runway and on dual runways with the consideration of conversions between different aircraft sequences in typical scenarios. Two real-time optimal algorithms are proposed for the four scheduling problems by fully exploiting the combinations of different classes of aircraft, and necessary definitions, lemmas and theorems are presented for the optimal convergence of the algorithms. Numerical examples are presented to show the effectiveness of the proposed algorithms. In particular, when 100 aircraft are considered, by using the algorithm in this paper, the optimal solution can be obtained in less than 5 seconds, while by using the CPLEX software to solve the mix-integer optimization model, the optimal solution cannot be obtained within 1 hour.

math.OC

Interference Factors and Compensation Methods when Using Infrared Thermography for Temperature Measurement: A Review

Infrared thermography (IRT) is a widely used temperature measurement technology, but it faces the problem of measurement errors under interference factors. This paper attempts to summarize the common interference factors and temperature compensation methods when applying IRT. According to the source of factors affecting the infrared temperature measurement accuracy, the interference factors are divided into three categories: factors from the external environment, factors from the measured object, and factors from the infrared thermal imager itself. At the same time, the existing compensation methods are classified into three categories: Mechanism Modeling based Compensation method (MMC), Data-Driven Compensation method (DDC), and Mechanism and Data jointly driven Compensation method (MDC). Furthermore, we discuss the problems existing in the temperature compensation methods and future research directions, aiming to provide some references for researchers in academia and industry when using IRT technology for temperature measurement.

eess.SP

Canonical Correlation Guided Deep Neural Network

Learning representations of two views of data such that the resulting representations are highly linearly correlated is appealing in machine learning. In this paper, we present a canonical correlation guided learning framework, which allows to be realized by deep neural networks (CCDNN), to learn such a correlated representation. It is also a novel merging of multivariate analysis (MVA) and machine learning, which can be viewed as transforming MVA into end-to-end architectures with the aid of neural networks. Unlike the linear canonical correlation analysis (CCA), kernel CCA and deep CCA, in the proposed method, the optimization formulation is not restricted to maximize correlation, instead we make canonical correlation as a constraint, which preserves the correlated representation learning ability and focuses more on the engineering tasks endowed by optimization formulation, such as reconstruction, classification and prediction. Furthermore, to reduce the redundancy induced by correlation, a redundancy filter is designed. We illustrate the performance of CCDNN on various tasks. In experiments on MNIST dataset, the results show that CCDNN has better reconstruction performance in terms of mean squared error and mean absolute error than DCCA and DCCAE. Also, we present the application of the proposed network to industrial fault diagnosis and remaining useful life cases for the classification and prediction tasks accordingly. The proposed method demonstrates superior performance in both tasks when compared to existing methods. Extension of CCDNN to much more deeper with the aid of residual connection is also presented in appendix.

cs.LG

Predefined-time distributed non-convex optimization via a time-base generator

In this paper, we propose two novel multi-agent systems for the resource allocation problems (RAPs) and consensus-based distributed optimization problems. Different from existing distributed optimal approaches, we propose the new time-base generators (TBGs) for predefined-time non-convex optimization. Leveraging the proposed time-base generator, we study the roughness and boundedness of Lyapunov function based on TBGs. We prove that our approach achieves predefined-time approximate convergence to the optimal solution if the cost functions exhibit non-strongly convex or even non-convex characteristics. Furthermore, we prove that our approaches converge to the optimal solution if cost functions are generalized smoothness, and exhibit faster convergence rate and CPU speed. Finally, we present numerous numerical simulation examples to confirm the effectiveness of our approaches.

math.OC

Spatial-temporal associations representation and application for process monitoring using graph convolution neural network

Thank you very much for the attention and concern of colleagues and scholars in this work. With the comments and guidance of experts, editors, and reviewers, this work has been accepted for publishing in the journal "Process Safety and Environmental Protection". The theme of this paper relies on the Spatial-temporal associations of numerous variables in the same industrial processes, which refers to numerous variables obtained in dynamic industrial processes with Spatial-temporal correlation characteristics, i.e., these variables are not only highly correlated in time but also interrelated in space. To handle this problem, three key issues need to be well addressed: variable characteristics modeling and representation, graph network construction (temporal information), and graph characteristics perception. The first issue is implemented by assuming the data follows one improved Gaussian distribution, while the graph network can be defined by the monitoring variables and their edges which are calculated by their characteristics in time. Finally, these networks corresponding to process states at different times are fed into a graph convolutional neural network to implement graph classification to achieve process monitoring. A benchmark experiment (Tennessee Eastman chemical process) and one application study (cobalt purification from zinc solution) are employed to demonstrate the feasibility and applicability of this paper.

cs.LG

Distributed Continuous-Time and Discrete-Time Optimization With Nonuniform Unbounded Convex Constraint Sets and Nonuniform Stepsizes

This paper is devoted to distributed continuous-time and discrete-time optimization problems with nonuniform convex constraint sets and nonuniform stepsizes for general differentiable convex objective functions. The communication graphs are not required to be strongly connected at any time, the gradients of the local objective functions are not required to be bounded when their independent variables tend to infinity, and the constraint sets are not required to be bounded. For continuous-time multi-agent systems, a distributed continuous algorithm is first introduced where the stepsizes and the convex constraint sets are both nonuniform. It is shown that all agents reach a consensus while minimizing the team objective function even when the constraint sets are unbounded. After that, the obtained results are extended to discrete-time multi-agent systems and then the case where each agent remains in a corresponding convex constraint set is studied. To ensure all agents to remain in a bounded region, a switching mechanism is introduced in the algorithms. It is shown that the distributed optimization problems can be solved, even though the discretization of the algorithms might deviate the convergence of the agents from the minimum of the objective functions. Finally, numerical examples are included to show the obtained theoretical results.

math.OC

Distributed optimization with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes

This note is devoted to the distributed optimization problem of multi-agent systems with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes. Two distributed constrained algorithms with nonconvex velocity constraints and nonuniform stepsizes are proposed in the absence and the presence of nonuniform position constraints by introducing a switching mechanism to guarantee all agents' position states to remain in a bounded region. The algorithm gains need not to be predesigned and can be selected by each agent using its own and neighbours' information. By a model transformation, the original nonlinear time-varying system is converted into a linear time-varying one with a nonlinear error term. Based on the properties of stochastic matrices, it is shown that the optimization problem can be solved as long as the communication topologies are jointly strongly connected and balanced. Numerical examples are given to show the obtained theoretical results.

math.OC

Categorization Problem on Controllability of Boolean Control Networks

A Boolean control network (BCN) is a discrete-time dynamical system whose variables take values from a binary set $\{0,1\}$. At each time step, each variable of the BCN updates its value simultaneously according to a Boolean function which takes the state and control of the previous time step as its input. Given an ordered pair of states of a BCN, we define the set of reachable time steps as the set of positive integer $k$'s where there exists a control sequence such that the BCN can be steered from one state to the other in exactly $k$ time steps; and the set of unreachable time steps as the set of $k$'s where there does not exist any control sequences such that the BCN can be steered from one state to the other in exactly $k$ time steps. We consider in this paper the so-called categorization problem of a BCN, i.e., we develop a method, via algebraic graph theoretic approach, to determine whether the set of reachable time steps and the set of unreachable time steps, associated with the given pair of states, are finite or infinite. Our results can be applied to classify all ordered pairs of states into four categories, depending on whether the set of reachable (unreachable) time steps is finite or not.

eess.SY

Tracking Performance Limitations of MIMO Networked Control Systems with Multiple Communication Constraints

In this paper, the tracking performance limitation of networked control systems (NCSs) is studied. The NCSs is considered as continuous-time linear multi-input multi-output (MIMO) systems with random reference noises. The controlled plants include unstable poles and non-minimum phase (NMP) zeros. The output feedback path is affected by multiple communication constraints. We focus on some basic communication constraints, including additive white noise (AWN), quantization noise, bandwidth, as well as encoder-decoder. The system performance is evaluated with the tracking error energy, and used a two-degree of freedom (2DOF) controller. The explicit representation of the tracking performance is given in this paper. The results indicate the tracking performance limitations rely to internal characteristics of the plant (unstable poles and NMP zeros), reference noises (the reference noise power distribution (RNPD) and its directions) and the characteristics of communication constraints. Moreover, the tracking performance limitations are also affected by the angles between the each transform NMP zero direction and RNPD direction, and these angles between each transform unstable poles direction and the direction of communication constraint distribution/allocation. In addition, for MIMO NCSs, bandwidth (there are not identical two channels) always can affects the direction of unstable poles, and the channel allocation of bandwidth and encode-decode may be used for a feasible method for the performance allocation of each channels. Lastly, a instance is given for verifying the effectiveness of the theoretical outcomes.

eess.SY

Nonlinear system identification and control using state transition algorithm

By transforming identification and control for nonlinear system into optimization problems, a novel optimization method named state transition algorithm (STA) is introduced to solve the problems. In the proposed STA, a solution to a optimization problem is considered as a state, and the updating of a solution equates to a state transition, which makes it easy to understand and convenient to implement. First, the STA is applied to identify the optimal parameters of the estimated system with previously known structure. With the accurate estimated model, an off-line PID controller is then designed optimally by using the STA as well. Experimental results have demonstrated the validity of the methodology, and comparisons to STA with other optimization algorithms have testified that STA is a promising alternative method for system identification and control due to its stronger search ability, faster convergence rate and more stable performance.

math.OC

State Transition Algorithm

In terms of the concepts of state and state transition, a new heuristic random search algorithm named state transition algorithm is proposed. For continuous function optimization problems, four special transformation operators called rotation, translation, expansion and axesion are designed. Adjusting measures of the transformations are mainly studied to keep the balance of exploration and exploitation. Convergence analysis is also discussed about the algorithm based on random search theory. In the meanwhile, to strengthen the search ability in high dimensional space, communication strategy is introduced into the basic algorithm and intermittent exchange is presented to prevent premature convergence. Finally, experiments are carried out for the algorithms. With 10 common benchmark unconstrained continuous functions used to test the performance, the results show that state transition algorithms are promising algorithms due to their good global search capability and convergence property when compared with some popular algorithms.

math.OC

A Discrete State Transition Algorithm for Generalized Traveling Salesman Problem

Generalized traveling salesman problem (GTSP) is an extension of classical traveling salesman problem (TSP), which is a combinatorial optimization problem and an NP-hard problem. In this paper, an efficient discrete state transition algorithm (DSTA) for GTSP is proposed, where a new local search operator named \textit{K-circle}, directed by neighborhood information in space, has been introduced to DSTA to shrink search space and strengthen search ability. A novel robust update mechanism, restore in probability and risk in probability (Double R-Probability), is used in our work to escape from local minima. The proposed algorithm is tested on a set of GTSP instances. Compared with other heuristics, experimental results have demonstrated the effectiveness and strong adaptability of DSTA and also show that DSTA has better search ability than its competitors.

math.OC

Initial Version of State Transition Algorithm

In terms of the concepts of state and state transition, a new algorithm-State Transition Algorithm (STA) is proposed in order to probe into classical and intelligent optimization algorithms. On the basis of state and state transition, it becomes much simpler and easier to understand. As for continuous function optimization problems, three special operators named rotation, translation and expansion are presented. While for discrete function optimization problems, an operator called general elementary transformation is introduced. Finally, with 4 common benchmark continuous functions and a discrete problem used to test the performance of STA, the experiment shows that STA is a promising algorithm due to its good search capability.

math.OC

A new transformation into State Transition Algorithm for finding the global minimum

To promote the global search ability of the original state transition algorithm, a new operator called axesion is suggested, which aims to search along the axes and strengthen single dimensional search. Several benchmark minimization problems are used to illustrate the advantages of the improved algorithm over other random search methods. The results of numerical experiments show that the new transformation can enhance the performance of the state transition algorithm and the new strategy is effective and reliable.

math.OC