English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Model Checking of Hybrid Systems: From Reachability towards Stability

Podelski, A., & Wagner, S. (2006). Model Checking of Hybrid Systems: From Reachability towards Stability. In Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006 (pp. 507-521). Berlin, Germany: Springer.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Podelski, Andreas1, Author           
Wagner, Silke1, Author           
Hespanha, João P., Editor
Tiwari, Ashish, Editor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We call a hybrid system {\em stable} if every trajectory inevitably ends up in a given region. Our notion of stability deviates from classical definitions in control theory. In this paper, we present a model checking algorithm for stability in the new sense. The idea of the algorithm is to reduce the stability proof for the whole system to a set of (smaller) proofs for several one-mode systems.

Details

show
hide
Language(s): eng - English
 Dates: 2007-04-242006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 314583
Other: Local-ID: C1256104005ECAFC-D1046A10B1588DA0C125712B004D29A6-PodelskiWagner2006
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Santa Barbara, CA, USA
Start-/End Date: 2006-03-29

Legal Case

show

Project information

show

Source 1

show
hide
Title: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 507 - 521 Identifier: ISBN: 978-3-540-33170-4

Source 2

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