Robabilistic Logic News Today : Breaking News, Live Updates & Top Stories | Vimarsana

Polynomial commitment schemes (PCS) are fundamental components that can effectively solve the problems arising from the combination of IoT and blockchain. These allow a committer to commit to a polynomial and then later evaluate the committed polynomial at an arbitrary challenge point along with a proof of valid, without revealing any additional information about the polynomial. Recent works have presented polynomial commitment schemes based on the discrete logarithm assumption. Their schemes do not require a trusted setup, and the verifier uses homomorphism to check the polynomial evaluation ...

This paper studies sample delivery in a multi-hop network where a power beacon charges devices via radio frequency (RF) signals. Devices forward samples with a deadline from a source to a sink. The goal is to minimize the power beacon’s transmit power and guarantee that samples arrive at the sink with probability (1-) by their deadline, where is a given probability of failure. A key challenge is that the power beacon does not have instantaneous channel gains information to devices and also between devices; i.e., it does not know the energy level of devices. To this end, we formulate a chance...

This paper considers energy delivery by a Hybrid Access Point (HAP) to one or more Radio Frequency (RF)-energy harvesting devices. Unlike prior works, it considers imperfect and causal Channel State Information (CSI), and probabilistic constraints that ensure devices receive their required amount of energy over a given planning horizon. To this end, it outlines two novel contributions. The first is a chance-constrained program, which is then solved using a Mixed Integer Linear Program (MILP) coupled with a Sample Average Approximation (SAA) method. The second is a Model Predictive Control (MPC...

A timely understanding of target vehicles (TVs) lateral behavior is essential for the decision-making and control of host vehicle. Existing physical model-based methods such as motion-based method and multiple centerline-based method are generally constructed based on TV pose and longitudinal velocity, and tend to ignore TV preview driving characteristic and other useful information such as lateral velocity and yaw rate. To address these issues, a driver preview and multiple centerline model-based probabilistic behavior recognition architecture is proposed for timely and accurate TV lateral be...