Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1E3E-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C442-8
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
PodelskiWagner02_2007.pdf (Verlagsversion), 5KB
 
Datei-Permalink:
-
Name:
PodelskiWagner02_2007.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Podelski, Andreas1, Autor           
Wagner, Silke1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2008-03-072007
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 356624
DOI: 10.1007/978-3-540-71493-4_76
Anderer: Local-ID: C12573CC004A8E26-5390EA1D31702021C12572C9003EFBCF-PodelskiWagner02_2007
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 10th International Conference on Hybrid systems
Veranstaltungsort: Pisa, Italy
Start-/Enddatum: 2007-04-03 - 2007-04-05

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Hybrid systems: computation and control : 10th International Conference, HSCC 2007
Genre der Quelle: Konferenzband
 Urheber:
Bemporad, Alberto1, Herausgeber
Bicchi, Antonio1, Herausgeber
Buttazzo, Giorgio C.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 750 - 753 Identifikator: ISBN: 3-540-71492-8

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 4416 Artikelnummer: - Start- / Endseite: - Identifikator: -