Publications: Proceedings Article: A Sound and Complete Proof Rule for Region Stability of Hybrid Systems

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

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