Combined Global and Local Search for the Falsification of Hybrid Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00431640" target="_blank" >RIV/67985807:_____/14:00431640 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:11320/14:10319205
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-10512-3_11" target="_blank" >http://dx.doi.org/10.1007/978-3-319-10512-3_11</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-10512-3_11" target="_blank" >10.1007/978-3-319-10512-3_11</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Combined Global and Local Search for the Falsification of Hybrid Systems
Popis výsledku v původním jazyce
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 bothefficiency 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.
Název v anglickém jazyce
Combined Global and Local Search for the Falsification of Hybrid Systems
Popis výsledku anglicky
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 bothefficiency 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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GCP202%2F12%2FJ060" target="_blank" >GCP202/12/J060: Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-319-10511-6
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
15
Strana od-do
146-160
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Florence
Datum konání akce
8. 9. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—