We study the heat kernel of the sub-Laplacian on the CR hyperbolic space
H2n+1and on its universal covering H`2n+1. We work in cylindrical coordinates
that reflects the symmetries coming from the fibration H2n+1 \rightarrow CHn,
and derive an explicit and geometrically meaningful formula for the subelliptic
heat kernel. As a by-product we obtain the small-time asymptotics of the heat
kernel, as well as an explicit formula for the sub-Riemannian distance.
In this paper, we consider the problem of deploying a robot from a
specification given as a temporal logic statement about some properties
satisfied by the regions of a large, partitioned environment. We assume that
the robot has noisy sensors and actuators and model its motion through the
regions of the environment as a Markov Decision Process (MDP). The robot
control problem becomes finding the control policy maximizing the probability
of satisfying the temporal logic task on the MDP.
We consider the problem of finding a control policy for a Markov Decision
Process (MDP) to maximize the probability of reaching some states while
avoiding some other states. This problem is motivated by applications in
robotics, where such problems naturally arise when probabilistic models of
robot motion are required to satisfy temporal logic task specifications. We
transform this problem into a Stochastic Shortest Path (SSP) problem and
develop a new approximate dynamic programming algorithm to solve it.
This paper studies the spectrum sharing problem between a cooperative relay
network (CRN) and a nearby ad-hoc network that operates over the same spectral
band. In the uplink CRN transmission, both the source node and relay node can
interfere with the ad-hoc links. By virtue of that the CRN can predict the
ad-hoc traffic through spectrum sensing, we optimize the spectrum access and
resource allocation strategy of the CRN such that the average traffic collision
time between the two networks can be minimized while maintaining a required
uplink throughput for the CRN.
Regression models to relate a scalar $Y$ to a functional predictor $X(t)$ are
becoming increasingly common. Work in this area has concentrated on estimating
a coefficient function, $\beta(t)$, with $Y$ related to $X(t)$ through
$\int\beta(t)X(t) dt$. Regions where $\beta(t)\ne0$ correspond to places where
there is a relationship between $X(t)$ and $Y$. Alternatively, points where
$\beta(t)=0$ indicate no relationship.