...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >Computational techniques for hybrid system verification
【24h】

Computational techniques for hybrid system verification

机译：混合系统验证的计算技术

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper concerns computational methods for verifying properties of polyhedral invariant hybrid automata (PIHA), which are hybrid automata with discrete transitions governed by polyhedral guards. To verify properties of the state trajectories for PIHA, the planar switching surfaces are partitioned to define a finite set of discrete states in an approximate quotient transition system (AQTS). State transitions in the AQTS are determined by the reachable states, or flow pipes, emitting from the switching surfaces according to the continuous dynamics. This paper presents a method for computing polyhedral approximations to flow pipes. It is shown that the flow-pipe approximation error can be made arbitrarily small for general nonlinear dynamics and that the computations can be made more efficient for affine systems. The paper also describes CheckMate, a MATLAB-based tool for modeling, simulating and verifying properties of hybrid systems based on the computational methods previously described.
机译：本文涉及验证多面体不变混合自动机（PIHA）属性的计算方法，PIHA是具有由多面体防护控制的离散过渡的混合自动机。为了验证PIHA的状态轨迹的属性，在近似商转换系统（AQTS）中对平面交换表面进行了划分，以定义一组有限的离散状态。 AQTS中的状态转换由根据连续动态从切换表面发出的可达状态或流管确定。本文提出了一种计算流道多面体近似的方法。结果表明，对于一般的非线性动力学，流管近似误差可以任意减小，对于仿射系统，可以使计算效率更高。本文还介绍了CheckMate，这是一种基于MATLAB的工具，用于基于上述计算方法对混合系统的属性进行建模，仿真和验证。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号