Combined Global and Local Search for the Falsification of Hybrid Systems
The result's identifiers
Result code in 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>
Alternative codes found
RIV/00216208:11320/14:10319205
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Combined Global and Local Search for the Falsification of Hybrid Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GCP202%2F12%2FJ060" target="_blank" >GCP202/12/J060: Integrated Verification and Falsification of Hybrid Systems of Industrial Size</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-319-10511-6
ISSN
0302-9743
e-ISSN
—
Number of pages
15
Pages from-to
146-160
Publisher name
Springer
Place of publication
Cham
Event location
Florence
Event date
Sep 8, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—