前向不变性

安全控制中的基本概念：若系统从某集合内任意状态出发，其后续轨迹始终不离开该集合，则该集合为前向不变集。