Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  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 (ATR70). SFB/TR 14 AVACS.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-0010-14F5-F Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-002C-4550-C
Genre: Bericht
Latex : {PTIME} Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata

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 - Englisch
 Datum: 20112011
 Publikationsstatus: Im Druck publiziert
 Seiten: 31 p.
 Ort, Verlag, Ausgabe: SFB/TR 14 AVACS
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 619013
Anderer: Local-ID: C125716C0050FB51-DEB90D4E9EAE27B7C1257855003AF8EE-Damm-Ihlemann-Sofronie-Stokkermans2011-report
BibTex Citekey: Damm-Ihlemann-Sofronie-Stokkermans2011-report
Reportnr.: ATR70
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: AVACS Technical Report
  Kurztitel : ATR
  Andere : Reports of SFT/TR 14 AVACS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 70 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1860-9821