English
Related papers

Related papers: Statistical static timing analysis via modern opti…

200 papers

In this paper, we address a class of distributed optimization problems in the presence of inter-agent communication delays based on passivity. We first focus on unconstrained distributed optimization and provide a passivity-based…

Systems and Control · Computer Science 2016-09-16 Takeshi Hatanaka , Nikhil Chopra , Takayuki Ishizaki , Na Li

In this paper, we describe a novel iterative procedure called SISTA to learn the underlying cost in optimal transport problems. SISTA is a hybrid between two classical methods, coordinate descent ("S"-inkhorn) and proximal gradient descent…

Optimization and Control · Mathematics 2020-10-22 Guillaume Carlier , Arnaud Dupuy , Alfred Galichon , Yifei Sun

We present LiSTA (LiDAR Spatio-Temporal Analysis), a system to detect probabilistic object-level change over time using multi-mission SLAM. Many applications require such a system, including construction, robotic navigation, long-term…

Robotics · Computer Science 2024-03-06 Joseph Rowell , Lintong Zhang , Maurice Fallon

We consider stochastic optimization under distributional uncertainty, where the unknown distributional parameter is estimated from streaming data that arrive sequentially over time. Moreover, data may depend on the decision of the time when…

Optimization and Control · Mathematics 2023-10-17 Tianyi Liu , Yifan Lin , Enlu Zhou

We introduce a path sampling method for obtaining statistical properties of an arbitrary stochastic dynamics. The method works by decomposing a trajectory in time, estimating the probability of satisfying a progress constraint, modifying…

Statistical Mechanics · Physics 2015-06-04 Nicholas Guttenberg , Aaron R. Dinner , Jonathan Weare

Information in the time distribution of points in a state space reconstructed from observed data yields a test for ``nonstationarity''. Framed in terms of a statistical hypothesis test, this numerical algorithm can discern whether some…

chao-dyn · Physics 2008-02-03 Matthew B. Kennel

In this paper, with the aid of the mathematical tool of stochastic geometry, we introduce analytical and computational frameworks for the distribution of three different definitions of delay, i.e., the time that it takes for a user to…

Information Theory · Computer Science 2021-12-28 Fadil Habibi Danufane , Marco Di Renzo

In this invited contribution, we revisit the stochastic shortest path problem, and show how recent results allow one to improve over the classical solutions: we present algorithms to synthesize strategies with multiple guarantees on the…

Logic in Computer Science · Computer Science 2014-11-05 Mickael Randour , Jean-François Raskin , Ocan Sankur

In this paper we study stochastic control problems with delayed information, that is, the control at time $t$ can depend only on the information observed before time $t-H$ for some delay parameter $H$. Such delay occurs frequently in…

Probability · Mathematics 2018-08-23 Yuri F. Saporito , Jianfeng Zhang

This paper addresses the air traffic flow management research problem of determining reroute, ground delay and air delay for flights using stochastic weather forecast information. The overall goal is to minimize system-wide reroute and…

Optimization and Control · Mathematics 2019-03-12 Guodong Zhu , Peng Wei

Optimization under uncertainty deals with the problem of optimizing stochastic cost functions given some partial information on their inputs. These problems are extremely difficult to solve and yet pervade all areas of technological and…

Statistical Mechanics · Physics 2015-03-13 Fabrizio Altarelli , Alfredo Braunstein , Abolfazl Ramezanpour , Riccardo Zecchina

There is a great need to accurately predict short-term precipitation, which has socioeconomic effects such as agriculture and disaster prevention. Recently, the forecasting models have employed multi-source data as the multi-modality input,…

Atmospheric and Oceanic Physics · Physics 2024-09-12 Min Chen , Hao Yang , Shaohan Li , Xiaolin Qin

Deep neural networks, especially transformer-based architectures, have achieved remarkable success in semantic segmentation for environmental perception. However, existing models process video frames independently, thus failing to leverage…

Computer Vision and Pattern Recognition · Computer Science 2026-03-23 Serin Varghese , Kevin Ross , Fabian Hueger , Kira Maag

Time delays are a common perturbation in systems with many states, such as networked, distributed, or decentralized systems. Current methods analyzing the stability of large systems with time delay typically produce very conservative…

Systems and Control · Computer Science 2017-10-31 George Armanious , Rick Lind

A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Conventional STA tools…

Other Computer Science · Computer Science 2011-11-09 Shahin Nazarian , Massoud Pedram , Emre Tuncer , Tao Lin , Amir H. Ajami

We provide a statistical analysis of a tool in nonlinear-type time-frequency analysis, the synchrosqueezing transform (SST), for both the null and non-null cases. The intricate nonlinear interaction of different quantities in SST is…

Statistics Theory · Mathematics 2023-09-06 Matt Sourisseau , Hau-Tieng Wu , Zhou Zhou

We study the problem of system identification for stochastic continuous-time dynamics, based on a single finite-length state trajectory. We present a method for estimating the possibly unstable open-loop matrix by employing properly…

Machine Learning · Statistics 2025-09-30 Reza Sadeghi Hafshejani , Mohamad Kazem Shirani Fradonbeh

Limiting flight delays during operations has become a critical research topic in recent years due to their prohibitive impact on airlines, airports, and passengers. A popular strategy for addressing this problem considers the uncertainty of…

Optimization and Control · Mathematics 2021-09-01 Sujeevraja Sanjeevi , Saravanan Venkatachalam

This work considers the allocation problem for multivariate stratified random sampling as a problem of integer non-linear stochastic multiobjective mathematical programming. With this goal in mind the asymptotic distribution of the vector…

Methodology · Statistics 2011-06-07 Jose A. Diaz-Garcia , Rogelio Ramos-Quiroga

Traffic assignment analyzes traffic flows in road networks that emerge due to traveler interaction. Traditionally, travelers are assumed to use private cars, so road costs grow with the number of users due to congestion. However, in…

Computer Science and Game Theory · Computer Science 2025-02-10 Thomas Bläsius , Adrian Feilhauer , Markus Jung , Moritz Laupichler , Peter Sanders , Michael Zündorf