未知の非線形システムに対するリーマン多様体上での到達可能性の保証

未知の非線形制御系が操作する多様体上で、局所的な動特性と動特性の変化率に関する情報のみを用いて、有限時間内に確実に到達可能な状態集合を求める。