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
Disch, Stefan
Hagemann, Willem
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris

dblp
dblp
dblp
dblp
dblp
dblp

Not MPG Author(s):

Damm, Werner
Disch, Stefan
Scholl, Christoph
Wirtz, Boris

Editor(s):

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

dblp
dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

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

BibTeX Citekey*:

DammDierksHagemannEtAl2011

Language:

English

Title, Institution

Title*:

Integrating incremental flow pipes into a symbolic model checker for hybrid systems

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 76

Pages*:

14

Month:

July

VG Wort
Pages*:


Year*:

2011

ISBN/ISSN:

1860-9821





DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:

We describe an approach to integrate incremental flow pipe computation into a fully symbolic backward model checker for hybrid systems. Our method combines the advantages of symbolic state set representation, such as the ability to deal with large numbers of boolean variables, with an effcient way to handle continuous flows defined by linear differential equations, possibly including bounded disturbances.

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

Audience:

experts only

Appearance:

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


BibTeX Entry:
@TECHREPORT{DammDierksHagemannEtAl2011,
AUTHOR = {Damm, Werner and Disch, Stefan and Hagemann, Willem and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris},
EDITOR = {Becker, Bernd and Damm, Werner and Finkbeiner, Bernd and Fr{\"a}nzle, Martin and Olderog, Ernst-R{\"u}diger and Podelski, Andreas},
TITLE = {Integrating incremental flow pipes into a symbolic model checker for hybrid systems},
YEAR = {2011},
TYPE = {Technical Report},
INSTITUTION = {Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems)},
NUMBER = {ATR 76},
PAGES = {14},
ADDRESS = {Saarbr{\"u}cken},
MONTH = {July},
ISBN = {1860-9821},
}


Entry last modified by Willem Hagemann, 07/31/2014
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
01/18/2013 01:47:29 PM
Revision
0.



Editor
Willem Hagemann



Edit Date
01/18/2013 01:47:29 PM



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section