Drift and variant functions provide necessary and sufficient certificates for almost sure reachability in continuous-time SDEs, with SOS-based computation for polynomial systems.
Ratschan, Converse theorems for safety and barrier certificates, IEEE Transactions on Automatic Control 63 (8) (2018) 2628–2632
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Almost Sure Reachability in Continuous-time Stochastic Systems
Drift and variant functions provide necessary and sufficient certificates for almost sure reachability in continuous-time SDEs, with SOS-based computation for polynomial systems.