← Search

Yi Chou

2 accepted papers

2020

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis

IROS 2020poster

We present a predictive runtime monitoring technique for estimating future vehicle positions and the probability of collisions with obstacles. Vehicle dynamics model how the position and velocity change over time as a function of external inputs. They are commonly described by discrete-time stochast…

Cited by 30SourceScholar
2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.

NeurIPS 2020poster

In this paper, we propose polynomial forms to represent distributions of state variables over time for discrete-time stochastic dynamical systems. This problem arises in a variety of applications in areas ranging from biology to robotics. Our approach allows us to rigorously represent the prob…

Cited by 15SourcePDFScholar