Minimum Time Function for Differential Inclusion with State Constraints

• 具约束的微分包含的极小时间函数