Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Wagner, Silke
Podelski, Andreas

dblp
dblp

Not MPG Author(s):

Podelski, Andreas

Editor(s):

Raskin, J.-F.
Thiagarajan, P.S.

dblp
dblp

Not MPII Editor(s):

Raskin, J.-F.
Thiagarajan, P.S.

BibTeX cite key*:

PodelskiWagner03_2007

Title, Booktitle

Title*:

Region Stability Proofs for Hybrid Systems

Booktitle*:

Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007

Event, URLs

URL of the conference:

http://www.ulb.ac.be/di/formats07

URL for downloading the paper:


Event Address*:

Salzburg, Austria

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

3 October 2007

Event End Date:

5 October 2007

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

12345

Number:


Month:


Pages:

16

Year*:

2007

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We present a method and tool (and implementation) for automatic proofs of region stability for hybrid systems. The formal basis of our approach is the new notion of \emph{snapshot sequences}. We use snapshot sequences for a characterization of region stability. Our abstraction-based algorithm checks the conditions in this characterization. A number of experiments demonstrate the practical potential of our approach.

Keywords:

Hybrid System, Region Stability, Verification, Method and Tool



Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{PodelskiWagner03_2007,
AUTHOR = {Wagner, Silke and Podelski, Andreas},
EDITOR = {Raskin, J.-F. and Thiagarajan, P.S.},
TITLE = {Region Stability Proofs for Hybrid Systems},
BOOKTITLE = {Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {12345},
PAGES = {16},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Salzburg, Austria},
}


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
07/12/2007 11:15:17 AM
Revision
0.



Editor
Silke Wagner



Edit Date
07/12/2007 11:15:17 AM