English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  A Sound and Complete Proof Rule for Region Stability of Hybrid Systems

Podelski, A., & Wagner, S. (2007). A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. In A. Bemporad, A. Bicchi, & G. C. Buttazzo (Eds.), Hybrid systems: computation and control : 10th International Conference, HSCC 2007 (pp. 750-753). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1E3E-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C442-8
Genre: Conference Paper

Files

show Files
hide Files
:
PodelskiWagner02_2007.pdf (Publisher version), 5KB
 
File Permalink:
-
Name:
PodelskiWagner02_2007.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Podelski, Andreas1, Author           
Wagner, Silke1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2008-03-072007
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 356624
DOI: 10.1007/978-3-540-71493-4_76
Other: Local-ID: C12573CC004A8E26-5390EA1D31702021C12572C9003EFBCF-PodelskiWagner02_2007
 Degree: -

Event

show
hide
Title: 10th International Conference on Hybrid systems
Place of Event: Pisa, Italy
Start-/End Date: 2007-04-03 - 2007-04-05

Legal Case

show

Project information

show

Source 1

show
hide
Title: Hybrid systems: computation and control : 10th International Conference, HSCC 2007
Source Genre: Proceedings
 Creator(s):
Bemporad, Alberto1, Editor
Bicchi, Antonio1, Editor
Buttazzo, Giorgio C.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 750 - 753 Identifier: ISBN: 3-540-71492-8

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 4416 Sequence Number: - Start / End Page: - Identifier: -