Related papers: On parametrization of linear pseudo-differential b…
It is useful to have canonical forms of boundary conditions in the study of the eigenvalues of boundary value problems and associated numerical applications. In [J. Appl. Anal. Comput., 2024, 14(4), {1854--1868}], a canonical form is given…
We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then aim to…
The problem of the determination of the Hilbert-space metric which renders a given Hamiltonian $H$ self-adjoint is addressed from the point of view of applicability of computer-assisted algebraic manipulations. An exactly solvable example…
The general theory of boundary value problems for linear elliptic wedge operators (on smooth manifolds with boundary) leads naturally, even in the scalar case, to the need to consider vector bundles over the boundary together with general…
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient framework for doing tedious algebraic manipulations that so far…
There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest in symbolic control where lower complexity models of control…
In a series of papers, we will develop systematically the basic spectral theory of (self-adjoint) boundary value problems for operators of Dirac type. We begin in this paper with the characterization of (self-adjoint) boundary conditions…
The superiorization methodology is intended to work with input data of constrained minimization problems, that is, a target function and a set of constraints. However, it is based on an antipodal way of thinking to what leads to constrained…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
Nonlocal boundary value problems with Dirichlet or Neumann boundary are well-studied for nonlocal operators of the type $\mathcal{L}_\gamma u = \operatorname{PV} \int_{\mathbb{R}^d} \big(u(\cdot)-u(y)\big) \gamma(\cdot,y) \, \mathrm{d}y$…
This paper addresses questions regarding controllability for `generic parameter' dynamical systems, i.e. the question whether a dynamical system is `structurally controllable'. Unlike conventional methods that deal with structural…
The study of symmetries of partial differential equations (PDEs) has been traditionally treated as a geometrical problem. Although geometrical methods have been proven effective with regard to finding infinitesimal symmetry transformations,…
This paper studies the structural controllability of a class of uncertain switched linear systems, where the parameters of subsystems state matrices are either unknown or zero. The structural controllability is a generalization of the…
We define the degenerate two boundary affine Hecke-Clifford algebra $\mathcal{H}_d$, and show it admits a well-defined $\mathfrak{q}(n)$-linear action on the tensor space $M\otimes N\otimes V^{\otimes d}$, where $V$ is the natural module…
In this paper, we revisit the well known Bohr-Sommerfeld quantization rule (BS) of order 2 for a self-adjoint 1-D semiclassical pseudo-differential operator, within the algebraic and microlocal framework of B. Helffer and J. Sj\"{o}strand.…
We derive a formalism to express the spin algebra $\mathfrak{su}(2)$ in a spin $s$ representation in terms of the algebra of $L$ fermionic operators that obey the Canonical Anti-commutation Relations. We also give the reverse direction of…
Algebraic effects and handlers support composable and structured control-flow abstraction. However, existing designs of algebraic effects often require effects to be executed sequentially. This paper studies parallel algebraic effect…
For homogeneous bilinear control systems, the control sets are characterized using a Lie algebra rank condition for the induced systems on projective space. This is based on a classical Diophantine approximation result. For affine control…
An analysis of the boundary representations and C$^*$-envelopes of some finite-dimensional operator systems $\mathcal R$ is undertaken by considering relationships between operator-theoretic properties of a $d$-tuple $\mathfrak…
The control properties of discrete-time switched linear systems (SLS) with switching signals generated by logical dynamic systems are studied using the semi-tensor product (STP) approach. With the algebraic state space representation…