Related papers: Reachability problems for a wave-wave system with …
Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time…
Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachability analysis for general nonlinear, high-dimensional…
Reachability in pushdown vector addition systems with states (PVASS) is among the longest standing open problems in Theoretical Computer Science. We show that the problem is decidable in full generality. Our decision procedure is similar in…
In this paper, we consider the stochastic optimal control problem for jump diffusion systems with state constraints. In general, the value function of such problems is a discontinuous viscosity solution of the Hamilton-Jacobi-Bellman (HJB)…
The paper is denoted to the initial-boundary value problem for the wave equation with the Sturm-Liouville operator with irregular (distributive) potentials. To obtain a solution to the equation, the separation method and asymptotics of the…
This paper proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the specification is robustly realizable. Such a feature is…
We address the reachability problem for continuous-time stochastic dynamic systems. Our objective is to present a unified framework that characterizes the reachable set of a dynamic system in the presence of both stochastic disturbances and…
We investigate the existence of solutions of reversible and irreversible port-Hamiltonian systems. To this end, we utilize the associated exergy, a function that is composed of the system's Hamiltonian and entropy, to prove global existence…
The interest in the Camassa-Holm equation inspired the search for various generalizations of this equation with interesting properties and applications. In this letter we deal with such a two-component integrable system of coupled…
The characterization problem of the existence of an unknown obstacle behind a known obstacle is considered by using a singe observed wave at a place where the wave is generated. The unknown obstacle is invisible from the place by using…
We analyze and develop numerical methods for time-harmonic wave scattering in metallic waveguide structures of infinite extent. We show that radiation boundary conditions formulated via projectors onto outgoing modes determine the…
Suppose that a plane wave is incident onto an impenetrable grating profile of Dirichlet or Impedance type or a penetrable grating. The grating interface is assumed to be given by a Lipschitz function in two dimensions. We derive stability…
We give an iterative method to estimate the disturbance of semi-wavefronts of the equation: $\dot{u}(t,x) = u''(t,x) +u(t,x)(1-u(t-h,x)),$ $x \in \mathbb{R},\ t >0;$ where $h>0.$ As a consequence, we show the exponential stability, with an…
Thirty years after the introduction of port-Hamiltonian systems, interest in this system class still remains high among systems and control researchers. Very recently, Jacob and Laasri obtained strong results on the solvability and…
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector…
We study the propagation of elastic waves in the time-harmonic regime in a waveguide which is unbounded in one direction and bounded in the two other (transverse) directions. We assume that the waveguide is thin in one of these transverse…
This paper is concerned with the invisibility cloaking in electromagnetic wave scattering from a new perspective. We are especially interested in achieving the invisibility cloaking by completely regular and isotropic mediums. Our study is…
In this paper we consider the direct scattering problem of obliquely incident time-harmonic electromagnetic plane waves by an infinitely long dielectric cylinder. We assume that the cylinder and the outer medium are homogeneous and…
We study some hyperbolic partial integro-differential systems in domains with time dependent cracks. In particular, we give conditions on the cracks which imply the uniqueness of the solution with prescribed initial-boundary conditions, and…
We address the direct scattering problem for a penetrable obstacle in an infinite elastic two--dimensional Kirchhoff--Love plate. Under the assumption that the plate's thickness is small relative to the wavelength of the incident wave, the…