混合动力系统的解与可达集：对初始条件、时间与扰动的半连续依赖

在温和正则性约束下混合系统所具有的序列紧性，保证了其解对初始条件和扰动的外部/上半连续依赖。对于混合系统的可达集，该性质导致其对初始条件、时间与扰动的上半连续依赖。受这些结果启发，我们定义了序列紧性的一个对应概念，并证明它导致解对初始条件和扰动的下半连续依赖。随后表明，在适当假设下，具有该新性质的系统的可达集对初始条件、时间与扰动下半连续依赖。当这些假设不成立时，可达集的连续逼近仍有可能。所引入性质的充要条件由几何约束、正则性假设与切向条件的组合给出。进一步讨论了在混合系统仿真与最优控制中的其他应用。