Poster
@InProceedings, Poster

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

Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C.

dblp
dblp
dblp



BibTeX cite key*:

PodelskiWagner02_2007

Title, Booktitle

Title*:

A Sound and Complete Proof Rule for Region Stability of Hybrid Systems

Booktitle*:

Hybrid systems: computation and control : 10th International Conference, HSCC 2007

Event, URLs

Language:

English

URL of the conference:

http://hscc07.dii.unisi.it/index.html

Event Address*:

Pisa, Italy

URL for downloading the paper:

http://www.springerlink.com/content/w836k35g410754kk/fulltext.pdf

Event Date*:


Organization:


Event Start Date:

3 April 2007

Event End Date:

5 April 2007

Publisher

Publisher's Name*:

Springer

Publisher's URL:


Publisher's Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

4416

Number:


Month:

April

Pages*:

750-753

Year*:

2007

VG Wort Pages:

4

ISBN/ISSN:

978-3-540-71492-7; 3-540-71492-8

Sequence Number:






Note, Abstract, ©

Note:


(LaTeX) Abstract:

Region stability allows one to formalize hybrid systems whose
trajectories may oscillate (within a given allowance) even after
having `stabilized'. Unfortunately, until today no proof rule
(giving necessary and sufficient conditions for the purpose
of verifying region stability) has been available. This paper fills
the gap. Our (sound and complete) proof rule connects region
stability with the finiteness of specific state sequences and thus
with the emerging set of verification methods for program termination.

URL for the Abstract:

http://dx.doi.org/10.1007/978-3-540-71493-4_76

Categories / Keywords:

Hybrid Systems, Region Stability, Proof Rule

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

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{PodelskiWagner02_2007,
AUTHOR = {Podelski, Andreas and Wagner, Silke},
EDITOR = {Bemporad, Alberto and Bicchi, Antonio and Buttazzo, Giorgio C.},
TITLE = {A Sound and Complete Proof Rule for Region Stability of Hybrid Systems},
BOOKTITLE = {Hybrid systems: computation and control : 10th International Conference, HSCC 2007},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4416},
PAGES = {750--753},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Pisa, Italy},
MONTH = {April},
ISBN = {978-3-540-71492-7},
; ISBN = {3-540-71492-8
},
}


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
04/26/2007 01:27:56 PM
Revision
0.



Editor
Silke Wagner



Edit Date
04/26/2007 01:27:56 PM