Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems

Sofronie-Stokkermans, V. (2013). Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. In M. P. Bonacina (Ed.), Automated Deduction - CADE-24 (pp. 360-376). Berlin: Springer. doi:10.1007/978-3-642-38574-2_25.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A6E-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-A283-6
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we study possibilities of using methods for hierarchical reasoning in local theory extensions for the analysis and verification of parametric hybrid systems, where the parameters can be either constants or functions. Our goal is to automatically provide guarantees that such systems satisfy certain safety or invariance conditions. We first analyze the possibility of automatically generating such guarantees in the form of constraints on parameters, then show that we can also synthesise so-called criticality functions, typically used for proving stability and/or safety of hybrid systems. We illustrate our methods on several examples.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20132013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Sofronie-Stokkermans-2013
DOI: 10.1007/978-3-642-38574-2_25
Anderer: Local-ID: 96E145A424CFEEAAC1257B2C00472CCC-Sofronie-Stokkermans-2013
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 24th International Conference on Automated Deduction
Veranstaltungsort: Lake Placid, NY, USA
Start-/Enddatum: 2013-06-09 - 2013-06-14

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Deduction - CADE-24
  Kurztitel : CADE 2013
  Untertitel : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Bonacina, Maria Paola1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 360 - 376 Identifikator: ISBN: 978-3-642-38573-5

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 7898 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 0302-9743