Showing 2024Show all
2 papers · 1 filter
cs.RO2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Reachability analysis is a popular method to give safety guarantees for stochastic cyber-physical systems (SCPSs) that takes in a symbolic description of the system dynamics and us…
eess.SY2024
Conformal Predictive Programming for Chance Constrained Optimization
Yiqi Zhao, Xinyi Yu, Matteo Sesia +2
We propose conformal predictive programming (CPP), a framework to solve chance constrained optimization problems, i.e., optimization problems with constraints that are functions of…