Falsification of hybrid systems using symbolic reachability and trajectory splicing

Bogomolov Sergiy; Frehse Goran; Gurung Amit; Li Dongxu; Martius Georg; Ray Rajarshi

Conference Papers Year :

Falsification of hybrid systems using symbolic reachability and trajectory splicing

(1) , (2) , , , ,

1
2

Bogomolov Sergiy

Function : Author

Newcastle University [Newcastle]

Frehse Goran

Function : Author

Unité d'Informatique et d'Ingénierie des Systèmes

Gurung Amit

Function : Author

Li Dongxu

Function : Author

Martius Georg

Function : Author

Ray Rajarshi

Function : Author

Domains

Computer Science [cs] Numerical Analysis [cs.NA]

Goran Frehse : Connect in order to contact the contributor

https://hal.science/hal-02446204

Submitted on : Monday, January 20, 2020-4:41:16 PM

Last modification on : Wednesday, May 11, 2022-3:20:03 PM

Dates and versions

hal-02446204 , version 1 (20-01-2020)

Identifiers

HAL Id : hal-02446204 , version 1

Cite

Bogomolov Sergiy, Frehse Goran, Gurung Amit, Li Dongxu, Martius Georg, et al.. Falsification of hybrid systems using symbolic reachability and trajectory splicing. HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada. ⟨hal-02446204⟩

Falsification of hybrid systems using symbolic reachability and trajectory splicing

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share