English
Related papers

Related papers: Set operations and order reductions for constraine…

200 papers

The method of monotonization of difference schemes is being considered in the paper. The method was earlier proposed by the author for stationary problems. It is investigated in the paper more profoundly. The idea of the method is to build…

Numerical Analysis · Computer Science 2014-03-13 Y. V. Troshchiev

We introduce a class of first-order methods for smooth constrained optimization that are based on an analogy to non-smooth dynamical systems. Two distinctive features of our approach are that (i) projections or optimizations over the entire…

Optimization and Control · Mathematics 2025-04-15 Michael Muehlebach , Michael I. Jordan

First-order iterative optimization methods play a fundamental role in large scale optimization and machine learning. This paper presents control interpretations for such optimization methods. First, we give loop-shaping interpretations for…

Systems and Control · Computer Science 2017-03-07 Bin Hu , Laurent Lessard

The proper orthogonal decomposition reduced-order models (POD-ROMs) have been widely used as a computationally efficient surrogate models in large-scale numerical simulations of complex systems. However, when it is applied to a Hamiltonian…

Numerical Analysis · Mathematics 2017-03-08 Yuezheng Gong , Qi Wang , Zhu Wang

The theory of monotone operators plays a major role in modern optimization and many areas of nonlinera analysis. The central classes of monotone operators are matrices with a positive semidefinite symmetric part and subsifferential…

Functional Analysis · Mathematics 2024-05-24 Salihah Thabet Alwadani

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of application are studied, in particular,…

Mathematical Physics · Physics 2015-05-08 Cedric M. Campos , Manuel de Leon , David Martin de Diego

Many problems in operations research require that constraints be specified in the model. Determining the right constraints is a hard and laborsome task. We propose an approach to automate this process using artificial intelligence and…

Artificial Intelligence · Computer Science 2018-05-30 Mohit Kumar , Stefano Teso , Luc De Raedt

We study a class of convex bodies called operatopes that are obtained by taking Minkowski sums of affine images of an operator norm ball. This notion generalizes that of zonotopes which are Minkowksi sums of line segments. Taking the limit…

Metric Geometry · Mathematics 2026-02-10 Eliza O'Reilly , Venkat Chandrasekaran

Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key…

Logic in Computer Science · Computer Science 2021-03-12 Fabio Gadducci , Francesco Santini

In this paper, we propose an equation-based parametric Reduced Order Model (ROM), whose accuracy is improved with data-driven terms added into the reduced equations. These additions have the aim of reintroducing contributions that in…

Numerical Analysis · Mathematics 2025-05-26 Anna Ivagnes , Giovanni Stabile , Gianluigi Rozza

Increasing penetration of renewable energy introduces significant uncertainty into power systems. Traditional simulation-based verification methods may not be applicable due to the unknown-but-bounded feature of the uncertainty sets.…

Systems and Control · Electrical Eng. & Systems 2020-02-25 Yichen Zhang , Yan Li , Kevin Tomsovic , Seddik Djouadi , Meng Yue

In this chapter we show that chordal structure can be used to devise efficient optimization methods for many common model predictive control problems. The chordal structure is used both for computing search directions efficiently as well as…

Optimization and Control · Mathematics 2017-11-29 Anders Hansson , Sina Khoshfetrat Pakazad

This paper addresses a fundamental challenge in data-driven reachability analysis: accurately representing and propagating non-convex reachable sets. We propose a novel approach using constrained polynomial zonotopes to describe reachable…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Zhen Zhang , M. Umar B. Niazi , Michelle S. Chong , Karl H. Johansson , Amr Alanwar

In this work, we present a model order reduction technique for nonlinear structures assembled from components.The reduced order model is constructed by reducing the substructures with proper orthogonal decomposition and connecting them by a…

Computational Engineering, Finance, and Science · Computer Science 2024-11-15 Stephan Ritzert , Jannick Kehls , Stefanie Reese , Tim Brepols

We present a methodology that extends invariant manifold theory to a class of autonomous piecewise linear systems with nonsmoothness at the equilibrium, providing a framework for model order reduction in mechanical structures with compliant…

Dynamical Systems · Mathematics 2026-01-16 A. Yassine Karoui , Remco I. Leine

This paper studies the convex isotonic regression with generalized order restrictions induced by a directed tree. The proposed model covers various intriguing optimization problems with shape or order restrictions, including the generalized…

Optimization and Control · Mathematics 2023-04-04 Xuyu Chen , Xudong Li , Yangfeng Su

We introduce an extended tangent cone of high order to a set and study its properties. Then we use this local approximation for deriving high-order necessary conditions for local minimizers of constrained optimization problems.

Optimization and Control · Mathematics 2022-08-11 Valentin V. Gorokhovik

Linear diagrams are used to visualize set systems by depicting set memberships as horizontal line segments in a matrix, where each set is represented as a row and each element as a column. Each such line segment of a set is shown in a…

Graphics · Computer Science 2023-02-17 Markus Wallinger , Alexander Dobler , Martin Nöllenburg

This paper proposes new methods for set-based state estimation and active fault diagnosis (AFD) of linear descriptor systems (LDS). Unlike intervals, ellipsoids, and zonotopes, constrained zonotopes (CZs) can directly incorporate linear…

Systems and Control · Electrical Eng. & Systems 2025-04-28 Brenner S. Rego , Davide M. Raimondo , Guilherme V. Raffo

Mechanical systems are often characterized only by their response to certain loads known from experiments or simulations. The obtained data can be used for various purposes: system analysis, design of mathematical models, or construction of…

Dynamical Systems · Mathematics 2026-01-05 Yevgeniya Filanova , Igor Pontes Duff , Pawan Goyal , Peter Benner