-
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
Authors:
Didier Henrion,
Jared Miller,
Mohab Safey El Din
Abstract:
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the infeasibility of motion planning and trajectory optimization algorithms. We formulate path-disconnectedness as the infeasibility of a single-integrator control task to move between an initial set and a target set in a su…
▽ More
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the infeasibility of motion planning and trajectory optimization algorithms. We formulate path-disconnectedness as the infeasibility of a single-integrator control task to move between an initial set and a target set in a sufficiently long time horizon. This control-infeasibility task is certified through the generation of a time-dependent barrier function that separates the initial and final sets. The existence of a time-dependent barrier function is a necessary and sufficient condition for path-disconnectedness under compactness conditions. Numerically, the search for a polynomial barrier function is formulated using the moment-sum-of-squares hierarchy of semidefinite programs. The barrier function proves path-disconnectedness at a sufficiently large polynomial degree. The computational complexity of these semidefinite programs can be reduced by elimination of the control variables. Disconnectedness proofs are synthesized for example systems.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Bayesian Multidimensional Scaling for Location Awareness in Hybrid-Internet of Underwater Things
Authors:
Ruhul Amin Khalil,
Nasir Saeed,
Mohammad Inayatullah Babar,
Tariqullah Jan,
Sadia Din
Abstract:
Localization of sensor nodes in the Internet of Underwater Things (IoUT) is of considerable significance due to its various applications, such as navigation, data tagging, and detection of underwater objects. Therefore, in this paper, we propose a hybrid Bayesian multidimensional scaling (BMDS) based localization technique that can work on a fully hybrid IoUT network where the nodes can communicat…
▽ More
Localization of sensor nodes in the Internet of Underwater Things (IoUT) is of considerable significance due to its various applications, such as navigation, data tagging, and detection of underwater objects. Therefore, in this paper, we propose a hybrid Bayesian multidimensional scaling (BMDS) based localization technique that can work on a fully hybrid IoUT network where the nodes can communicate using either optical, magnetic induction, and acoustic technologies. These technologies are already used for communication in the underwater environment; however, lacking localization solutions. Optical and magnetic induction communication achieves higher data rates for short communication. On the contrary, acoustic waves provide a low data rate for long-range underwater communication. The proposed method collectively uses optical, magnetic induction, and acoustic communication-based ranging to estimate the underwater sensor nodes' final locations. Moreover, we also analyze the proposed scheme by deriving the hybrid Cramer Rao lower bound (HCRLB). Simulation results provide a complete comparative analysis of the proposed method with the literature.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Deep Learning Techniques for Improving Digital Gait Segmentation
Authors:
Matteo Gadaleta,
Giulia Cisotto,
Michele Rossi,
Rana Zia Ur Rehman,
Lynn Rochester,
Silvia Del Din
Abstract:
Wearable technology for the automatic detection of gait events has recently gained growing interest, enabling advanced analyses that were previously limited to specialist centres and equipment (e.g., instrumented walkway). In this study, we present a novel method based on dilated convolutions for an accurate detection of gait events (initial and final foot contacts) from wearable inertial sensors.…
▽ More
Wearable technology for the automatic detection of gait events has recently gained growing interest, enabling advanced analyses that were previously limited to specialist centres and equipment (e.g., instrumented walkway). In this study, we present a novel method based on dilated convolutions for an accurate detection of gait events (initial and final foot contacts) from wearable inertial sensors. A rich dataset has been used to validate the method, featuring 71 people with Parkinson's disease (PD) and 67 healthy control subjects. Multiple sensors have been considered, one located on the fifth lumbar vertebrae and two on the ankles. The aims of this study were: (i) to apply deep learning (DL) techniques on wearable sensor data for gait segmentation and quantification in older adults and in people with PD; (ii) to validate the proposed technique for measuring gait against traditional gold standard laboratory reference and a widely used algorithm based on wavelet transforms (WT); (iii) to assess the performance of DL methods in assessing high-level gait characteristics, with focus on stride, stance and swing related features. The results showed a high reliability of the proposed approach, which achieves temporal errors considerably smaller than WT, in particular for the detection of final contacts, with an inter-quartile range below 70 ms in the worst case. This study showes encouraging results, and paves the road for further research, addressing the effectiveness and the generalization of data-driven learning systems for accurate event detection in challenging conditions.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.