23,964 research outputs found
A unified approach for the solution of the Fokker-Planck equation
This paper explores the use of a discrete singular convolution algorithm as a
unified approach for numerical integration of the Fokker-Planck equation. The
unified features of the discrete singular convolution algorithm are discussed.
It is demonstrated that different implementations of the present algorithm,
such as global, local, Galerkin, collocation, and finite difference, can be
deduced from a single starting point. Three benchmark stochastic systems, the
repulsive Wong process, the Black-Scholes equation and a genuine nonlinear
model, are employed to illustrate the robustness and to test accuracy of the
present approach for the solution of the Fokker-Planck equation via a
time-dependent method. An additional example, the incompressible Euler
equation, is used to further validate the present approach for more difficult
problems. Numerical results indicate that the present unified approach is
robust and accurate for solving the Fokker-Planck equation.Comment: 19 page
A unified approach to the performance analysis of caching systems
We propose a unified methodology to analyse the performance of caches (both
isolated and interconnected), by extending and generalizing a decoupling
technique originally known as Che's approximation, which provides very accurate
results at low computational cost. We consider several caching policies, taking
into account the effects of temporal locality. In the case of interconnected
caches, our approach allows us to do better than the Poisson approximation
commonly adopted in prior work. Our results, validated against simulations and
trace-driven experiments, provide interesting insights into the performance of
caching systems.Comment: in ACM TOMPECS 20016. Preliminary version published at IEEE Infocom
201
Mixed integer predictive control and shortest path reformulation
Mixed integer predictive control deals with optimizing integer and real
control variables over a receding horizon. The mixed integer nature of controls
might be a cause of intractability for instances of larger dimensions. To
tackle this little issue, we propose a decomposition method which turns the
original -dimensional problem into indipendent scalar problems of lot
sizing form. Each scalar problem is then reformulated as a shortest path one
and solved through linear programming over a receding horizon. This last
reformulation step mirrors a standard procedure in mixed integer programming.
The approximation introduced by the decomposition can be lowered if we operate
in accordance with the predictive control technique: i) optimize controls over
the horizon ii) apply the first control iii) provide measurement updates of
other states and repeat the procedure
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
It is well known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of logic programs to be improved. In this paper, we present a novel combination of set-sharing with freeness and linearity information, which is characterized by an improved abstract unification operator. We provide a new abstraction function and prove the correctness of the analysis for both the finite tree and the rational tree cases.
Moreover, we show that the same notion of redundant information as identified in Bagnara et al. (2000) and Zaffanella et al. (2002) also applies to this abstract domain combination: this allows for the implementation of an abstract unification operator running in polynomial time and achieving the same precision on all the considered observable properties
Active Classification for POMDPs: a Kalman-like State Estimator
The problem of state tracking with active observation control is considered
for a system modeled by a discrete-time, finite-state Markov chain observed
through conditionally Gaussian measurement vectors. The measurement model
statistics are shaped by the underlying state and an exogenous control input,
which influence the observations' quality. Exploiting an innovations approach,
an approximate minimum mean-squared error (MMSE) filter is derived to estimate
the Markov chain system state. To optimize the control strategy, the associated
mean-squared error is used as an optimization criterion in a partially
observable Markov decision process formulation. A stochastic dynamic
programming algorithm is proposed to solve for the optimal solution. To enhance
the quality of system state estimates, approximate MMSE smoothing estimators
are also derived. Finally, the performance of the proposed framework is
illustrated on the problem of physical activity detection in wireless body
sensing networks. The power of the proposed framework lies within its ability
to accommodate a broad spectrum of active classification applications including
sensor management for object classification and tracking, estimation of sparse
signals and radar scheduling.Comment: 38 pages, 6 figure
- …