Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  PTIME parametric verification of safety properties for reasonable linear hybrid automata

Damm, W., Ihlemann, C., & Sofronie-Stokkermans, V. (2011). PTIME parametric verification of safety properties for reasonable linear hybrid automata. Mathematics in Computer Science, 5(4), 469-497. doi:10.1007/s11786-011-0098-x.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Damm, Werner1, Autor
Ihlemann, Carsten2, Autor           
Sofronie-Stokkermans, Viorica2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: This paper identifies an industrially relevant class of linear hybrid automata (LHA) called reasonable LHA for which parametric verification of convex safety properties with exhaustive entry states can be verified in polynomial time and time-bounded reachability can be decided in nondeterministic polynomial time for non-parametric verification and in exponential time for parametric verification. Properties with exhaustive entry states are restricted to runs originating in a (specified) inner envelope of some mode-invariant. Deciding whether an LHA is reasonable is shown to be decidable in polynomial time.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2012-03-162011
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 619012
DOI: 10.1007/s11786-011-0098-x
URI: http://dx.doi.org/10.1007/s11786-011-0098-x
Anderer: Local-ID: C125716C0050FB51-933697580C59ACEEC1257853005850F7-Damm-Ihlemann-Sofronie-Stokkermans2011-msc
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Mathematics in Computer Science
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Basel : Birkhäuser
Seiten: - Band / Heft: 5 (4) Artikelnummer: - Start- / Endseite: 469 - 497 Identifikator: ISSN: 1661-8270