Related papers: Time-convolutionless non-Markovian master equation…
We prove the existence and exponential decay of global in time strong solutions to the Boltzmann equation without any angular cut-off, i.e., for long-range interactions. We consider perturbations of the Maxwellian equilibrium states and…
In this paper we study the functional central limit theorem for stationary Markov chains with self-adjoint operator and general state space. We investigate the case when the variance of the partial sum is not asymptotically linear in n; and…
In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling…
A perturbative quantum master equation is derived for a system interacting with its environment, which is more general than the ones derived before. Our master equation takes into account the effect of the energy exchanges between the…
We establish the existence of strong solutions to a class of nonlinear strongly coupled and uniform elliptic systems consisting of more than two equations. The existence of of nontrivial and non constant solutions (or pattern formations)…
We present a robust control framework for time-critical systems in which satisfying real-time constraints robustly is of utmost importance for the safety of the system. Signal Temporal Logic (STL) provides a formal means to express a large…
In this paper, we discuss the classification problem for linear time-invariant multivariable systems without control. It turns out that the observability and stability are invariant for topological equivalent systems. Abstract results…
A strong entanglement monotone, which never increases under local operations and classical communications (LOCC), restricts quantum entanglement manipulation more strongly than the usual monotone since the usual one does not increase on…
We give a detailed theoretical derivation of the quantum master equation for the coherent Ising machine. This is a quantum computational network with feedback, that solves NP hard combinatoric problems, including the traveling salesman…
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where timing is critical, for example reactive systems. Systems…
We show that the computational power of the non-causal circuit model, i.e., the circuit model where the assumption of a global causal order is replaced by the assumption of logical consistency, is completely characterized by the complexity…
We review our recent work leading to steady-state solutions of the semiclassical (Maxwell-Bloch) equations of a laser. These are coupled non-linear partial differential equations in space and time which have previously been solved either by…
This paper considers the robustness of an uncertain nonlinear system along a finite-horizon trajectory. The uncertain system is modeled as a connection of a nonlinear system and a perturbation. The analysis relies on three ingredients.…
We present a time-splitting spectral scheme for the Maxwell-Dirac system and similar time-splitting methods for the corresponding asymptotic problems in the semi-classical and the non-relativistic regimes. The scheme for the Maxwell-Dirac…
In this work, we derive a deterministic master equation to model a general, possibly non-Markovian, feedback. The master equation describes a system with a general evolution and measurement operation, with feedback being applied in terms of…
In this paper we study coupled fully non-local equations, where a linear non-local operator jointly acts on the time and space variables. We establish existence and uniqueness of the solution. A maximum principle is proved and used to…
We propose to analyse the discretization of the Stokes problem with nonconforming finite elements in light of the T-coercivity (cf. [1] for Helmholtz-like problems, see [2], [3] and [4] for the neutron diffusion equation). We propose…
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and TPTL employing freeze quantifiers. Satisfiability for both is…
We study the effects of symmetry breaking on non-Markovian dynamics in various system-bath arrangements. It is shown that by breaking certain symmetries features signaling non-Markovian time evolution disappear within a finite time t_{g}.…
Time crystals correspond to a phase of matter where time-translational symmetry (TTS) is broken. Up to date, they are well studied in open quantum systems, where external drive allows to break discrete TTS, ultimately leading to Floquet…