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:









Author, Editor

Author(s):

Podelski, Andreas
Wagner, Silke

dblp
dblp

Not MPG Author(s):

Podelski, Andreas

Editor(s):





BibTeX Citekey*:

PodelskiWagner01_2007

Language:

English

Title, Institution

Title*:

A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems

Institution*:

Max-Planck-Institut für Informatik

Publishers or Institutions Address*:

Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany

Type:

Research Report

No, Year, pp.,

Number*:

MPI-I-2007-2-001

Pages*:

46

Month:

January

VG Wort
Pages*:


Year*:

2007

ISBN/ISSN:






DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:

We propose a model checking method and tool that integrates state abstraction techniques for the automatic proof of a stability property for hybrid systems called \emph{region stability}. It is based on a new notion of \emph{snapshots} which yield characteristic discretizations of trajectories. We have implemented the tool and applied it to solve a number of verification problems, including the fully automatic stability proof for the break curve behavior of a train system.

Categories / Keywords:

Hybrid Systems, Stability, Model Checking, Abstraction

Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

popular

Appearance:

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


BibTeX Entry:
@TECHREPORT{PodelskiWagner01_2007,
AUTHOR = {Podelski, Andreas and Wagner, Silke},
TITLE = {A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems},
YEAR = {2007},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut für Informatik},
NUMBER = {MPI-I-2007-2-001},
PAGES = {46},
ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
MONTH = {January},
}


Entry last modified by Silke Wagner, 01/28/2008
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)
Silke Wagner
Created
03/07/2007 04:15:28 PM
Revision
1.
0.


Editor
Silke Wagner
Silke Wagner


Edit Date
04/26/2007 01:29:11 PM
03/07/2007 04:15:28 PM


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

View attachments here:


File Attachment Icon
MPI-I-2007-2-001.pdf