Počet záznamů: 1
How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes
- 1.
SYSNO ASEP 0333950 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes Překlad názvu Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic Tvůrce(i) Dzetkulič, Tomáš (UIVT-O)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDZdroj.dok. ADHS'09. Preprints of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. - Zaragoza : Universidad de Zaragoza, 2009 / Giua A. ; Mahulea C. ; Silva M. ; Zaytoon J. Rozsah stran s. 274-279 Poč.str. 5 s. Akce ADHS'09. IFAC Conference on Analysis and Design of Hybrid Systems /3./ Datum konání 16.09.2009-18.09.2009 Místo konání Zaragoza Země ES - Španělsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. ES - Španělsko Klíč. slova verification ; hybrid systems ; timed automata Vědní obor RIV IN - Informatika CEP GC201/08/J020 GA ČR - Grantová agentura ČR GD201/09/H057 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 79960960760 Anotace In this paper we make a step towards an algorithm for the verification of hybrid systems that, on the one hand allows very general inputs (e.g., with non-linear ordinary differential equations), but on the other hand exploits the structure of those parts of the input that represent special cases (e.g., clocks). We show how to compute slices of parallel hyperplanes separating reachable from unreachable parts of the state space for a given abstraction of the input system, and demonstrate the usefulness of such slices within an abstraction refinement algorithm based on hyper-rectangles. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1