发明授权
US08352222B2 Methods and systems for efficient analysis of hybrid systems using template polyhedra
有权
使用模板多面体对混合系统进行有效分析的方法和系统
- 专利标题： Methods and systems for efficient analysis of hybrid systems using template polyhedra
- 专利标题（中）： 使用模板多面体对混合系统进行有效分析的方法和系统
-
申请号： US12236071申请日： 2008-09-23
-
公开(公告)号： US08352222B2公开(公告)日： 2013-01-08
- 发明人: Sriram Sankaranarayanan , Franjo Ivancic
- 申请人： Sriram Sankaranarayanan , Franjo Ivancic
- 申请人地址： US NJ Princeton
- 专利权人： NEC Laboratories America, Inc.
- 当前专利权人： NEC Laboratories America, Inc.
- 当前专利权人地址： US NJ Princeton
- 代理商 James Bitetto; Joseph Kolodka
- 主分类号： G06F17/10
- IPC分类号： G06F17/10 ; G06F7/60 ; G06F7/00 ; H03K3/00 ; G06G7/00 ; G06E3/00
摘要：
In accordance with aspects of the present principles, an over-approximation of reachable states of a hybrid system may be determined by utilizing template polyhedra. Policy iteration may be utilized to obtain an over-approximation of reachable states in the form of a relaxed invariant based upon template polyhedra expressions. The relaxed invariant may be used to construct a flowpipe to refine the over-approximation and thereby determine the reachable states of the hybrid system.
公开/授权文献
信息查询
