Počet záznamů: 1
Incremental Computation of Succinct Abstractions for Hybrid Systems
- 1.
SYSNO ASEP 0365291 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Incremental Computation of Succinct Abstractions for Hybrid Systems Tvůrce(i) Dzetkulič, Tomáš (UIVT-O)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDZdroj.dok. Formal Modeling and Analysis of Timed Systems. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s. - ISSN 0302-9743 - ISBN 978-3-642-24309-7 Rozsah stran s. 271-285 Poč.str. 15 s. Akce FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./ Datum konání 21.09.2011-23.09.2011 Místo konání Aalborg Země DK - Dánsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova abstraction ; incremental refinement ; hybrid system ; safety property Vědní obor RIV IN - Informatika CEP GC201/08/J020 GA ČR - Grantová agentura ČR GD201/09/H057 GA ČR - Grantová agentura ČR OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000306348600019 EID SCOPUS 80053303387 DOI 10.1007/978-3-642-24310-3_19 Anotace In this paper, we introduce a new approach to computing abstractions for hybrid dynamical systems whose continuous behavior is governed by non-linear ordinary differential equations. The abstractions try to capture the reachability information relevant for a given safety property as succinctly as possible. This is achieved by an incremental refinement of the abstractions, simultaneously trying to avoid increases in their size as much as possible. The approach is independent of a concrete technique for computing reachability information, and can hence be combined with whatever technique suitable for the problem class at hand. We illustrate the usefulness of the technique with computational experiments. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1