Related papers: Reachability problems for a wave-wave system with …
We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for instance when specifying important problems in control such…
This study focuses on reachability problems in differential games. An improved level set method for computing reachable tubes is proposed in this paper. The reachable tube is described as a sublevel set of a value function, which is the…
We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-reachability can be thought of as a robust version of classical…
The present manuscript consists of inverse problems for a coupled system of wave equations with potential in $\mathbb{R}^3$. By establishing the fundamental solution to the aforementioned operator, we study the uniqueness aspects of the…
We study the convex hulls of reachable sets of nonlinear systems with bounded disturbances and uncertain initial conditions. Reachable sets play a critical role in control, but remain notoriously challenging to compute, and existing…
We prove local unique solvability of the wave equation for a large class of weakly singular, locally bounded space-time metrics in a suitable space of generalised functions.
We consider an inverse problem for the elastic wave of simultaneously reconstructing the impedance and the geometric information of the bounded body that is occupied by a homogeneous and isotropic elastic medium from the measured Cauchy…
We study the inverse problem, or inverse design problem, for a time-evolution Hamilton-Jacobi equation. More precisely, given a target function $u_T$ and a time horizon $T>0$, we aim to construct all the initial conditions for which the…
A shortcoming of existing reachability approaches for nonlinear systems is the poor scalability with the number of continuous state variables. To mitigate this problem we present a simulation-based approach where we first sample a number of…
The diffraction of a plane wave by a transversely inhomogeneous isotropic nonmagnetic linearly polarized dielectric layer filled with a Kerr-type nonlinear medium is considered. The analytical and numerical solution techniques are…
A novel method for computing reachable sets is proposed in this paper. In the proposed method, a Hamilton-Jacobi-Bellman equation with running cost functionis numerically solved and the reachable sets of different time horizons are…
The reachability analysis of recursive programs that communicate asynchronously over reliable FIFO channels calls for restrictions to ensure decidability. Our first result characterizes communication topologies with a decidable reachability…
We study the memory-type null controllability property for wave equations involving memory terms. The goal is not only to drive the displacement and the velocity (of the considered wave) to rest at some time-instant but also to require the…
We propose a new approach to compute an interval over-approximation of the finite time reachable set for a large class of nonlinear systems. This approach relies on the notions of sensitivity matrices, which are the partial derivatives…
Motivated by the success of bounded model checking framework for finite state machines, Ouaknine and Worrell proposed a time-bounded theory of real-time verification by claiming that restriction to bounded-time recovers decidability for…
This paper deals with some reachability issues for piecewise linear switched systems with time-dependent coefficients and multiplicative noise. Namely, it aims at characterizing data that are almost reachable at some fixed time T > 0…
Two methods are explained to exactly solve Maxwell's equations where permittivity, permeability and conductivity may vary in space. In the constitutive relations, retardation is regarded. If the material properties depend but on one…
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target location within T time units, where T is a constant rational…
Recently, two different proofs for large and intermediate-size solitary waves of the nonlocally dispersive Whitham equation have been presented, using either global bifurcation theory or the limit of waves of large period. We give here a…
We consider wave propagation problems over 2-dimensional domains with piecewise-linear boundaries, possibly including scatterers. We assume that the wave speed is constant, and that the initial conditions and forcing terms are radially…