基于伪谱的混合系统可达集计算

详细信息 本馆镜像全文    |  推荐本文 | | 获取馆网全文

中文刊名：科技传播 英文刊名：Public Communication of Science & Technology 作者：丰佳男 中文关键词：混合系统 ; 可达集切比雪夫伪谱法 ; Hamilton-Jacobi方程 出版日期：2014-12-23 机构：同济大学软件学院; 年：2014 期：24 出版单位：科技传播

摘要

对于安全关键的混合系统,要求进行快速有效的可达性分析,以保障系统安全。但由于混合系统中离散迁移事件和连续动态过程共存的复杂性,可达集计算一直是可达性分析的难点。本文重点研究了混合系统的可达集计算方法和伪谱法,提出基于切比雪夫伪谱法的可达集计算的改进方案。

引文

[1]Tomlin C J,Mitchell I M,Bayen A M,et al.Computational techniques for the verification of hybrid system[J].Preceedings of the IEEE,2003,91(7):986-1001
    [2]Tomlin C J.Hybrid control of air traffic management systems[D].University of California at Berkeley,1998
    [3]G o n g Q i,K a n g W e i,N a z a r e t h S,e t al.Pseudospectral Optimal Control for Military and Industrial Applications[A].Proceedings of the 46th IEEE Conference on Decision and Control[C],2007,12(14):4128-4142
    [4]Trefethen L N.Spectral Methods in Matlab[EB/OL].http://peopl e.maths.ox.ac.uk/trefethen/boo k.pdf,2000
    [5]刘鲁波,陈晓非,王彦宾.切比雪夫伪谱法模拟地震波场[J].西北地震学报,2007,28(1):18-23.