Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked





Author, Editor

Author(s):

Damm, Werner
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica

dblp
dblp
dblp

Not MPG Author(s):

Damm, Werner

Editor(s):

Bernd, Becker
Damm, Werner
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

dblp
dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

Bernd, Becker
Damm, Werner
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

BibTeX Citekey*:

Damm-Ihlemann-Sofronie-Stokkermans2011-report

Language:

English

Title, Institution

Title*:

PTIME parametric verification of safety properties for reasonable linear hybrid automata

Institution*:

Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems)

Publishers or Institutions Address*:

Saarbrücken

Type:

Technical Report

No, Year, pp.,

Number*:

ATR 70

Pages*:

27

Month:

March

VG Wort
Pages*:

-

Year*:

2011

ISBN/ISSN:

1860-9821





DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:

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.

Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:
@TECHREPORT{Damm-Ihlemann-Sofronie-Stokkermans2011-report,
AUTHOR = {Damm, Werner and Ihlemann, Carsten and Sofronie-Stokkermans, Viorica},
EDITOR = {Bernd, Becker and Damm, Werner and Fr{\"a}nzle, Martin and Olderog, Ernst-R{\"u}diger and Podelski, Andreas and Wilhelm, Reinhard},
TITLE = {{PTIME} parametric verification of safety properties for reasonable linear hybrid automata},
YEAR = {2011},
TYPE = {Technical Report},
INSTITUTION = {Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems)},
NUMBER = {ATR 70},
PAGES = {27},
ADDRESS = {Saarbr{\"u}cken},
MONTH = {March},
ISBN = {1860-9821},
}


Entry last modified by Anja Becker, 03/01/2013
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
03/16/2011 11:44:08 AM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Manuel Lamotte-Schubert
Manuel Lamotte-Schubert
Edit Dates
01.03.2013 12:22:06
28.09.2012 11:15:02
16.03.2012 11:35:23
30.03.2011 10:48:03
03/16/2011 11:44:08 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section