Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

DSpace Repositorium (Manakin basiert)

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

Autor(en): Bogomolov, Sergiy; Frehse, Goran; Gurung, Amit; Li, Dongxu; Martius, Georg; Ray, Rajarshi
Tübinger Autor(en):
Martius, Georg
Erschienen in: Nonlinear Analysis - Hybrid Systems (2021), Bd. 42, Article 101093
Verlagsangabe: Elsevier Sci Ltd
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1016/j.nahs.2021.101093
ISSN: 1878-7460
DDC-Klassifikation: 004 - Informatik
510 - Mathematik
600 - Technik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: