Related papers: Explicit Solutions to the Continuous Time Albert-B…
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challenge is to maintain scalability when dealing with…
We study how to identify a class of continuous-time nonlinear systems defined by an ordinary differential equation affine in the unknown parameter. We define a notion of asymptotic consistency as $(n, h) \to (\infty, 0)$, and we achieve it…
In this note we develop a fully explicit cut finite element method for the wave equation. The method is based on using a standard leap frog scheme combined with an extension operator that defines the nodal values outside of the domain in…
We prove a global result in time for the initial value problem for the relativistic Boltzmann equation on the flat Robertson-Walker sapace time, in the functional framework appropriate to the coupling with Einstein's equations. We had…
In this paper, we study a fast and linearized finite difference method to solve the nonlinear time-fractional wave equation with multi fractional orders. We first propose a discretization to the multi-term Caputo derivative based on the…
Two-time-scale stochastic approximation is a popular iterative method for finding the solution of a system of two equations. Such methods have found broad applications in many areas, especially in machine learning and reinforcement…
Burgers' equation with fixed Dirichlet boundary conditions is considered on generic bounded intervals. By using the Hopf-Cole transformation and the exact operational solution recently established for linear reaction-diffusion equations…
An increasing number of applications require real-time reasoning under uncertainty with streaming input. The temporal (dynamic) Bayes net formalism provides a powerful representational framework for such applications. However, existing…
A finite element scheme for an entirely fractional Allen-Cahn equation with non-smooth initial data is introduced and analyzed. In the proposed nonlocal model, the Caputo fractional in-time derivative and the fractional Laplacian replace…
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over…
In this paper we propose the PCP-like theorem for sub-linear time inapproximability. Abboud et al. have devised the distributed PCP framework for proving sub-quadratic time inapproximability. Here we try to go further in this direction.…
In this work we derive new analytic expressions for fixation time in Wright-Fisher model with selection. The three standard cases for fixation are considered: fixation to zero, to one or both. Second order differential equations for…
The paper addresses the exact linearization of flat nonlinear discrete-time systems by generalized static or dynamic feedbacks which may also depend on forward-shifts of the new input. We first investigate the question which forward-shifts…
In this paper, we propose a time-frequency analysis method to obtain instantaneous frequencies and the corresponding decomposition by solving an optimization problem. In this optimization problem, the basis to decompose the signal is not…
In this paper, we propose a class of discrete-time approximation schemes for stochastic optimal control problems under the $G$-expectation framework. The proposed schemes are constructed recursively based on piecewise constant policy. We…
In practice many problems related to space/time fractional equations depend on fractional parameters. But these fractional parameters are not known a priori in modelling problems. Hence continuity of the solutions with respect to these…
This paper presents a linear computational technique based on cubic trigonometric cubic B-splines for time fractional burgers' equation. The nonlinear advection term is approximated by a new linearization technique which is very efficient…
In this paper, we investigate the numerical approximation of Hamilton-Jacobi equations with the Caputo time-fractional derivative. We introduce an explicit in time discretization of the Caputo derivative and a finite difference scheme for…
We shall develop a fully discrete space-time adaptive method for linear parabolic problems based on new reliable and efficient a posteriori analysis for higher order dG(s) finite element discretisations. The adaptive strategy is motivated…
In this paper, we are primarily concerned with the study of entire and analytical solutions of abstract degenerate (multi-term) fractional differential equations with Caputo time-fractional derivatives. We also analyze systems of such…