The Minkowski problem for a class of unbounded closed convex sets is considered. This is equivalent to a Monge-AmpĆØre equation on a bounded convex open domain with possibly non-integrable given data. A complete solution (necessary and sufficient condition for existence and uniqueness) in dimension 2 is presented. In higher dimensions, partial results are demonstrated.
more »
« less
This content will become publicly available on February 1, 2026
On converse zeroing barrier functions
The paper studies the safety verification problem for nonlinear systems and focuses on the converse problem of zeroing barrier functions (ZBFs). We establish two necessary and sufficient conditions for the existence of a ZBF by solving the converse ZBF problem. Moreover, we also consider exponential barrier functions (EBFs), a special case of the ZBF, and provide a necessary and sufficient condition for the existence of an EBF when the state trajectory, starting from the interior of the safe set, cannot visit the boundary within finite time.
more »
« less
- Award ID(s):
- 2237850
- PAR ID:
- 10571654
- Publisher / Repository:
- Elsevier
- Date Published:
- Journal Name:
- Automatica
- Volume:
- 172
- ISSN:
- 0005-1098
- Page Range / eLocation ID:
- 112011
- Subject(s) / Keyword(s):
- Safety Converse theorem Zeroing barrier function Exponential barrier function
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
In this paper, we prove the local converse theorem for split even special orthogonal groups over a non-Archimedean local field of characteristic . This is the only case left on local converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. We apply a new idea by considering a certain sum of partial Bessel functions to overcome this difficulty. As a direct application, we obtain a weak rigidity theorem for irreducible generic cuspidal representations of split even special orthogonal groups.more » « less
-
Abstract Givenndisjoint intervals on together withnfunctions , , and an matrix , the problem is to find anL2solution , , to the linear system , where , is a matrix of finite Hilbert transforms with defined on , and is a matrix of the corresponding characteristic functions on . Since we can interpret , as a generalized multiāinterval finite Hilbert transform, we call the formula for the solution as āthe inversion formulaā and the necessary and sufficient conditions for the existence of a solution as the ārange conditionsā. In this paper we derive the explicit inversion formula and the range conditions in two specific cases: a) the matrix Ī is symmetric and positive definite, and; b) all the entries of Ī are equal to one. We also prove the uniqueness of solution, that is, that our transform is injective. In the case a), that is, when the matrix Ī is positive definite, the inversion formula is given in terms of the solution of the associated matrix RiemannāHilbert Problem. In the case b) we reduce the multi interval problem to a problem onncopies of and then express our answers in terms of the Fourier transform. We also discuss other cases of the matrix Ī.more » « less
-
Abstract Magic squares have been extremely useful and popular in combinatorics and statistics. One generalization of magic squares ismagic rectangleswhich are useful for designing experiments in statistics. A necessary and sufficient condition for the existence of magic rectangles restricts the number of rows and columns to be either both odd or both even. In this paper, we generalize magic rectangles to even by oddnearly magic rectangles. We also prove necessary and sufficient conditions for the existence of a nearly magic rectangle, and construct one for each parameter set for which they exist.more » « less
-
A rational projective plane ([Formula: see text]) is a simply connected, smooth, closed manifold [Formula: see text] such that [Formula: see text]. An open problem is to classify the dimensions at which such a manifold exists. The BargeāSullivan rational surgery realization theorem provides necessary and sufficient conditions that include the HattoriāStong integrality conditions on the Pontryagin numbers. In this paper, we simplify these conditions and combine them with the signature equation to give a single quadratic residue equation that determines whether a given dimension supports a [Formula: see text]. We then confirm the existence of a [Formula: see text] in two new dimensions and prove several non-existence results using factorization of the numerators of the divided Bernoulli numbers. We also resolve the existence question in the Spin case, and we discuss existence results for the more general class of rational projective spaces.more » « less
An official website of the United States government
