连续动力系统抽象的证明利用李亚普诺夫函数
摘要：基于定时自动机抽象连续动力系统的方法的证明被提出。该方法基于使用不变集对动力系统的状态空间进行分割，这些不变集形成代表定时自动机位置的单元格。为了能够验证基于抽象的动力系统，建立了获得健全、完整和可细化抽象的条件。提议利用Lyapunov函数的子水平集对状态空间进行分割，因为它们是正不变集。证明了Morse-Smale系统的健全抽象的存在，以及线性系统的完整和可细化抽象。
作者：Christoffer Sloth and Rafael Wisniewski
论文ID：1008.3222
分类：Systems and Control
分类简称：cs.SY
提交时间：2010-08-20