您的位置： 专家智库 > >

杨振宇

作品数：7 被引量：17H指数：3
供职机构：北京航空航天大学自动化科学与电气工程学院自动控制系更多>>
发文基金：国家高技术研究发展计划中国航空科学基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇会议论文

领域

  • 6篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 2篇形式化
  • 2篇自动机
  • 2篇控制系统
  • 1篇倒立摆
  • 1篇等价
  • 1篇递阶
  • 1篇形式化方法
  • 1篇形式化开发
  • 1篇一级倒立摆
  • 1篇伪逆
  • 1篇伪逆法
  • 1篇控制器
  • 1篇控制设计
  • 1篇飞机
  • 1篇飞行
  • 1篇飞行控制
  • 1篇飞行控制系统

机构

  • 7篇北京航空航天...
  • 1篇南京大学

作者

  • 7篇杨振宇
  • 7篇陈宗基
  • 1篇李宣东
  • 1篇邵华章
  • 1篇高建平

传媒

  • 2篇控制与决策
  • 1篇系统工程与电...
  • 1篇高技术通讯
  • 1篇信息与控制
  • 1篇1995年中...
  • 1篇1997年中...

年份

  • 2篇1999
  • 2篇1998
  • 2篇1997
  • 1篇1995
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
混合系统的一类混合输入输出自动机模型
本文讨论了混合系统的一类混合输入输出自动机模型（HIOA+）。定义了HIOA+的形式规范和行为规则,此类输入输出自动机可作为混合控制系统的开环系统、控制器和闭环系统的形式模型。为混合控制系统的控制分析、设计和验证建立良好...
杨振宇陈宗基
文献传递
混合过程控制系统基于广义对象的形式化开发被引量：1
1999年
许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。
杨振宇高建平陈宗基李宣东
关键词：控制系统控制器
混合控制系统的等价对象的离散事件模型
混合控制系统是由实时决策子系统和实时控制子系统组成的复杂系统。在其新结构框架[3]下,针对等价对象的离散事件模型问题,本文给出一种解决方案。利用状态空间栅格化、界区修正、模型间的同态映射得到数字回路层的基础事件模型BEM...
杨振宇陈宗基
关键词：一级倒立摆
文献传递
基于HIOA^+模型的混合控制设计被引量：1
1998年
介绍了混合输入输出自动机形式规范和行为规则．探讨了基于模型实现关系和并行合并的混合控制系统的设计和验证问题．并以一过程控制系统为例，阐明设计思想的具体运用．
杨振宇陈宗基
混合系统的描述、分析与设计被引量：5
1997年
介绍了混合系统的概念和产生，从系统建模、分析、设计和验证等方面概述了混合系统的研究现状及存在的问题，并对进一步研究进行了展望。
陈宗基杨振宇
关键词：形式化方法
伪逆法在飞行控制律重构中的应用被引量：9
1999年
提出一种新的伪逆法描述形式，然后探讨了在各种条件下伪逆法重构方案能够精确恢复原有飞行品质；最后提出一种新的伪逆法——频域伪逆法，这种方法与人们通常使用的时域伪逆法相比有一些优越性。
邵华章杨振宇陈宗基
关键词：飞行控制系统伪逆法飞机
递阶混合控制系统的分析、综合与证明被引量：3
1998年
提出两类离散事件域的自动机作为控制分析与综合的中间模型。基于广义受控对象的等价事件模型，递阶型的控制器可被系统地综合。为保证系统分析和综合的正确性，利用Ｈｏａｒｅ逻辑得到一些验证规则。最后以一级倒立摆的控制为例加以说明。
杨振宇陈宗基
关键词：自动机控制系统
全选 清除 导出
共1页<1>
聚类工具0