Environment

In this paper we introduce logical-space programming, a spatial computing paradigm where programs have access to a logical space model, i.e., names and explicit relations over such names, while the runtime system is in charge of manipulating the physical space. Mobile devices such as autonomous vehicles are equipped with sensors and actuators that provide means for computation to react upon spatial information and produce effects over the environment. The spatial behavior of these systems is commonly specified at the physical level, e.g., GPS coordinates. This puts the responsibility for...

We study the problem of high-accuracy localization of mobile nodes in a multipath-rich environment where submeter accuracy values are required. We employ a peer-to-peer framework where nodes can get pairwise multipath-degraded ranging estimates in local neighborhoods, with the multipath noise correlated across time. The challenge is to enable high-accuracy positioning under severe multipath conditions when the fraction of received signals corrupted by multiple paths is significant. Our contributions are twofold. We provide a practical distributed localization algorithm by invoking an...

Unmanned aerial vehicles (UAVs) equipped with imaging and laser sensors have shown their benefits in structural health inspection due to their aerial mobility, low cost, and efficiency. However, UAV applications in practice are limited by their level of automation, and man-piloted operation dominates to date. With vehicle automation on the horizon, autonomous structural inspection systems via robotic vehicles have become a possibility. Nonetheless, significant challenges exist for testing and validating in a physical environment. This paper proposes a virtual reality framework for...

Environmental factors pose a significant challenge to the operational efficiency and safety of advanced air mobility (AAM) networks. This paper presents a simulation-optimization framework that dynamically integrates wind variability into AAM operations. We employ a nonlinear charging model within a multi-vertiport environment to optimize fleet size and scheduling. Our framework assesses the impact of wind on operational parameters, providing strategies to enhance the resilience of AAM ecosystems. The results demonstrate that wind conditions exert significant influence on fleet size even...