|
|||||
|
|
| 递阶混合控制系统的分析,综合与证明 | |
| 引用本文： | 杨振宇 陈宗基. 递阶混合控制系统的分析,综合与证明[J]. 控制与决策, 1998, 13(1): 7-12,18 |
| 作者姓名： | 杨振宇 陈宗基 |
| 作者单位： | 北京航空航天大学自动控制系 |
| 基金项目： | 国家863－306项目 |
| 摘 要： | 提出两类离散事件域的自动机作为控制分析与综合的中间模型，基于广义受控对象的等价事件模型，递阶型的控制器可被系统地综合。为了保证系统分析和综合的正确性，利用Ｈｏａｒｅ逻辑得到一些验证规则。最后以一级倒立摆的控制为例加以说明。 |
| 关 键 词： | 混合控制系统 自动机 控制系统 |
Analysis, Synthesis and Verification of Hierarchical Hybrid Control Systems |
|
| Abstract: | |
| Keywords: | hierarchical hybrid control system I/O automata inverted pendulun |
| 本文献已被 维普 等数据库收录！ | |