首页> 中文期刊> 《上海交通大学学报》 >切换连续系统的可达性分析

切换连续系统的可达性分析

         

摘要

给出了利用矩形自动机近似地进行切换连续系统的可达性分析的方法 ,推广了根据切换模式划分连续状态空间的思想 .将连续空间划分为多个规则的矩形小室 ,当连续轨迹穿越小室的公共面时发生切换 .算法根据给定的面来计算新的流出面 ,并检验这些面是否已包含在可达集中 .如否 ,则保存这些面 ,并从这些面出发调用近似算法来得到新的流出面 ,继续以新的流出面递归调用直至找出所有的可达面 .文中分析了目前研究方法中到达可达面的最大时间 tmax=∞的处理缺陷 ,并提出了相应的处理方法 ,从而克服了可达性计算的过度保守 .

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号