no code implementations • 12 Feb 2024 • Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann
Motivated by the advances in conformal prediction (CP), we propose conformal predictive programming (CPP), an approach to solve chance constrained optimization (CCO) problems, i. e., optimization problems with nonlinear constraint functions affected by arbitrary random parameters.
1 code implementation • 7 Dec 2023 • Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
We propose a predictive control synthesis framework that guarantees, with high probability, the satisfaction of signal temporal logic (STL) tasks that are defined over the system and uncontrollable stochastic agents.
1 code implementation • 16 Nov 2023 • Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
To address these challenges, we assume to know an upper bound on the statistical distance (in terms of an f-divergence) between the distributions at deployment and design time, and we utilize techniques based on robust conformal prediction.
1 code implementation • 15 Aug 2023 • Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational purposes in this field.
no code implementations • 22 Feb 2023 • Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks.
no code implementations • 13 Mar 2021 • Zexin Hu, Yiqi Zhao, Matloob Khushi
Deep learning application had proven to yields better accuracy and return in the field of financial prediction and forecasting.
no code implementations • 29 Jan 2021 • Yiqi Zhao, Matloob Khushi
In this paper, we propose a Wavelet Denoised-ResNet with LightGBM model to predict the rate of change of Forex price after five time intervals to allow enough time to execute trades.