Journal Article
@Article
Artikel in Fachzeitschrift


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(s)

Author(s):

Damm, Werner
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica

dblp
dblp
dblp

Not MPG Author(s):

Damm, Werner

BibTeX cite key*:

Damm-Ihlemann-Sofronie-Stokkermans2011-msc

Title

Title*:

PTIME parametric verification of safety properties for reasonable linear hybrid automata

Journal

Journal Title*:

Mathematics in Computer Science

Journal's URL:

http://www.cc4cm.org/mcs/

Download URL
for the article:

http://dx.doi.org/10.1007/s11786-011-0098-x

Language:

English

Publisher

Publisher's
Name:

Birkhäuser

Publisher's URL:


Publisher's
Address:

Basel

ISSN:

1661-8270

Vol, No, pp, Date

Volume*:

5

Number:

4

Publishing Date:

2011

Pages*:

469-497

Number of
VG Pages:


Page Start:

469

Page End:

497

Sequence Number:


DOI:

10.1007/s11786-011-0098-x

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.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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:

@ARTICLE{Damm-Ihlemann-Sofronie-Stokkermans2011-msc,
AUTHOR = {Damm, Werner and Ihlemann, Carsten and Sofronie-Stokkermans, Viorica},
TITLE = {{PTIME} parametric verification of safety properties for reasonable linear hybrid automata},
JOURNAL = {Mathematics in Computer Science},
PUBLISHER = {Birkhäuser},
YEAR = {2011},
NUMBER = {4},
VOLUME = {5},
PAGES = {469--497},
ADDRESS = {Basel},
ISBN = {1661-8270},
DOI = {10.1007/s11786-011-0098-x},
}


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/14/2011 05:04:38 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
01.03.2013 13:56:43
01.03.2013 12:21:18
16.03.2012 11:32:03
03/17/2011 01:02:28 PM
03/17/2011 01:01:41 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section