Počet záznamů: 1
Combined Global and Local Search for the Falsification of Hybrid Systems
- 1.
SYSNO ASEP 0431640 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Combined Global and Local Search for the Falsification of Hybrid Systems Tvůrce(i) Kuřátko, Jan (UIVT-O) RID, SAI, ORCID
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDZdroj.dok. Formal Modeling and Analysis of Timed Systems. - Cham : Springer, 2014 / Legay A. ; Bozga M. - ISSN 0302-9743 - ISBN 978-3-319-10511-6 Rozsah stran s. 146-160 Poč.str. 15 s. Forma vydání Tištěná - P Akce FORMATS 2014. International Conference /12./ Datum konání 08.09.2014-10.09.2014 Místo konání Florence Země IT - Itálie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova hybrid systems ; falsification ; optimization Vědní obor RIV IN - Informatika CEP GCP202/12/J060 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 EID SCOPUS 84958524952 DOI 10.1007/978-3-319-10512-3_11 Anotace In this paper we solve the problem of finding a trajectory that shows that a given hybrid dynamical system with deterministic evolution leaves a given set of states considered to be safe. The algorithm combines local with global search for achieving both efficiency and global convergence. In local search, it exploits derivatives for efficient computation. Unlike other methods for falsification of hybrid systems with deterministic evolution, we do not restrict our search to trajectories of a certain bounded length but search for error trajectories of arbitrary length. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2015
Počet záznamů: 1