Invention Grant
US08352222B2 Methods and systems for efficient analysis of hybrid systems using template polyhedra
有权
使用模板多面体对混合系统进行有效分析的方法和系统
- Patent Title: Methods and systems for efficient analysis of hybrid systems using template polyhedra
- Patent Title (中): 使用模板多面体对混合系统进行有效分析的方法和系统
-
Application No.: US12236071Application Date: 2008-09-23
-
Publication No.: US08352222B2Publication Date: 2013-01-08
- Inventor: Sriram Sankaranarayanan , Franjo Ivancic
- Applicant: Sriram Sankaranarayanan , Franjo Ivancic
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent James Bitetto; Joseph Kolodka
- Main IPC: G06F17/10
- IPC: G06F17/10 ; G06F7/60 ; G06F7/00 ; H03K3/00 ; G06G7/00 ; G06E3/00
Abstract:
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.
Public/Granted literature
- US20090094004A1 METHODS AND SYSTEMS FOR EFFICIENT ANALYSIS OF HYBRID SYSTEMS USING TEMPLATE POLYHEDRA Public/Granted day:2009-04-09
Information query
