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