保存此搜索
研究论文 2021年10月 分布时滞非线性广义系统的可达集估计 总结 研究了具有分布时滞和非线性项的广义系统在零初始条件下可达集的估计问题。 基于具有三重积分的李亚普诺夫泛函,给出了一个有界的充分条件。。。 研究论文 2019年10月 混合系统可达集计算中的聚合策略 计算可达状态集是证明混合系统满足其安全规范的一种广泛使用的技术。 流量管道施工方法将计算连续后继的阶段和计算离散后继的阶段交织在一起。。。 研究论文 2019年1月 离散多项式系统可达集的半定逼近 我们考虑从半代数集逼近离散时间多项式系统的可达集的问题 一般半代数集约束下的初始条件。 假设包含在给定的简单集合中,如方框或 椭球。。。 文章 2018年5月 一维热方程的可达集 本文的目的是描述一维热方程的可达集,该方程集在空间域$x\in(-L,L)$上,Dirichlet边界控制作用于两个边界。 也就是说,在这种情况下,我们将证明。。。 研究论文 2017年4月 HyLAA公司 :计算线性系统仿真等效可达性的工具 仿真是一种提高系统设计正确性的实用方法。 本文提出了一些技术,旨在确定使用特定的混合自动机仿真算法可以达到的所有状态,以及一种新的算法。。。 -
文章 2016年10月 用像素法构造二维非线性控制系统的可达集 我们描述了使用并行计算技术在各种最优控制问题中构造可达集的像素方法。 用该方法编制了非线性控制系统可达集的构造程序。。。 第条 2014年5月 月球着陆器下降制导控制程序的形式化验证 我们报告了我们最近应用形式化方法验证月球着陆器下降制导控制程序的经验。 着陆器的动力下降过程提供了一个特定的混合系统HS,即采样数据控制系统。。。 第条 2012年4月 基于混合自动机的CTCS三级功能安全分析方法 ISORCW’12:2012 IEEE第15届面向对象/组件/服务的实时分布式计算研讨会会议记录 2012年4月, 第7-12页 https://doi.org/10.1109/ISORCW.2012.12 中国列车控制系统三级(CTCS-3)是一个典型的复杂网络物理系统。 CTCS-3功能的复杂性给使用典型方法进行安全分析带来了一些挑战。 本文提出了泛函分析的方法。。。 文章 2011年4月 混合系统演化的语义和可计算性 在本文中,我们考虑混合系统进化的语义,以及进化相对于这些语义的可计算性。 我们在以下方面表明了这一点 降低 语义,有限时间可达集是低半可计算的。。。 文章 2011年3月 奇摄动可达集形状的渐近性 我们研究奇异摄动线性控制系统可达集的形状。 相位矢量的快速分量被假定为由双曲线性系统控制。 我们证明了可达集的形状作为参数有一个极限。。。 第条 2009年11月 基于运动学习和规划框架的身体和物体表示的获取 视觉信息处理对于在人类交互环境中工作的机器人来说很重要。 在本文中,我们建议以自底向上的方式获取适合于运动学习的机器人身体和对象的视觉表示。 一个。。。 第条 2008年8月 线性动力系统中欧米伽极限集的计算 动态系统允许通过描述其进化方式来模拟各种现象或过程。 研究此类系统的全局和极限行为是一件重要的事情。 这种极限行为的可能描述是通过。。。 文章 2005年9月 可达集的连续性和可计算性 非线性动态控制系统可达集的计算是系统理论的一个重要问题。 在本文中,我们使用图灵机进行近似计算来考虑可达集的可计算性。 我们使用。。。 文章 2002年1月 半线性时滞控制系统的近似可控性和正则性 韩国计算与应用数学杂志(KJOCA)第9卷第1期 2002年1月, 第213-230页 研究了希尔伯特空间中具有时滞的半线性系统的近似能控性。 首先,我们证明了非线性算子具有更一般Lipschitz连续性的给定系统解的存在唯一性 (f) 来自。。。 文章 1999年7月 半线性时滞泛函微分方程的近似能控性 本文研究具有无界时滞的半线性泛函微分方程的近似能控性。 我们还将建立给定系统解的正则性。 文中给出了可达性和可达性之间的关系。。。 文章 1999年2月 线性混合系统的解析能控性 在本文中,我们考虑了一个流固混合系统模型的边界控制问题。 Micu和Zuazua结合Banks等人的工作介绍了该模型,并给出了光谱数据的显式值。。。 文章 1997年9月 关于控制系统的时间离散化 本文提出了一种获得非线性(仿射)控制系统离散逼近的方法,该系统在离散化步长方面的精度高于一阶 小时 。该方法由两部分组成:首先是集合${\。。。 文章 1996年8月 基于期望扰动可达集优化的执行器布局 本文研究了控制目标和控制时间在确定结构控制的燃料最佳执行器位置中的作用。 发展了一个通用理论,可以很容易地扩展到包括其他性能指标,例如。。。 文章 1995年3月 控制系统的Bang-Bang约束解 给定L^1([0,T])$中的$\varphi_{1}、\varphi_2}和W^{2,1}([0、T])中的函数$x$解决[\varphi_1}(T)中的控制问题$(P)x“+a_{1neneneei(T)x'+a_}0}(T),$x(0)=x_{0},x(0{0},x'(T)=v{1}$,存在一个bang-。。。 文章 1992年4月