Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid 
Systems

Damm, Werner; Disch, Stefan; Hagemann, Willem; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris; Becker, Bernd; Damm, Werner; Finkbeiner, Bernd; Fränzle, Martin; Olderog, Ernst-Rüdiger; Podelski, Andreas

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2047829_5

DetailsSummary

Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems

Damm, W., Disch, S., Hagemann, W., Scholl, C., Waldmann, U., & Wirtz, B.(2011). Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (ATR76). Saarbrücken: SFB/TR 14 AVACS.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-150E-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-4828-E

Genre: Report

Files

show Files

Locators

show

Creators

show

hide

Creators:
Damm, Werner¹, Author
Disch, Stefan¹, Author
Hagemann, Willem², Author
Scholl, Christoph¹, Author
Waldmann, Uwe², Author
Wirtz, Boris¹, Author
Becker, Bernd¹, Editor
Damm, Werner¹, Editor
Finkbeiner, Bernd¹, Editor
Fränzle, Martin¹, Editor
Olderog, Ernst-Rüdiger¹, Editor
Podelski, Andreas¹, Editor

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

hide

Free keywords: -

Abstract: We describe an approach to integrate incremental ow pipe computation into a fully symbolic backward model checker for hybrid systems. Our method combines the advantages of symbolic state set representation, such as the ability to deal with large numbers of boolean variables, with an effcient way to handle continuous ows dened by linear differential equations, possibly including bounded disturbances.

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2011Date issued: 2011

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : SFB/TR 14 AVACS

Table of Contents: -

Rev. Type: -

Identifiers: Report Nr.: ATR76
BibTex Citekey: DammDierksHagemannEtAl2011

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: AVACS Technical Report

Abbreviation : ATR

Other : Reports of SFB/TR 14 AVACS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 76 Sequence Number: - Start / End Page: - Identifier: ISSN: 1860-9821