首页 | 本学科首页   官方微博 | 高级检索  
     

递阶混合控制系统的分析,综合与证明
引用本文:杨振宇 陈宗基. 递阶混合控制系统的分析,综合与证明[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  
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号