Related papers: Control and its applications in additive combinato…
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in…
The purpose of this article is to study a stochastic control problem on a junction, with control at the junction point. The problem of control is formulated in the weak sense, using a relaxed control, namely a control which takes values in…
This is an expository survey on recent sum-product results in finite fields. We present a number of sum-product or "expander" results that say that if $|A| > p^{2/3}$ then some set determined by sums and product of elements of $A$ is nearly…
We prove some results concerning the boundary of a convex set in $\H^n$. This includes the convergence of curvature measures under Hausdorff convergence of the sets, the study of normal points, and, for convex surfaces, a generalized Gauss…
We study the role of symmetries in control systems through the geometric algebra approach. We discuss two specific control problems on Carnot groups of step $2$ invariant with respect to the action of $SO(3)$. We understand the geodesics as…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
We will prove that the generalized Lie algebroid is a distinguished example by Lie algebroid. The generality of it with respect to the Lie algebroid is similar with the generality of the pull-back vector bundle with respect to the vector…
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the…
For a class of Bellman equations in bounded domains we prove that sub- and supersolutions whose growth at the boundary is suitably controlled must be constant. The ellipticity of the operator is assumed to degenerate at the boundary and a…
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both…
We study the sum-product problem for the planar hypercomplex numbers: the dual numbers and double numbers. These number systems are similar to the complex numbers, but it turns out that they have a very different combinatorial behavior. We…
We use ideas from algebraic geometry and dynamical systems to explain some ways that control points influence the shape of a B\'ezier curve or patch. In particular, we establish a generalization of Birch's Theorem and use it to deduce…
This note is addressed to giving a short introduction to control theory of stochastic systems, governed by stochastic differential equations in both finite and infinite dimensions. We will mainly explain the new phenomenon and difficulties…
Control theory uses `signal-flow diagrams' to describe processes where real-valued functions of time are added, multiplied by scalars, differentiated and integrated, duplicated and deleted. These diagrams can be seen as string diagrams for…
We provide bounds on the error between dynamics of an infinite dimensional bilinear Schr\"odinger equation and of its finite dimensional Galerkin approximations. Standard averaging methods are used on the finite dimensional approximations…
This work deals with the existence of optimal solution and the maximum principle for optimal control problem governed by Navier-Stokes equations with state constraint in 3-D. Strong results in 2-D also are given.
Building on the free-probability stochastic control framework introduced in arXiv:2502.17329, we connect optimal control problems for $n \times n$ random matrix ensembles with their infinite-dimensional, free-probability analogues. Under…
In this paper, we consider the problem of set-point tracking for a discrete-time plant with unknown plant parameters belonging to a convex and compact uncertainty set. We carry out parameter estimation for an associated auxiliary plant, and…
We develop the structure theory for transformations of weakly geometric rough paths of bounded $1 < p$-variation and their controlled paths. Our approach differs from existing approaches as it does not rely on smooth approximations. We…
In this paper, we develop a general approach to proving global and local uniform limit theorems for the Horvitz-Thompson empirical process arising from complex sampling designs. Global theorems such as Glivenko-Cantelli and Donsker…