Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
Cost-Aware Adaptive Conformal Inference for Runtime Assurance in Dynamic Environments
Taoran Wu, Jingduo Pan, Luke Ong +1
This paper addresses the problem of providing runtime assurance for systems operating online under unknown and potentially time-varying data distributions. We propose Cost-Aware Ad…
eess.SY2025
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
Taoran Wu, Dominik Wagner, Jingduo Pan +3
This paper investigates the problem of safety certification for black-box discrete-time stochastic systems, where both the system dynamics and disturbance distributions are unknown…
eess.SY2025
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
Taoran Wu, Yiling Xue, Jingduo Pan +3
Identifying controlled safety invariant sets (CSISs) is essential for safety-critical systems. This paper addresses the problem of computing CSISs for black-box discrete-time syste…