ストキャスティック・システムにおいて、確率1で安全集合を不変にする十分条件を持つ制御障壁関数を提案し、それに基づいた安全重視制御設計手法を示した。また、安全集合内部への収束確率を評価する新しい制御障壁関数も提案した。