Equivalent state-dependent models of linear hybrid automata
与线性混杂自动机等价的状态依赖空间模型

混杂系统可以由多种等价系统进行描述, 本文研究用状态依赖空间模型对线性混杂自动机进行描述. 线性混杂自动机是一类自治的不确定性系统, 而状态依赖空间模型是含有输入的确定性系统. 在状态依赖空间模型中, 通过增加输入变量可以描述线性混杂自动机转换过程中的不确定性, 进而将其转换成等价的状态依赖空间模型. 本文所提到的等价性是指两个系统产生的轨迹是相同的.