Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-150E-7 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-345A-3
Genre: Bericht

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Damm, Werner1, Autor
Disch, Stefan1, Autor
Hagemann, Willem2, Autor           
Scholl, Christoph1, Autor
Waldmann, Uwe2, Autor                 
Wirtz, Boris1, Autor
Becker, Bernd1, Herausgeber
Damm, Werner1, Herausgeber
Finkbeiner, Bernd1, Herausgeber
Fränzle, Martin1, Herausgeber
Olderog, Ernst-Rüdiger1, Herausgeber
Podelski, Andreas1, Herausgeber
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20112011
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : SFB/TR 14 AVACS
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: Reportnr.: ATR76
BibTex Citekey: DammDierksHagemannEtAl2011
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: AVACS Technical Report
  Kurztitel : ATR
  Andere : Reports of SFB/TR 14 AVACS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 76 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1860-9821