Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems

Damm, W., Pinto, G., & Ratschan, S. (2005). Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. In Automated technology for verification and analysis: Third International Symposium, ATVA 2005 (pp. 99-113). Berlin, Germany: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Damm, Werner, Autor
Pinto, Guilherme, Autor
Ratschan, Stefan1, Autor           
Peled, Doron A, Herausgeber
Tsay, Yih-Kuen, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We present a novel approach to the automatic verification and falsification of LTL requirements of non-linear discrete-time hybrid systems. The verification tool uses an interval-based constraint solver for non-linear robust constraints to compute incrementally refined abstractions. Although the problem is in general undecidable, we prove termination of abstraction refinement based verification and falsification of such properties for the class of \textit{robust non-linear hybrid systems}, thus significantly extending previous semi-decidability results. We argue, that safety critical control applications \textit{are} robust hybrid systems. We give first results on the application of this approach to a variant of an aircraft collision avoidance protocol. %

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006-06-092005
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 279102
Anderer: Local-ID: C1256104005ECAFC-9381B669B95CDEE8C12570A600420C22-Ratschan2005
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Taipei, Taiwan
Start-/Enddatum: 2005-10-04

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated technology for verification and analysis : Third International Symposium, ATVA 2005
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 99 - 113 Identifikator: ISBN: 3-540-29209-8

Quelle 2

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