skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on February 1, 2026

Title: 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
Author(s) / Creator(s):
; ; ;
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
  1. 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
  2. In this paper, we prove the local converse theorem for split even special orthogonal groups over a non-Archimedean local field of characteristic p ≠<#comment/> 2 p\neq 2 . 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
  3. 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
  4. 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
  5. 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