齐洪胜
- 作品数：10 被引量：116H指数：4
- 供职机构：中国科学院数学与系统科学研究院系统控制重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学航空宇航科学技术历史地理更多>>
- 逻辑动态系统控制的代数状态空间方法
- 程代展齐洪胜
- 该项目属于控制理论领域。该项目以布尔网络为背景，以矩阵半张量积为工具，构造以代数状态空间为核心的工作平台，研究逻辑动态系统的性质与控制。自然界的演化过程大致可分为两类。一类是连续的动力学过程：如天体运动在3维空间中进行，...
- 关键词：
- 正实数维分形集的构造方法被引量：1
- 2010年
- 给出了测量一类分形集维数的简单方法.根据这种测量方法,可以构造出任意实数维分形集,并且分形集可以不是自相似的.
- 齐洪胜袁艳艳程代展
- 关键词：分形集自相似集
- 矩阵的半张量积理论及其在系统控制中的应用
- 齐洪胜
- 关键词：多项式系统矩阵表示
- 从矩阵半张量积到逻辑控制系统被引量：7
- 2016年
- 利用矩阵半张量积建立起来的逻辑系统控制理论已经成为控制论中不可忽视的一个新方向.本文的目的是对该理论从基本数学工具和分析方法到主要结果作一个综合性的介绍.首先介绍矩阵半张量积,并对其作了一个深入的探讨和评述.接着说明如何利用矩阵半张量积将逻辑表达式转化为代数表达式.继而较详细地介绍逻辑动态系统及其控制理论近年得到的一些主要成果,包括逻辑动态系统的拓扑结构,逻辑控制系统的能控性和能观性、稳定性与镇定、干扰解耦、最优控制、逻辑系统与逻辑控制系统的辨识.进而对逻辑系统从经典布尔逻辑到k值逻辑、多值逻辑和混合逻辑的推广作了比较细致的推演.这些结果构成了这一新学科的理论基础.此外,对相关概念、记号以及基本方法与工具作了统一的规范处理.然后,对目前的学科进展情形与其应用/潜在应用作了一个较为全面的整体介绍.对逻辑动态(控制)系统存在的未解问题与进一步的研究方向给出一个带有启发性的推介.最后,对学科发展的大方向提出一个个人的预测:逻辑控制系统与动力学控制系统的结合可望产生"信息-控制系统",它就是钱学森预言的"理论控制论",也是美国学科发展报告提出的下一代控制理论.
- 程代展齐洪胜刘挺王元华
- 关键词：信息物理系统
- 可回收火箭大气层内动力下降的多阶段鲁棒优化制导方法
- 2024年
- 针对大气层内可回收火箭的动力下降问题,提出一种多阶段的鲁棒优化(Robust optimization,RO)方法.由于大气层内存在未知风场,如何在火箭下降段考虑这种不确定性具有十分重要的意义.首先,建立一个关于高度的不确定风场模型,在该风场下给出火箭动力下降的鲁棒最优控制问题.为了求解该问题,使用一种对不等式约束采取一阶近似并将一阶项作为安全裕量加入约束的鲁棒优化方法,得到一个可以求解的单阶段鲁棒优化算法.其次,定量给出安全裕量的上界,基于该上界提出一种多阶段鲁棒优化算法,避免单阶段鲁棒优化算法中安全裕量可能过大导致无法求解的问题.最后,通过仿真对比各个算法在多个实际风场下的性能,结果表明所提出的多阶段鲁棒优化方法同时具有较高的落点精度和对于不同风场的鲁棒性.
- 冯子鑫薛文超薛文超张冉
- 关键词：鲁棒优化
- 布尔控制网络能观性问题的计算复杂性
- 本文主要研究布尔控制网络的能观性的计算复杂性.通过定义着色观测图,我们给出了判断能观的充要条件.我们证明判断几种不同能观性定义下判断其能观均是NP难的.除非P=NP,否则判断能观性不存在多项式时间算法.进一步,我们研究了...
- 李志齐洪胜
- 关键词：能观性
- 矩阵半张量积的基本原理与适用领域被引量：4
- 2012年
- 作为一种新的矩阵乘法,矩阵半张量积正得到国内外学者越来越多的重视和参与,从而使之应用于越来越多的研究课题中.希望分析矩阵半张量积的基本原理,从其合理性说明它产生的必然性和存在的意义.同时,与已有的综述不同,这里不准备具体介绍它在那些问题中得到那些应用,而是从原理出发,说明它可能在那些类型的相关科学问题中得到应用.这使我们能够更主动地去开发它可能的潜在应用.
- 程代展齐洪胜
- 关键词：泛代数多元多项式子空间
- 布尔网络的分析与控制—矩阵半张量积方法被引量：103
- 2011年
- 布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的拓扑结构,布尔控制网络的能控、能观性与实现,布尔网络的稳定性和布尔控制网络的镇定,布尔控制网络的干扰解耦,布尔(控制)网络的辨识,以及布尔网络的最优控制等.
- 程代展齐洪胜赵寅
- 关键词：逻辑系统
- 逻辑系统的代数状态空间方法的基础、现状及其应用被引量：8
- 2014年
- 逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.
- 程代展齐洪胜
- 控制系统理论及其应用研究的最新进展——庆贺程代展研究员70华诞
- 2016年
- 2016年3月27日是著名系统控制专家程代展研究员70岁生日．程代展研究员一直致力于系统控制理论及其应用方面的研究，并做出了诸多有影响力的研究工作．程代展研究员是我国最早研究非线性系统几何控制理论的学者，在非线性系统线性化、稳定性与镇定、李群系统、哈密顿系统控制等方面做出了突出贡献，并因此于2008年获得国家自然科学二等奖．由于高科技与复杂系统理论研究的发展，
- 张利军齐洪胜
- 关键词：研究员非线性系统哈密顿系统自然科学
