安东尼奥·法维拉·孔特雷拉斯；弗朗西斯科·贝特拉恩·卡巴贾尔；亚历杭德罗·皮尼翁；安吉洛·雷蒙迪 一类混杂系统的极限环分析。 （英语） Zbl 1400.34043号 数学。问题。工程师。 2016年，文章ID 2981952，14 p.（2016）. 概述：混合系统是那些固有地结合离散和连续动力学的系统。本文将混合系统模型视为离散自动机的扩展，将连续演化与每个离散状态相关联。这个模型被称为混合自动机。在这项工作中，我们实现了一个稳态的数学公式，并给出了一种获得初始条件区域以达到一类非耦合和耦合连续线性混合系统特定极限环的方法。连续线性项用于系统理论的意义，在这个意义上，将定义连续线性混合自动机。因此，建立了控制混合自动机动态行为以评估极限环存在性的一些性质和定理；这一内容是在一个理论框架下解释的。 引用于1文件 MSC公司： 34二氧化碳 积分曲线、奇点、常微分方程极限环的拓扑结构 34A38型 常微分方程混合系统 93C40型 自适应控制/观测系统 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Favela-Contreras}等人，《数学》。问题。Eng.2016，文章ID 2981952，14 p.（2016；Zbl 1400.34043） 全文： 内政部 参考文献： [1] 弗拉加，S.L。；戈麦斯，R。；Pereira，F.L.，混合系统控制的脉冲框架，第46届IEEE决策与控制会议论文集，IEEE·doi:10.1109/cdc.2007.4434895 [2] Di Cairano，S。；Bempoad，A.，线性混合自动机的等效分段仿射模型，IEEE自动控制汇刊，55，2，498-502，（2010）·Zbl 1368.68232号 ·doi:10.1109/TAC.2009.2037463 [3] Lygeros，J。；Johansson，K.H。；西米奇，S.N。；张杰。；Sastry，S.S.，混合自动机的动力学特性，IEEE自动控制汇刊，48，1，2-17，（2003）·Zbl 1364.93503号 ·doi:10.1109/tac.2002.806650 [4] 迪·贝尔纳多，M。；Montanaro，美国。；Santini，S.，分段仿射系统的混合模型参考自适应控制，IEEE自动控制汇刊，58，2，304-316，（2013）·Zbl 1369.93325号 ·doi:10.1109/tac.2012.2212516 [5] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Halbwachs，N.，混合系统的算法分析，理论计算机科学，138，1，3-34，（1995）·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-t [6] Goebel，R。；Sanfelice，R.G。；Teel，A.R.，《混合动力系统：建模、稳定性和鲁棒性》，（2012），美国新泽西州普林斯顿：普林斯顿大学出版社，美国新日本州普林斯顿·Zbl 1241.93002号 [7] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Henzinger，T.A。；Ho，P.-H.，混合自动机：混合系统规范和验证的算法方法，混合系统。混合系统，计算机科学讲稿，736209-229，（1993），德国柏林：施普林格，德国柏林·doi:10.1007/3-540-57318-6_30 [8] Henzinger，T.A.，《混合自动机理论》，第11届IEEE计算机科学逻辑研讨会论文集（LICS’96）·doi:10.1109/LICS.1996.561342 [9] 卡桑德拉斯，C.G。；Lafortune，S.，《自动机理论、语言和计算导论》，（2001），雷丁，马萨诸塞州，美国：艾迪森·韦斯利，雷丁·Zbl 0980.68066号 [10] Dong，J.S。；郝，P。；秦，S。；Sun，J。；Yi，W.，时间自动机模式，IEEE软件工程学报，34，6，844-859，（2008）·doi:10.1109/TSE.2008.52 [11] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；Ho，P.-H.，嵌入式系统的自动符号验证，IEEE软件工程汇刊，22，3，181-201，（1996）·doi:10.1109/32.489079 [12] Favela，A。；Alla，H。；Flaus，J.-M.，时不变线性混合系统的建模与分析，IEEE系统、人与控制论国际会议论文集（SMC’98）·doi:10.1109/ICSMC.1998.725519 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。