引用本文: | 庞岩,李维亮,夏浩.与线性混杂自动机等价的状态依赖空间模型[J].控制理论与应用,2013,30(3):339~345.[点击复制] |
PANG Yan,LI Wei-liang,XIA Hao.Equivalent state-dependent models of linear hybrid automata[J].Control Theory and Technology,2013,30(3):339~345.[点击复制] |
|
与线性混杂自动机等价的状态依赖空间模型 |
Equivalent state-dependent models of linear hybrid automata |
摘要点击 2743 全文点击 2108 投稿时间:2012-04-11 修订日期:2012-09-03 |
查看全文 查看/发表评论 下载PDF阅读器 |
DOI编号 10.7641/CTA.2013.20345 |
2013,30(3):339-345 |
中文关键词 线性混杂自动机 状态依赖空间模型 混杂系统 建模 等价模型 |
英文关键词 linear hybrid automata state-dependent models hybrid systems model buildings model equivalence |
基金项目 国家自然科学基金资助项目(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. |