-
Optimal Parameter Adaptation for Safety-Critical Control via Safe Barrier Bayesian Optimization
Authors:
Shengbo Wang,
Ke Li,
Zheng Yan,
Zhenyuan Guo,
Song Zhu,
Guanghui Wen,
Shiping Wen
Abstract:
Safety is of paramount importance in control systems to avoid costly risks and catastrophic damages. The control barrier function (CBF) method, a promising solution for safety-critical control, poses a new challenge of enhancing control performance due to its direct modification of original control design and the introduction of uncalibrated parameters. In this work, we shed light on the crucial r…
▽ More
Safety is of paramount importance in control systems to avoid costly risks and catastrophic damages. The control barrier function (CBF) method, a promising solution for safety-critical control, poses a new challenge of enhancing control performance due to its direct modification of original control design and the introduction of uncalibrated parameters. In this work, we shed light on the crucial role of configurable parameters in the CBF method for performance enhancement with a systematical categorization. Based on that, we propose a novel framework combining the CBF method with Bayesian optimization (BO) to optimize the safe control performance. Considering feasibility/safety-critical constraints, we develop a safe version of BO using the barrier-based interior method to efficiently search for promising feasible configurable parameters. Furthermore, we provide theoretical criteria of our framework regarding safety and optimality. An essential advantage of our framework lies in that it can work in model-agnostic environments, leaving sufficient flexibility in designing objective and constraint functions. Finally, simulation experiments on swing-up control and high-fidelity adaptive cruise control are conducted to demonstrate the effectiveness of our framework.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Concentrating solutions of nonlinear Schrödinger systems with mixed interactions
Authors:
Qing Guo,
Angela Pistoia,
Shixin Wen
Abstract:
In this paper we study the existence of solutions to nonlinear Schrödinger systems with mixed couplings of attractive and repulsive forces, which arise from the models in Bose-Einstein condensates and nonlinear optics. In particular, we build solutions whose first component has one bump and the other components have several peaks forming a regular polygon around the single bump of the first compon…
▽ More
In this paper we study the existence of solutions to nonlinear Schrödinger systems with mixed couplings of attractive and repulsive forces, which arise from the models in Bose-Einstein condensates and nonlinear optics. In particular, we build solutions whose first component has one bump and the other components have several peaks forming a regular polygon around the single bump of the first component.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
An Upper Confidence Bound Approach to Estimating the Maximum Mean
Authors:
Zhang Kun,
Liu Guangwu,
Shi Wen
Abstract:
Estimating the maximum mean finds a variety of applications in practice. In this paper, we study estimation of the maximum mean using an upper confidence bound (UCB) approach where the sampling budget is adaptively allocated to one of the systems. We study in depth the existing grand average (GA) estimator, and propose a new largest-size average (LSA) estimator. Specifically, we establish statisti…
▽ More
Estimating the maximum mean finds a variety of applications in practice. In this paper, we study estimation of the maximum mean using an upper confidence bound (UCB) approach where the sampling budget is adaptively allocated to one of the systems. We study in depth the existing grand average (GA) estimator, and propose a new largest-size average (LSA) estimator. Specifically, we establish statistical guarantees, including strong consistency, asymptotic mean squared errors, and central limit theorems (CLTs) for both estimators, which are new to the literature. We show that LSA is preferable over GA, as the bias of the former decays at a rate much faster than that of the latter when sample size increases. By using the CLTs, we further construct asymptotically valid confidence intervals for the maximum mean, and propose a single hypothesis test for a multiple comparison problem with application to clinical trials. Statistical efficiency of the resulting point and interval estimates and the proposed single hypothesis test is demonstrated via numerical examples.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Qualitative analysis to an eigenvalue problem of the Hartree type Brézis-Nirenberg problem
Authors:
Kefan Pan,
Shixin Wen,
Jing Yang
Abstract:
In this paper, we are concerned with the critical Hartree equation \begin{equation*} \begin{cases} -Δu=\left(\displaystyle{\displaystyle{\int_Ω}}\frac{u^{2^{*}_μ}(y)}{|x-y|^μ}dy\right)u^{2^{*}_μ-1}+\varepsilon u,\quad u>0,\quad &\text{in $Ω$,}\\ u=0,\quad &\text{on $\partialΩ$,} \end{cases} \end{equation*} where $Ω\subset \mathbb{R}^N$ ($N\geq 5$) is a smooth bounded domain, $μ\in (0,4)$ and…
▽ More
In this paper, we are concerned with the critical Hartree equation \begin{equation*} \begin{cases} -Δu=\left(\displaystyle{\displaystyle{\int_Ω}}\frac{u^{2^{*}_μ}(y)}{|x-y|^μ}dy\right)u^{2^{*}_μ-1}+\varepsilon u,\quad u>0,\quad &\text{in $Ω$,}\\ u=0,\quad &\text{on $\partialΩ$,} \end{cases} \end{equation*} where $Ω\subset \mathbb{R}^N$ ($N\geq 5$) is a smooth bounded domain, $μ\in (0,4)$ and $2^{*}_μ=\frac{2N-μ}{N-2}$ is the upper critical exponent in the sense of the Hardy-Littlewood-Sobolev inequality. Under a non-degeneracy condition on the critical point $x_0\inΩ$ of the Robin function $R(x)$, we perform that for $\varepsilon>0$ sufficiently small, the Morse index of the blow-up solutions $u_\varepsilon$ concentrating at $x_0$ can be computed in terms of the negative eigenvalues of the Hessian matrix $D^{2}R(x)$ at $x_0$. Compared with the usual local cases, our problem is non-local due to the nonlinearity with Hartree-type, and several difficulties arise and new estimates of the eigenpairs $\{\left(λ_{i,\varepsilon},v_{i,\varepsilon}\right)\}$ to the associated linearized problem at $u_{\varepsilon}$ should be introduced. To our knowledge, this seems to be the first paper to consider the qualitative analysis of a Hartree type Brézis-Nirenberg problem and our results extend the works established by M. Grossi et al in \cite{GP} and F. Takahashi in \cite{Ta3} to the non-local case.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Model-Assisted Probabilistic Safe Adaptive Control With Meta-Bayesian Learning
Authors:
Shengbo Wang,
Ke Li,
Yin Yang,
Yuting Cao,
Tingwen Huang,
Shiping Wen
Abstract:
Breaking safety constraints in control systems can lead to potential risks, resulting in unexpected costs or catastrophic damage. Nevertheless, uncertainty is ubiquitous, even among similar tasks. In this paper, we develop a novel adaptive safe control framework that integrates meta learning, Bayesian models, and control barrier function (CBF) method. Specifically, with the help of CBF method, we…
▽ More
Breaking safety constraints in control systems can lead to potential risks, resulting in unexpected costs or catastrophic damage. Nevertheless, uncertainty is ubiquitous, even among similar tasks. In this paper, we develop a novel adaptive safe control framework that integrates meta learning, Bayesian models, and control barrier function (CBF) method. Specifically, with the help of CBF method, we learn the inherent and external uncertainties by a unified adaptive Bayesian linear regression (ABLR) model, which consists of a forward neural network (NN) and a Bayesian output layer. Meta learning techniques are leveraged to pre-train the NN weights and priors of the ABLR model using data collected from historical similar tasks. For a new control task, we refine the meta-learned models using a few samples, and introduce pessimistic confidence bounds into CBF constraints to ensure safe control. Moreover, we provide theoretical criteria to guarantee probabilistic safety during the control processes. To validate our approach, we conduct comparative experiments in various obstacle avoidance scenarios. The results demonstrate that our algorithm significantly improves the Bayesian model-based CBF method, and is capable for efficient safe exploration even with multiple uncertain constraints.
△ Less
Submitted 13 July, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
On Diximier's averaging theorem for operators in type ${\rm II}_1$ factors
Authors:
Shilin Wen,
Junsheng Fang,
Zhaolin Yao
Abstract:
Let $\M$ be a type ${\rm II_1}$ factor and let $τ$ be the faithful normal tracial state on $\M$. In this paper, we prove that given finite elements $X_1,\cdots X_n \in \M$, there is a finite decomposition of the identity into $N \in \NNN$ mutually orthogonal nonzero projections $E_j\in\M$, $I=\sum_{j=1}^NE_j$, such that $E_jX_iE_j=τ(X_i) E_j$ for all $j=1,\cdots,N$ and $i=1,\cdots,n$. Equivalently…
▽ More
Let $\M$ be a type ${\rm II_1}$ factor and let $τ$ be the faithful normal tracial state on $\M$. In this paper, we prove that given finite elements $X_1,\cdots X_n \in \M$, there is a finite decomposition of the identity into $N \in \NNN$ mutually orthogonal nonzero projections $E_j\in\M$, $I=\sum_{j=1}^NE_j$, such that $E_jX_iE_j=τ(X_i) E_j$ for all $j=1,\cdots,N$ and $i=1,\cdots,n$. Equivalently, there is a unitary operator $U \in \M$ such that $\frac{1}{N}\sum_{j=0}^{N-1}{U^*}^jX_iU^j=τ(X_i)I$ for $i=1,\cdots,n$. This result is a stronger version of Dixmier's averaging theorem for type ${\rm II}_1$ factors. As the first application, we show that all elements of trace zero in a type ${\rm II}_1$ factor are single commutators and any self-adjoint elements of trace zero are single self-commutators. This result answers affirmatively Question 1.1 in [10]. As the second application, we prove that any self-adjoint element in a type ${\rm II}_1$ factor can be written a linear combination of 4 projections. This result answers affirmatively Question 6(2) in [15]. As the third application, we show that if $(\mathcal{M},τ)$ is a finite factor, $X \in \mathcal{M}$, then there exists a normal operator $N \in \mathcal{M}$ and a nilpotent operator $K$ such that $X= N+ K$. This result answers affirmatively Question 1.1 in [9].
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
Factor-guided functional PCA for high-dimensional functional data
Authors:
Shoudao Wen,
Huazhen Lin
Abstract:
The literature on high-dimensional functional data focuses on either the dependence over time or the correlation among functional variables. In this paper, we propose a factor-guided functional principal component analysis (FaFPCA) method to consider both temporal dependence and correlation of variables so that the extracted features are as sufficient as possible. In particular, we use a factor pr…
▽ More
The literature on high-dimensional functional data focuses on either the dependence over time or the correlation among functional variables. In this paper, we propose a factor-guided functional principal component analysis (FaFPCA) method to consider both temporal dependence and correlation of variables so that the extracted features are as sufficient as possible. In particular, we use a factor process to consider the correlation among high-dimensional functional variables and then apply functional principal component analysis (FPCA) to the factor processes to address the dependence over time. Furthermore, to solve the computational problem arising from triple-infinite dimensions, we creatively build some moment equations to estimate loading, scores and eigenfunctions in closed form without rotation. Theoretically, we establish the asymptotical properties of the proposed estimator. Extensive simulation studies demonstrate that our proposed method outperforms other competitors in terms of accuracy and computational cost. The proposed method is applied to analyze the Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset, resulting in higher prediction accuracy and 41 important ROIs that are associated with Alzheimer's disease, 23 of which have been confirmed by the literature.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Topology Optimization with Frictional Self-Contact
Authors:
Zeshun Zong,
Xuan Li,
Jianping Ye,
Sian Wen,
Yin Yang,
Danny M. Kaufman,
Minchen Li,
Chenfanfu Jiang
Abstract:
Contact-aware topology optimization faces challenges in robustness, accuracy, and applicability to internal structural surfaces under self-contact. This work builds on the recently proposed barrier-based Incremental Potential Contact (IPC) model and presents a new self-contact-aware topology optimization framework. A combination of SIMP, adjoint sensitivity analysis, and the IPC frictional-contact…
▽ More
Contact-aware topology optimization faces challenges in robustness, accuracy, and applicability to internal structural surfaces under self-contact. This work builds on the recently proposed barrier-based Incremental Potential Contact (IPC) model and presents a new self-contact-aware topology optimization framework. A combination of SIMP, adjoint sensitivity analysis, and the IPC frictional-contact model is investigated. Numerical examples for optimizing varying objective functions under contact are presented. The resulting algorithm proposed solves topology optimization for large deformation and complex frictionally contacting scenarios with accuracy and robustness.
△ Less
Submitted 24 August, 2022; v1 submitted 6 August, 2022;
originally announced August 2022.
-
Improved Multi-Dimensional Bee Colony Algorithm for Airport Freight Station Scheduling
Authors:
Haiquan Wang,
Menghao Su,
Ran Zhao,
Xiaobin Xu,
Hans-Dietrich Haasis,
Jianhua Wei,
Shengjun Wen,
Yan Wang,
Ping Liu,
Hongjun Li
Abstract:
Due to the rapid increase of air cargo and postal transport volume, an efficient automated multi-dimensional warehouse with elevating transfer vehicles (ETVs) should be established and an effective scheduling strategy should be designed for improving the cargo handling efficiency. In this paper, artificial bee colony algorithm, which possesses strong global optimization ability and fewer parameter…
▽ More
Due to the rapid increase of air cargo and postal transport volume, an efficient automated multi-dimensional warehouse with elevating transfer vehicles (ETVs) should be established and an effective scheduling strategy should be designed for improving the cargo handling efficiency. In this paper, artificial bee colony algorithm, which possesses strong global optimization ability and fewer parameters, is firstly introduced to simultaneously optimize the route of ETV and the assignment of entrances and exits. Moreover, for further improve the optimization performance of ABC, novel full-dimensional search strategy with parallelization, and random multi-dimensional search strategy are incorporated in the framework of ABC to improve the diversity of the population and the convergence speed respectively. Our proposed algorithms are evaluated on several benchmark functions, and then applied to solve the combinatorial optimization problem with multitask, multiple entrances and exits in air cargo terminal. The simulations show that the proposed algorithms can achieve much more desired performance than the traditional artificial bee colony algorithm at balancing the exploitation and exploration abilities.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
On uniform distribution of $αβ$-orbits
Authors:
Changhao Chen,
Xiaohua Wang,
Shengyou Wen
Abstract:
Let $α, β\in (0,1)$ such that at least one of them is irrational. We take a random walk on the real line such that the choice of $α$ and $β$ has equal probability $1/2$. We prove that almost surely the $αβ$-orbit is uniformly distributed module one, and the exponential sums along its orbit has the square root cancellation. We also show that the exceptional set in the probability space, which does…
▽ More
Let $α, β\in (0,1)$ such that at least one of them is irrational. We take a random walk on the real line such that the choice of $α$ and $β$ has equal probability $1/2$. We prove that almost surely the $αβ$-orbit is uniformly distributed module one, and the exponential sums along its orbit has the square root cancellation. We also show that the exceptional set in the probability space, which does not have the property of uniform distribution modulo one, is large in the terms of topology and Hausdorff dimension.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
On irreducible operators in factor von Neumann algebras
Authors:
Junsheng Fang,
Rui Shi,
Shilin Wen
Abstract:
Let $\mathcal M$ be a factor von Neumann algebra with separable predual and let $T\in \mathcal M$. We call $T$ an irreducible operator (relative to $\mathcal M$) if $W^*(T)$ is an irreducible subfactor of $\mathcal M$, i.e., $W^*(T)'\cap \mathcal M={\mathbb C} I$. In this note, we show that the set of irreducible operators in $\mathcal M$ is a dense $G_δ$ subset of $\mathcal M$ in the operator nor…
▽ More
Let $\mathcal M$ be a factor von Neumann algebra with separable predual and let $T\in \mathcal M$. We call $T$ an irreducible operator (relative to $\mathcal M$) if $W^*(T)$ is an irreducible subfactor of $\mathcal M$, i.e., $W^*(T)'\cap \mathcal M={\mathbb C} I$. In this note, we show that the set of irreducible operators in $\mathcal M$ is a dense $G_δ$ subset of $\mathcal M$ in the operator norm. This is a natural generalization of a theorem of Halmos.
△ Less
Submitted 28 May, 2018;
originally announced May 2018.
-
A note on the $C$-numerical radius and the $λ$-Aluthge transform in finite factors
Authors:
Xiaoyan Zhou,
Junsheng Fang,
Shilin Wen
Abstract:
We prove that for any two elements $A$, $B$ in a factor $M$, if $B$ commutes with all the unitary conjugates of $A$, then either $A$ or $B$ is in $\mathbb{C}I$. Then we obtain an equivalent condition for the situation that the $C$-numerical radius $ω_{C}(\cdot)$ is a weakly unitarily invariant norm on finite factors and we also prove some inequalities on the $C$-numerical radius on finite factors.…
▽ More
We prove that for any two elements $A$, $B$ in a factor $M$, if $B$ commutes with all the unitary conjugates of $A$, then either $A$ or $B$ is in $\mathbb{C}I$. Then we obtain an equivalent condition for the situation that the $C$-numerical radius $ω_{C}(\cdot)$ is a weakly unitarily invariant norm on finite factors and we also prove some inequalities on the $C$-numerical radius on finite factors. As an application, we show that for an invertible operator $T$ in a finite factor $M$, $f(\bigtriangleup_λ(T))$ is in the weak operator closure of the set $\{\sum_{i=1}^{n}z_{i}U_{i}f(T)U_{i}^{*}|n\in\mathbb{N},(U_{i})_{1\leq i\leq n}\in \mathscr{U}(M),\sum_{i=1}^{n}|z_{i}|\leq 1\}$, where $f$ is a polynomial, $\bigtriangleup_λ(T)$ is the $λ$-Aluthge transform of $T$ and $0\leqλ\leq 1$.
△ Less
Submitted 28 July, 2017; v1 submitted 24 May, 2017;
originally announced May 2017.
-
A General Truncated Regularization Framework for Contrast-Preserving Variational Signal and Image Restoration: Motivation and Implementation
Authors:
Chunlin Wu,
Zhifang Liu,
Shuang Wen
Abstract:
Variational methods have become an important kind of methods in signal and image restoration - a typical inverse problem. One important minimization model consists of the squared $\ell_2$ data fidelity (corresponding to Gaussian noise) and a regularization term constructed by a potential function composed of first order difference operators. It is well known that total variation (TV) regularizatio…
▽ More
Variational methods have become an important kind of methods in signal and image restoration - a typical inverse problem. One important minimization model consists of the squared $\ell_2$ data fidelity (corresponding to Gaussian noise) and a regularization term constructed by a potential function composed of first order difference operators. It is well known that total variation (TV) regularization, although achieved great successes, suffers from a contrast reduction effect. Using a typical signal, we show that, actually all convex regularizers and most nonconvex regularizers have this effect. With this motivation, we present a general truncated regularization framework. The potential function is a truncation of existing nonsmooth potential functions and thus flat on $(τ,+\infty)$ for some positive $τ$. Some analysis in 1D theoretically demonstrate the good contrast-preserving ability of the framework. We also give optimization algorithms with convergence verification in 2D, where global minimizers of each subproblem (either convex or nonconvenx) are calculated. Experiments numerically show the advantages of the framework.
△ Less
Submitted 12 February, 2018; v1 submitted 27 November, 2016;
originally announced November 2016.
-
On thin carpets for doubling measures
Authors:
Changhao Chen,
Shengyou Wen
Abstract:
We study subsets of $\R^{d}$ which are thin for doubling measures or isotropic doubling measures. We show that any subset of $\R^{d}$ with Hausdorff dimension less than or equal to $d-1$ is thin for isotropic doubling measures. We also prove that a self-affine set that satisfies $OSCH$ (open set condition with holes) is thin for isotropic doubling measures. For doubling measures, we prove that Bar…
▽ More
We study subsets of $\R^{d}$ which are thin for doubling measures or isotropic doubling measures. We show that any subset of $\R^{d}$ with Hausdorff dimension less than or equal to $d-1$ is thin for isotropic doubling measures. We also prove that a self-affine set that satisfies $OSCH$ (open set condition with holes) is thin for isotropic doubling measures. For doubling measures, we prove that Barański carpets are thin for doubling measures.
△ Less
Submitted 5 February, 2015;
originally announced February 2015.
-
Remarks on dimensions of Cartesian product sets
Authors:
Chun Wei,
Shengyou Wen,
Zhixiong Wen
Abstract:
Given metric spaces $E$ and $F$, it is well known that $$\dim_HE+\dim_HF\leq\dim_H(E\times F)\leq\dim_HE+\dim_PF,$$ $$\dim_HE+\dim_PF\leq \dim_P(E\times F)\leq\dim_PE+\dim_PF,$$ and $$\underline{\dim}_BE+\overline{\dim}_BF \leq\overline{\dim}_B(E\times F) \leq\overline{\dim}_BE+\overline{\dim}_BF,$$ where $\dim_HE$, $\dim_PE$, $\underline{\dim}_BE$, $\overline{\dim}_BE$ denote the Hausdorff, packi…
▽ More
Given metric spaces $E$ and $F$, it is well known that $$\dim_HE+\dim_HF\leq\dim_H(E\times F)\leq\dim_HE+\dim_PF,$$ $$\dim_HE+\dim_PF\leq \dim_P(E\times F)\leq\dim_PE+\dim_PF,$$ and $$\underline{\dim}_BE+\overline{\dim}_BF \leq\overline{\dim}_B(E\times F) \leq\overline{\dim}_BE+\overline{\dim}_BF,$$ where $\dim_HE$, $\dim_PE$, $\underline{\dim}_BE$, $\overline{\dim}_BE$ denote the Hausdorff, packing, lower box-counting, and upper box-counting dimension of $E$, respectively. In this note we shall provide examples of compact sets showing that the dimension of the product $E\times F$ may attain any of the values permitted by the above inequalities. The proof will be based on a study on dimension of the product of sets defined by digit restrictions.
△ Less
Submitted 17 June, 2015; v1 submitted 7 January, 2015;
originally announced January 2015.
-
Doubling measures on uniform Cantor sets
Authors:
Chun Wei,
Shengyou Wen,
Zhixiong Wen
Abstract:
We obtain a complete description for a probability measure to be doubling on an arbitrarily given uniform Cantor set. The question of which doubling measures on such a Cantor set can be extended to a doubling measure on [0; 1] is also considered.
We obtain a complete description for a probability measure to be doubling on an arbitrarily given uniform Cantor set. The question of which doubling measures on such a Cantor set can be extended to a doubling measure on [0; 1] is also considered.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
