3 citations · 4 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
eess.SY2026
Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
Jianing Zhao, Zhuoting Cai, Xiang Yin
In this paper, we investigate safety-critical control problem of discrete-time stochastic systems with incomplete information, where safety constraints must be enforced using state…
eess.SY2026
Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
Bohan Cui, Jianing Zhao, Yu Chen +3
In this paper, we investigate the probabilistic formal verification of stochastic dynamical systems over continuous state spaces. Motivated by problems in state estimation and info…