Number of the records: 1
Incremental Computation of Succinct Abstractions for Hybrid Systems
- 1.
SYSNO ASEP 0365291 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Incremental Computation of Succinct Abstractions for Hybrid Systems Author(s) Dzetkulič, Tomáš (UIVT-O)
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDSource Title Formal Modeling and Analysis of Timed Systems. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s. - ISSN 0302-9743 - ISBN 978-3-642-24309-7 Pages s. 271-285 Number of pages 15 s. Action FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./ Event date 21.09.2011-23.09.2011 VEvent location Aalborg Country DK - Denmark Event type WRD Language eng - English Country DE - Germany Keywords abstraction ; incremental refinement ; hybrid system ; safety property Subject RIV IN - Informatics, Computer Science R&D Projects GC201/08/J020 GA ČR - Czech Science Foundation (CSF) GD201/09/H057 GA ČR - Czech Science Foundation (CSF) OC10048 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000306348600019 EID SCOPUS 80053303387 DOI 10.1007/978-3-642-24310-3_19 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2012
Number of the records: 1