English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Constraints for Continuous Reachability in the Verification of Hybrid Systems

Ratschan, S., & She, Z. (2006). Constraints for Continuous Reachability in the Verification of Hybrid Systems. In Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006 (pp. 196-210). Berlin, Germany: Springer.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ratschan, Stefan1, Author           
She, Zhikun1, Author           
Calmet, Jacques, Editor
Ida, Tetsuo, Editor
Wang, Dongming, Editor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: The method for verification of hybrid systems by constraint propagation based abstraction refinement that we introduced in an earlier paper is based on an over-approximation of continuous reachability information of ordinary differential equations using constraints that do not contain differentiation symbols. The method uses an interval constraint propagation based solver to solve these constraints. This has the advantage that—without complicated algorithmic changes—the method can be improved by just changing these constraints. In this paper, we discuss various possibilities of such changes, we prove some properties about the amount of over-approximations introduced by the new constraints, and provide some timings that document the resulting improvement.

Details

show
hide
Language(s): eng - English
 Dates: 2007-04-202006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 314582
Other: Local-ID: C1256104005ECAFC-00DE7551A0AA40FBC125722E003DCF1D-She2005
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Beijing, China
Start-/End Date: 2006-09-20

Legal Case

show

Project information

show

Source 1

show
hide
Title: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 196 - 210 Identifier: ISBN: 978-3-540-39728-1

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 4120 Sequence Number: - Start / End Page: - Identifier: -