与线性混杂自动机等价的状态依赖空间模型  

Equivalent state-dependent models of linear hybrid automata

作　　者：庞岩[1,2] 李维亮[1] 夏浩[3] 

机构地区：[1]大连理工大学航空航天学院,辽宁大连116024 [2]大连理工大学工业装备结构分析国家重点实验室,辽宁大连116024 [3]大连理工大学控制科学与工程学院,辽宁大连116024

出　　处：《控制理论与应用》2013年第3期339-345,共7页Control Theory & Applications

基　　金：国家自然科学基金资助项目(61004041;61273098);辽宁省自然科学基金资助项目(201102036)

摘　　要：混杂系统可以由多种等价系统进行描述,本文研究用状态依赖空间模型对线性混杂自动机进行描述.线性混杂自动机是一类自治的不确定性系统,而状态依赖空间模型是含有输入的确定性系统.在状态依赖空间模型中,通过增加输入变量可以描述线性混杂自动机转换过程中的不确定性,进而将其转换成等价的状态依赖空间模型.本文所提到的等价性是指两个系统产生的轨迹是相同的.For different purposes, hybrid systems can be modeled differently by a few equivalent models. In this paper the research is focused on describing linear hybrid automata （LHA） with state-dependent space models. The difficulty of this description lies on that LHA are a class of autonomous non-deterministic models, while state-dependent systems are deterministic models with input. The uncertainty in LHA can be represented by introducing new input variables. In this way, the equivalent state-dependent models can be built up, where equivalence means that the two systems generate the same trajectories.

关 键 词：线性混杂自动机 状态依赖空间模型 混杂系统 建模 等价模型 

分 类 号：O415.5[理学—理论物理] TP301.1[理学—物理]