Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

DSpace Repository

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

Author: Bogomolov, Sergiy; Frehse, Goran; Gurung, Amit; Li, Dongxu; Martius, Georg; Ray, Rajarshi
Tübinger Autor(en):
Martius, Georg
Published in: Nonlinear Analysis - Hybrid Systems (2021), Bd. 42, Article 101093
Verlagsangabe: Elsevier Sci Ltd
Language: English
Full text: http://dx.doi.org/10.1016/j.nahs.2021.101093
ISSN: 1878-7460
DDC Classifikation: 004 - Data processing and computer science
510 - Mathematics
600 - Technology
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)