【摘 要】
：
切换系统是一类重要的混成系统,由有限个子系统和协调子系统之间的切换信号组成.切换系统在航空航天、交通运输、智能控制等安全攸关的重要领域有着广泛应用.因此,针对切换系统的安全性验证至关重要.本文主要研究非线性切换系统安全性的Reach-WhileStay(RWS)性质验证问题,具体研究以下几方面的内容:(1)研究一类连续时间非线性切换系统的RWS性质验证问题,提出基于类Lyapunov函数的验证方法
论文部分内容阅读
切换系统是一类重要的混成系统,由有限个子系统和协调子系统之间的切换信号组成.切换系统在航空航天、交通运输、智能控制等安全攸关的重要领域有着广泛应用.因此,针对切换系统的安全性验证至关重要.本文主要研究非线性切换系统安全性的Reach-WhileStay(RWS)性质验证问题,具体研究以下几方面的内容:(1)研究一类连续时间非线性切换系统的RWS性质验证问题,提出基于类Lyapunov函数的验证方法.利用不变集构建了新的RWS性质判定准则,将RWS性质验证转化为求解非线性约束问题,基于平方和松弛的方法进一步转化为求解双线性矩阵不等式问题,通过迭代的半定规划进行求解.(2)研究一类离散时间非线性切换系统的RWS性质验证问题,给出任意切换条件下的RWS性质的验证方法.根据离散系统存在采样切换的特性,结合不变集提出了低保守性的RWS性质判定准则,将RWS性质验证问题转化为多项式形式类Lyapunov函数的计算问题,并运用半定规划进行求解,通过仿真实例验证该方法的可行性.
其他文献
混沌无处不在,并且在许多科学领域起着非常重要的作用。混沌科学的快速发展为现代科学技术的发展开辟了一条独特的途径,无论在生物学、物理学、化学、信息科学,还是在经济学、天文学,甚至艺术等领域,都被广泛应用。混沌的主要特征是高度复杂性和高度敏感性,这些特征已经被广泛应用到混沌通信、混沌计算等很多方面,因此对混沌的研究具有现实意义。另外,由于激光技术的不断发展,采用激光来囚禁单原子以及实现对原子的相干控制
角膜内皮炎是以角膜内皮细胞混浊水肿,后弹力层粗大皱折,角膜基质水肿和角膜后沉着物(KP)为主要特征,部分患者伴有眼内压升高和虹膜睫状体炎。该病的发病原因目前多倾向于与
钒酸铋（BiVO4）是一种单斜系ABO4型白钨矿材料。与其它ABO4型白钨矿材料相比,BiVO4具有较窄的带隙、宽的吸收波长范围及良好的化学稳定性,所以在光电极、光催化剂和光电器件中得
间断有限体积元法是最近十余年发展起来的一种数值方法,它不仅继承了间断有限元法的灵活性,高精度性,易并行性,保持物理守恒性,而且对于某些问题,它比间断有限元格式计算简单
弹性接触力学问题可化为系数矩阵是Toeplitz结构的线性互补问题.若需得精度更高的解,则剖分网格的步长要更小,所得到的线性互补问题的规模变得更大.模系矩阵分裂迭代方法是有效求解大规模问题的快速迭代方法之一,预处理技术能够加快算法的计算速度.本文将模系矩阵分裂迭代方法分别结合预处理技术和矩阵分裂方法,构造了几类求解带Toeplitz结构的线性互补问题的快速算法,具体如下:第一,利用已有两类循环预处
滨海滩涂是海岸带潮间浅滩,是丰富的土地资源,而滨海盐渍化越来越严重,研究耐盐植物-微生物互作及联合修复具有理论和实际意义。茎瘤固氮根瘤菌（Azorhizobium caulinodans）ORS5
随着“一带一路”、“中国制造2025”的提出,我国工程机械行业有望进入一个高速发展期。同时为了增强我国工程机械在国际上的竞争力和影响力,顺应数字化、网络化、智能化时代
太赫兹(THz)技术在国防与反恐、医疗诊断、材料特性、军事通信、大气检测等诸多领域有着重要的研究价值和广泛的应用前景。利用非线性光学参量和光学差频方法产生THz波辐射具有室温下运转、宽调谐、高功率、结构简单、窄线宽等优点。本论文主要研究基于光学差频和光学参量方法产生THz波,主要内容如下:1.分析了晶格振动模与光波耦合所具备的条件以及极性晶格振动模与光波耦合后对晶体色散曲线的影响,研究了受激电磁耦
蒙古文画报是以蒙古语或者蒙汉双语对照,图文并茂的形式作为传播方式的期刊。我国蒙古文画报有《内蒙古画报》,《人民画报》(蒙古文版),《民族画报》(蒙古文版)。蒙古文画报
人们无论在白天的生活,还是在夜晚的休息,总是伴随着姿势的转换,例如日常工作与学习中的站立和坐立,夜晚休息时的侧卧和仰卧。合适的姿势不仅可以使人舒适,而且对人们会对人们的认知、生理和睡眠产生影响。已有不少研究表明姿势对感知觉和认知的影响,这在心理学中被称为“具身认知”,“具身认知”强调认知能力、持续感觉状态和周围环境间的复杂关系。在生理层面,姿势能影响各种心脑血管指标,这些指标还与功能磁共振研究(f