reachability analysis
Recently Published Documents

TOTAL DOCUMENTS

783
(FIVE YEARS 130)

H-INDEX

41
(FIVE YEARS 5)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Flight Envelope Prediction via Optimal Control-Based Reachability Analysis

2021 ◽  
pp. 1-11
Author(s):  
Zhidong Lu ◽  
Haichao Hong ◽  
Matthias Gerdts ◽  
Florian Holzapfel
Keyword(s):  
Optimal Control ◽  
Reachability Analysis ◽  
Flight Envelope

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

2021 ◽  
Vol 42 ◽  
pp. 101093
Author(s):  
Sergiy Bogomolov ◽  
Goran Frehse ◽  
Amit Gurung ◽  
Dongxu Li ◽  
Georg Martius ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis

Zonotopic Reachability Analysis of Multirotor Aircraft

2021 ◽  
Author(s):  
Gilles Delansnay ◽  
Alain Vande Wouwer ◽  
Hendra G.Harno ◽  
Yoonsoo Kim
Keyword(s):  
Reachability Analysis

scholarly journals Faster reachability analysis for LR(1) parsers

2021 ◽  
Author(s):  
Frédéric Bour ◽  
François Pottier
Keyword(s):  
Reachability Analysis

Continuous GPS Authentication with Chimera using Stochastic Reachability Analysis

2021 ◽  
Author(s):  
Tara Mina ◽  
Ashwin Kanhere ◽  
Shreyas Kousik ◽  
Grace Gao
Keyword(s):  
Reachability Analysis ◽  
Continuous Gps
Load More ...
Sign in / Sign up

Export Citation Format

Share Document