English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  DetailsSummary

Released
Report

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

MPS-Authors
/persons/resource/persons44562

Hagemann,  Willem
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons45689

Waldmann,  Uwe
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

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.


Cite as: https://hdl.handle.net/11858/00-001M-0000-001A-150E-7
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.