Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | 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

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