English
Related papers

Related papers: A condition for the stability of ideal efficient s…

200 papers

In many applications, SMT solvers are utilized to solve similar or identical tasks over time. Significant variations in performance due to small changes in the input are not uncommon and lead to frustration for users. This sort of stability…

Logic in Computer Science · Computer Science 2025-05-16 Daneshvar Amrollahi , Mathias Preiner , Aina Niemetz , Andrew Reynolds , Moses Charikar , Cesare Tinelli , Clark Barrett

Recently, suboptimality estimates for model predictive controllers (MPC) have been derived for the case without additional stabilizing endpoint constraints or a Lyapunov function type endpoint weight. The proposed methods yield a posteriori…

Optimization and Control · Mathematics 2015-03-19 Thomas Jahn , Jürgen Pannek

In recent years, Bayesian inference in large-scale inverse problems found in science, engineering and machine learning has gained significant attention. This paper examines the robustness of the Bayesian approach by analyzing the stability…

Machine Learning · Statistics 2023-03-06 Alfredo Garbuno-Inigo , Tapio Helin , Franca Hoffmann , Bamdad Hosseini

We derive a posteriori error estimators for an optimal control problem governed by a convection-reaction-diffusion equation; control constraints are also considered. We consider a family of low-order stabilized finite element methods to…

Numerical Analysis · Mathematics 2017-04-24 Alejandro Allendes , Enrique Otarola , Richard Rankin

Standard Markovian optimal stopping problems are consistent in the sense that the first entrance time into the stopping set is optimal for each initial state of the process. Clearly, the usual concept of optimality cannot in a…

Optimization and Control · Mathematics 2018-12-05 Sören Christensen , Kristoffer Lindensjö

This article considers a Cauchy problem of Helmholtz equations whose solution is well known to be exponentially unstable with respect to the inputs. In the framework of variational quasi-reversibility method, a Fourier truncation is applied…

Numerical Analysis · Mathematics 2022-08-31 Vo Anh Khoa , Nguyen Dat Thuc , Ajith Gunaratne

In this paper, we develop a framework for the discretization of a mixed formulation of quasi-reversibility solutions to ill-posed problems with respect to Poisson's equations. By carefully choosing test and trial spaces a formulation that…

Numerical Analysis · Mathematics 2024-10-01 Erik Burman , Mingfei Lu

Recent results in the literature provide computational evidence that stabilized semi-implicit time-stepping method can efficiently simulate phase field problems involving fourth-order nonlinear dif- fusion, with typical examples like the…

Numerical Analysis · Mathematics 2016-06-22 Dong Li , Zhonghua Qiao , Tao Tang

We propose a novel dynamical framework for solving inclusion problems of the form \(0 \in F(x) + G(x)\) in Hilbert spaces, where \(F\) is a maximal set-valued operator and \(G\) is a single-valued mapping. The analysis is conducted under a…

Optimization and Control · Mathematics 2026-01-29 Nam Van Tran

Composite optimization problems involve minimizing the composition of a smooth map with a convex function. Such objectives arise in numerous data science and signal processing applications, including phase retrieval, blind deconvolution,…

Optimization and Control · Mathematics 2025-10-06 Mateo Díaz , Liwei Jiang , Abdel Ghani Labassi

In this thesis, set-valued maps are considered to model the $i-v$ characteristics of semiconductors like diode, and transistor. Using the circuit theory laws, a generalized equation is obtained. The main concern of the thesis is to…

Optimization and Control · Mathematics 2017-04-14 Iman Mehrabinezhad

In this paper, an asymptotic stability proof for a class of methods for inexact nonlinear model predictive control is presented. General Q-linearly convergent online optimization methods are considered and an asymptotic stability result is…

Optimization and Control · Mathematics 2021-12-01 Andrea Zanelli , Quoc Tran Dinh , Moritz Diehl

We consider ultraweak variational formulations for (parametrized) linear first order transport equations in time and/or space. Computationally feasible pairs of optimally stable trial and test spaces are presented, starting with a suitable…

Numerical Analysis · Mathematics 2019-02-27 Julia Brunken , Kathrin Smetana , Karsten Urban

The paper studies coincidence points of parameterized set-valued mappings (multifunctions), which provide an extended framework to cover several important topics in variational analysis and optimization that include the existence of…

Optimization and Control · Mathematics 2022-03-23 Aram V. Arutyunov , Boris S. Mordukhovich , Sergey E. Zhukovskiy

This paper is concerned with the strong calmness of the KKT solution mapping for a class of canonically perturbed conic programming, which plays a central role in achieving fast convergence under situations when the Lagrange multiplier…

Optimization and Control · Mathematics 2018-02-06 Yulan Liu , Shaohua Pan

We investigate the stability of stationary integral solutions of an ideal irrotational fluid in a general static and spherically symmetric background, by studying the profile of the perturbation of the mass accretion rate. We consider low…

High Energy Astrophysical Phenomena · Physics 2016-09-14 Deepika A Bollimpalli , Sourav Bhattacharya , Tapas K Das

Explainability models are now prevalent within machine learning to address the black-box nature of neural networks. The question now is which explainability model is most effective. Probabilistic Lipschitzness has demonstrated that the…

Machine Learning · Computer Science 2024-03-11 Lachlan Simpson , Kyle Millar , Adriel Cheng , Cheng-Chew Lim , Hong Gunn Chew

This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical…

Optimization and Control · Mathematics 2017-12-13 Zhipeng Liu , Yao Long , Andrew Clark , Phillip Lee , Linda Bushnell , Daniel Kirschen , Radha Poovendran

We are interested in the stability analysis of two-dimensional incompressible inviscid fluids. Specifically, we revisit a recent result on the stability of Yudovich's solutions to the incompressible Euler equations in $L^\infty([0,T];H^1)$…

Analysis of PDEs · Mathematics 2023-12-25 Diogo Arsénio , Haroune Houamed

For an infinite-horizon continuous-time optimal stopping problem under non-exponential discounting, we look for an optimal equilibrium, which generates larger values than any other equilibrium does on the entire state space. When the…

Optimization and Control · Mathematics 2021-07-15 Yu-Jui Huang , Zhou Zhou