Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-226B-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-226D-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ratschan, Stefan1, Autor           
She, Zhikun1, Autor           
Calmet, Jacques, Herausgeber
Ida, Tetsuo, Herausgeber
Wang, Dongming, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-04-202006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 314582
Anderer: Local-ID: C1256104005ECAFC-00DE7551A0AA40FBC125722E003DCF1D-She2005
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Beijing, China
Start-/Enddatum: 2006-09-20

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 196 - 210 Identifikator: ISBN: 978-3-540-39728-1

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 4120 Artikelnummer: - Start- / Endseite: - Identifikator: -