Related papers: On the Attainable set for Temple Class Systems wit…

In natural resource management, or more generally in the study of sustainability issues, often the objective is to maintain the state of a given system within a desirable configuration, typically established in terms of standards or…

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…

In this paper, the boundary flex control problem of non stationary equation governing the coupled mass and heat flow of a viscous incompressible fluid in a generalized Boussinesq approximation by assuming that viscosity and heat…

We consider the Cauchy problem for a $n\times n$ strictly hyperbolic system of balance laws $$ \{{array}{c} u_t+f(u)_x=g(x,u), x \in \mathbb{R}, t>0 u(0,.)=u_o \in L^1 \cap BV(\mathbb{R}; \mathbb{R}^n), | \lambda_i(u)| \geq c > 0 {for all}…

We calculate arbitrarily tight upper and lower bounds on an unconstrained control, linear-quadratic, singularly perturbed optimal control problem whose exact solution is computationally intractable. It is well known that for the…

We consider output trajectory tracking for a class of uncertain nonlinear systems whose internal dynamics may be modelled by infinite-dimensional systems which are bounded-input, bounded-output stable. We describe under which conditions…

We establish a link between stability estimates for a hyperbolic inverse problem via the Boundary Control method and the blowup of a constant appearing in the contexts of optimal unique continuation and cost of approximate controllability.

This paper investigates the application of reachability analysis to the re-entry problem faced by vehicles entering Earth's atmosphere. The study delves into the time evolution of reachable sets for the system, particularly when subject to…

This is a continuation, and conclusion, of our study of bounded solutions $u$ of the semilinear parabolic equation $u_t=u_{xx}+f(u)$ on the real line whose initial data $u_0=u(\cdot,0)$ have finite limits $\theta^\pm$ as $x\to\pm\infty$. We…

In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex…

This paper addresses the controllability of a class of quasi-linear parabolic equations governed by multiplicative controls with mobile support. To prove the existence of such a control forcing the solution to rest at time $T>0$, we first…

This dissertation presents and prove the viability of a non-standard method for controlling the state of a quantum system by modifying its boundary conditions instead of relying on the action of external fields. The standard approach to…

It is shown that the observability of a large class of operations on mixed states is fundamentally limited. We consider trace preserving, unital operations. This class includes unitary and perfect premeasurement operations. An upper bound…

The challenging problems, in the field of control of chaos or of transition to chaos, lie in the domain of infinite-dimensional systems. Access to all variables being impossible in this case and the controlling action being limited to a few…

We consider an initial boundary value problem for a 2x2 system of conservation laws modeling heatless adsorption of a gaseous mixture with two species and instantaneous exchange kinetics, close to the system of Chromatography. In this model…

This work deals with a fully parabolic chemotaxis model with nonlinear production and chemoattractant. The problem is formulated on a bounded domain and, depending on a specific interplay between the coefficients associated to such…

We present a scheme for controlling the state of a quantum system by modifying the boundary conditions. This constitutes an infinite-dimensional control problem. We provide conditions for the existence of solutions of the dynamics and prove…

In the paper, the problems of controllability and approximate controllability are studied for the control system $w_t=\frac{1}{\rho}\left(kw_x\right)_x+\gamma w$, $\left.\left(\sqrt{\frac{k}{\rho}}w_x\right)\right|_{x=0}=u$, $x>0$,…

We consider the initial-boundary value problem for systems of quasilinear wave equations on domains of the form $[0,T] \times \Sigma$, where $\Sigma$ is a compact manifold with smooth boundaries $\partial\Sigma$. By using an appropriate…

Here we present an expanded analysis of a model for the manipulation and control of observables in a strongly correlated, many-body system, which was first presented in [McCaul et al., eprint: arXiv:1911.05006]. A field-free, non-linear…