Stability Proofs for Hybrid Systems

Wagner, Silke

Local TagsRelease HistoryDetailsSummary

Stability Proofs for Hybrid Systems

Wagner, S. (2008). Stability Proofs for Hybrid Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-B5BB-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-760C-B

Genre: Thesis

Files

show Files

hide Files

:

2008_Silke_Wagner_Dissertation.pdf (Any fulltext), 630KB

File Permalink:
-

Name:
2008_Silke_Wagner_Dissertation.pdf

Description:
-

OA-Status:

Visibility:
Restricted (Max Planck Institute for Informatics, MSIN; )

MIME-Type / Checksum:
application/pdf

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Wagner, Silke^{1, 2, 3}, Author
Podelski, Andreas¹, Advisor
Finkbeiner, Bernd⁴, Referee

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545
4External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2008-10-31Published Online: 2008Date issued: 2008

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Wagner2008

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show