Lazy Incremental Search for Efficient Replanning with Bounded Suboptimality Guarantees
Authors:
Jaein Lim,
Mahdi Ghanei,
R. Connor Lawson,
Siddhartha Srinivasa,
Panagiotis Tsiotras
Abstract:
We present a lazy incremental search algorithm, Lifelong-GLS (L-GLS), along with its bounded suboptimal version, Bounded L-GLS (B-LGLS) that combine the search efficiency of incremental search algorithms with the evaluation efficiency of lazy search algorithms for fast replanning in problem domains where edge-evaluations are more expensive than vertex-expansions. The proposed algorithms generalize…
▽ More
We present a lazy incremental search algorithm, Lifelong-GLS (L-GLS), along with its bounded suboptimal version, Bounded L-GLS (B-LGLS) that combine the search efficiency of incremental search algorithms with the evaluation efficiency of lazy search algorithms for fast replanning in problem domains where edge-evaluations are more expensive than vertex-expansions. The proposed algorithms generalize Lifelong Planning A* (LPA*) and its bounded suboptimal version, Truncated LPA* (TLPA*), within the Generalized Lazy Search (GLS) framework, so as to restrict expensive edge evaluations only to the current shortest subpath when the cost-to-come inconsistencies are propagated during repair. We also present dynamic versions of the L-GLS and B-LGLS algorithms, called Generalized D* (GD*) and Bounded Generalized D* (B-GD*), respectively, for efficient replanning with non-stationary queries, designed specifically for navigation of mobile robots. We prove that the proposed algorithms are complete and correct in finding a solution that is guaranteed not to exceed the optimal solution cost by a user-chosen factor. Our numerical and experimental results support the claim that the proposed integration of the incremental and lazy search frameworks can help find solutions faster compared to the regular incremental or regular lazy search algorithms when the underlying graph representation changes often.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
Fourier and Fourier-Stieltjes algebra of Fell bundles over discrete groups
Authors:
Massoud Amini,
Mohammad Reza Ghanei
Abstract:
For a Fell bundle $\mathcal{B}=\left\{B_{s}\right\}_{s \in G}$ over a discrete group $G$, we use representations theory of $\mathcal{B}$ to construct the Fourier and Fourier-Stieltjes spaces $A(\mathcal{B})$ and $B(\mathcal{B})$ of $\mathcal B$. When $\mathcal B$ is saturated we show $B(\mathcal{B})$ is canonically isomorphic to the dual space of the cross sectional $C^{*}$-algebra…
▽ More
For a Fell bundle $\mathcal{B}=\left\{B_{s}\right\}_{s \in G}$ over a discrete group $G$, we use representations theory of $\mathcal{B}$ to construct the Fourier and Fourier-Stieltjes spaces $A(\mathcal{B})$ and $B(\mathcal{B})$ of $\mathcal B$. When $\mathcal B$ is saturated we show $B(\mathcal{B})$ is canonically isomorphic to the dual space of the cross sectional $C^{*}$-algebra $C^{*}(\mathcal{B})$ of $\mathcal{B}$. When there is a compatible family of co-multiplications on the fibers we show that $B(\mathcal{B})$ and $A(\mathcal{B})$ are Banach algebras. This holds in particular if either the fiber $B_e$ at identity is a Hopf $C^*$-algebra or $\mathcal{B}$ is the Fell bundle of a $C^*$-dynamical system. When $A(\mathcal{B})$ is a Banach algebra with bounded approximate identity, we show that $B(\mathcal{B})$ is the multiplier algebra of $A(\mathcal{B})$. We prove a Leptin type theorem by showing that amenability of $G$ implies the existence of bounded approximate identity for $A(\mathcal{B})$ for bundles coming from a $C^*$-dynamical system $(A,G,γ)$. The converse is left as an open problem.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
