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):

Podelski, Andreas
Wagner, Silke

dblp
dblp



Editor(s):

Hespanha, João P.
Tiwari, Ashish

dblp
dblp

Not MPII Editor(s):

Hespanha, João P.
Tiwari, Ashish

BibTeX cite key*:

PodelskiWagner2006

Title, Booktitle

Title*:

Model Checking of Hybrid Systems: From Reachability towards Stability

Booktitle*:

Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006

Event, URLs

URL of the conference:

http://hscc06.csl.sri.com/

URL for downloading the paper:

http://www.springerlink.com/content/fp4085t181368630/fulltext.pdf
http://www.mpi-sb.mpg.de/~swagner

Event Address*:

Santa Barbara, CA, USA

Language:

English

Event Date*
(no longer used):


Organization:

ACM SIGBED

Event Start Date:

29 March 2006

Event End Date:

31 March 2006

Publisher

Name*:

Springer

URL:

http://www.springer.com/

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

3927

Number:


Month:

March

Pages:

507-521

Year*:

2006

VG Wort Pages:


ISBN/ISSN:

978-3-540-33170-4; 3-540-33170-0

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our notion of stability deviates from classical definitions in control theory. In this paper, we present a model checking algorithm for stability in the new sense. The idea of the algorithm is to reduce the stability proof for the whole system to a set of (smaller) proofs for several one-mode systems.

URL for the Abstract:

http://dx.doi.org/10.1007/11730637_38
http://www.springerlink.com/content/fp4085t181368630/

Keywords:

Hybrid System, Stability, Verification



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{PodelskiWagner2006,
AUTHOR = {Podelski, Andreas and Wagner, Silke},
EDITOR = {Hespanha, João P. and Tiwari, Ashish},
TITLE = {Model Checking of Hybrid Systems: From Reachability towards Stability},
BOOKTITLE = {Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
},
PUBLISHER = {Springer},
YEAR = {2006},
ORGANIZATION = {ACM SIGBED},
VOLUME = {3927},
PAGES = {507--521},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Santa Barbara, CA, USA},
MONTH = {March},
ISBN = {978-3-540-33170-4},
; ISBN = {3-540-33170-0},
}


Entry last modified by Uwe Brahm, 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/08/2006 03:02:49 PM
Revisions
3.
2.
1.
0.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Silke Wagner
Edit Dates
2007-05-02 11:18:28
2007-04-24 14:14:47
16.02.2007 22:47:32
08.03.2006 15:02:49
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section