2025/08/27 by Masoumeh Ghanbarpour, Ghanbarpour, Masoumeh, S. Sankaranarayanan +1 · 1 citation
Computer Science · Decision Sciences · #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Simulation Techniques and Applications #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2508.20204
openalex publication_date 2025/08/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We study stochastic systems characterized by difference inclusions. Such stochastic differential inclusions are defined by set-valued maps involving the current state and stochastic input. For such systems, we investigate the problem of proving bounds on the worst-case probability of violating safety properties. Our approach uses the well-known concept of barrier functions from the study of stochastic control systems. However, barrier functions are hard to prove in the presence of stochastic inputs and adversarial choices due to the set-valued nature of the dynamics. In this paper, we show that under some assumptions on the set-valued map including upper semi-continuity and convexity combined with a concave barrier function vastly simplifies the proof of barrier conditions, allowing us to effectively substitute each random input in terms of its expectation. We prove key results based on the theory of set-valued maps and provide some interesting numerical examples. The ideas proposed here will contribute to the growing interest in problems of robust control and verification of stochastic systems in the presence of uncertain distributions and unmodeled dynamics.