Related papers: Hybrid spatiotemporal architectures for universal …
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the properties described by a bounded linear temporal logic. We…
We introduce a constructive algorithm for universal linear electromagnetic transformations between the $N$ input and $N$ output modes of a dielectric slab. The approach uses out-of-plane phase modulation programmed down to $N^2$ degrees of…
Structured light, in which the amplitude, phase, and polarization of an optical field are deliberately tailored in space and time, has enabled unprecedented control over optical fields, paving the way for diverse applications across…
We discuss transformations generated by dynamical quantum systems which are bi-unitary, i.e. unitary with respect to a pair of Hermitian structures on an infinite-dimensional complex Hilbert space. We introduce the notion of Hermitian…
Finite projective (lattice) geometries defined over rings instead of fields have recently been recognized to be of great importance for quantum information theory. We believe that there is much more potential hidden in these geometries to…
Recently, the joint design of optical systems and downstream algorithms is showing significant potential. However, existing rays-described methods are limited to optimizing geometric degradation, making it difficult to fully represent the…
Radars, due to their robustness to adverse weather conditions and ability to measure object motions, have served in autonomous driving and intelligent agents for years. However, Radar-based perception suffers from its unintuitive sensing…
In this work, a novel method for planar task and motion planning based on hybrid modeling is proposed. By virtue of a discrete variable which models local constraint satisfaction and enables local feasibility analysis, the proposed control…
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PTL, the spatial logics RCC-8,…
We present some new ideas on how to design analogue models of quantum fields living in curved spacetimes using ultra-cold atoms in optical lattices. We discuss various types of static and dynamical curved spacetimes achievable by simple…
Recent technological innovations have led to an increase in the availability of 3D urban data, such as shadow, noise, solar potential, and earthquake simulations. These spatiotemporal datasets create opportunities for new visualizations to…
We show how to design an optical device that can perform any linear function or coupling between inputs and outputs. This design method is progressive, requiring no global optimization. We also show how the device can configure itself…
Safety-guaranteed motion planning is critical for self-driving cars to generate collision-free trajectories. A layered motion planning approach with decoupled path and speed planning is widely used for this purpose. This approach is prone…
Previous formulations of transformation optics have generally been restricted to transformations from relatively simple initial media, such as the vacuum, because of limitations due to their non-covariance. I show that a completely…
The engineering of localised modes in photonic structures is one of the main targets of modern photonics. An efficient strategy to design these modes is to use the interplay of constructive and destructive interference in periodic photonic…
Linear optics has seen a resurgence for applications in quantum information processing owing to its miniaturisation on-chip, and increase in production efficiency and quality of single photons. Time-bin encodings have also become feasible…
Robotic assembly planning enables architects to explicitly account for the assembly process during the design phase, and enables efficient building methods that profit from the robots' different capabilities. Previous work has addressed…
With the significant advancements in optical computing platforms recently capable of performing various primitive operations, a seamless integration of optical computing into very fabric of optical communication links is envisioned, paving…
We present a design space for animated transitions of the appearance of 3D spatial datasets in a hybrid Augmented Reality (AR)-desktop context. Such hybrid interfaces combine both traditional and immersive displays to facilitate the…
Sparse algorithms offer great flexibility for multi-view temporal perception tasks. In this paper, we present an enhanced version of Sparse4D, in which we improve the temporal fusion module by implementing a recursive form of multi-frame…