English
Related papers

Related papers: Optimal GNSS Time Tracking for Long-term Stable Ti…

200 papers

A framework is introduced for sequentially solving convex stochastic minimization problems, where the objective functions change slowly, in the sense that the distance between successive minimizers is bounded. The minimization problems are…

Optimization and Control · Mathematics 2018-03-12 Craig Wilson , Venugopal Veeravalli , Angelia Nedich

We demonstrate programmable control over the spatial distribution of ultra-cold atoms confined in an optical lattice. The control is facilitated through a combination of spatial manipulation of the magneto-optical trap and atomic population…

Clock meshes are essential in high-performance VLSI systems for minimizing skew and handling PVT variations, but analyzing them is difficult due to reconvergent paths, multi-source driving, and input mesh buffer skew. SPICE simulations are…

Hardware Architecture · Computer Science 2025-07-09 Muhammad Hadir Khan , Matthew Guthaus

Atomic clocks are typically operated by locking a local oscillator (LO) to a single atomic ensemble. In this article we propose a scheme where the LO is locked to several atomic ensembles instead of one. This results in an exponential…

Quantum Physics · Physics 2014-10-10 Johannes Borregaard , Anders S. Sørensen

The time-symmetric block time--step (TSBTS) algorithm is a newly developed efficient scheme for $N$--body integrations. It is constructed on an era-based iteration. In this work, we re-designed the TSBTS integration scheme with dynamically…

Instrumentation and Methods for Astrophysics · Physics 2015-06-05 M. Kaplan , H. Saygin

This paper proposes a new optimal control synthesis algorithm for multi-robot systems under global temporal logic tasks. Existing planning approaches under global temporal goals rely on graph search techniques applied to a product automaton…

Robotics · Computer Science 2018-06-21 Yiannis Kantaros , Michael M. Zavlanos

In this paper, adaptive prescribed finite time stabilization of uncertain single-input and single-output nonlinear systems is considered in the presence of unknown states, unknown parameters, external load disturbance, and non-symmetric…

Systems and Control · Electrical Eng. & Systems 2020-12-03 Amin Vahidi-Moghaddam , Arman Rajaei , Moosa Ayati , Ramin Vatankhah , Mohammad Reza Hairi-Yazdi

Autonomous robotic systems require advanced control frameworks to achieve complex temporal objectives that extend beyond conventional stability and trajectory tracking. Signal Temporal Logic (STL) provides a formal framework for specifying…

Systems and Control · Electrical Eng. & Systems 2025-04-29 Kazunobu Serizawa , Kazumune Hashimoto , Wataru Hashimoto , Masako Kishida , Shigemasa Takai

Context Progresses in GNSS-based solution introduction in rail applications GNSS (Global Navigation Satellite System) is now used in most of our travels and each of our smartphone apps. Most of the usages are not safety-critical. But Europe…

Artificial Intelligence · Computer Science 2024-10-25 Juliette Marais , Quentin Mayolle , Martin Fasquelle , Vincent Tardif , Emilie Chéneau-Grehalle

Spin squeezing is a form of entanglement that can improve the stability of quantum sensors operating with multiple particles, by inducing inter-particle correlations that redistribute the quantum projection noise. Previous analyses of…

Quantum Physics · Physics 2018-10-16 Boris Braverman , Akio Kawasaki , Vladan Vuletic

In trapped-atom clocks, the primary source of decoherence is often the phase noise of the oscillator. For this case, we derive theoretical performance gains by combining several atomic ensembles. For example, M ensembles of N atoms can be…

Quantum Physics · Physics 2013-11-15 T. Rosenband , D. R. Leibrandt

Quantum clock synchronization (QCS) aims to establish a shared temporal reference between distant nodes by exploiting uniquely quantum phenomena such as entanglement, single-photon interference, and quantum correlations. In contrast to…

Optical atomic clocks are our most precise tools to measure time and frequency. They enable precision frequency comparisons between atoms in separate locations to probe the space-time variation of fundamental constants, the properties of…

Atomic Physics · Physics 2022-09-09 B. C. Nichol , R. Srinivas , D. P. Nadlinger , P. Drmota , D. Main , G. Araneda , C. J. Ballance , D. M. Lucas

Optical clocks based on atoms and ions probe relativistic effects with unprecedented sensitivity by resolving time dilation due to atom motion or different positions in the gravitational potential through frequency shifts. However, all…

Quantum Physics · Physics 2026-04-22 Gabriel Sorci , Joshua Foo , Dietrich Leibfried , Christian Sanner , Igor Pikovski

In this paper a new distributed asynchronous algorithm is proposed for time synchronization in networks with random communication delays, measurement noise and communication dropouts. Three different types of the drift correction algorithm…

Systems and Control · Computer Science 2018-02-05 Milos S. Stankovic , Srdjan S. Stankovic , Karl Henrik Johansson

Decentralized optimization algorithms have recently attracted increasing attention due to its wide applications in all areas of science and engineering. In these algorithms, a collection of agents collaborate to minimize the average of a…

Optimization and Control · Mathematics 2024-09-18 Shujing Feng , Xin Jiang

It has recently been reported [\textit{PNAS} \textbf{114}, 2303 (2017)] that, under an operational definition of time, quantum clocks would get entangled through gravitational effects. Here we study an alternative scenario: the clocks have…

Quantum Physics · Physics 2019-11-14 Jieci Wang , Tonghua Liu , Jiliang Jing , Songbai Chen

Tracking multiple moving objects in real-time in a dynamic threat environment is an important element in national security and surveillance system. It helps pinpoint and distinguish potential candidates posing threats from other normal…

Machine Learning · Computer Science 2022-06-27 Imtiaz Ahmed , Mikyoung Jun , Yu Ding

Satellite clock bias prediction plays a crucial role in enhancing the accuracy of satellite navigation systems. In this paper, we propose an approach utilizing Long Short-Term Memory (LSTM) networks to predict satellite clock bias. We…

Machine Learning · Computer Science 2024-11-12 Ahan Bhatt , Ishaan Mehta , Pravin Patidar

A wide gamut of important applications rely on global navigation satellite systems (GNSS) for precise time and positioning. Attackers dictating the GNSS receiver position and time solution are a significant risk, especially due to the…

Cryptography and Security · Computer Science 2022-02-25 M. Spanghero , P. Papadimitratos
‹ Prev 1 3 4 5 6 7 10 Next ›