Introduces multiplicative stochastic barrier functions within a switched-system framework to certify probabilistic bounds on constrained occupation times for stochastic discrete-time systems.
Automatica125, 109439 (2021)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
eess.SY 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A stopped-process barrier-certificate framework yields upper and lower bounds on the probability of satisfying finite-time constrained occupation specifications for continuous-time SDEs.
citing papers explorer
-
Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
Introduces multiplicative stochastic barrier functions within a switched-system framework to certify probabilistic bounds on constrained occupation times for stochastic discrete-time systems.
-
Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
A stopped-process barrier-certificate framework yields upper and lower bounds on the probability of satisfying finite-time constrained occupation specifications for continuous-time SDEs.