Blending kinematic and software models for tighter reachability analysis

Carl Hildebrandt
Carl Hildebrandt
Nicola Bezzo
Nicola Bezzo

ICSE, pp. 33-36, 2020.

Cited by: 0|Bibtex|Views0|DOI:https://doi.org/10.1145/3377816.3381730
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

Reachable sets are critical for path planning and navigation of mobile autonomous systems. Traditionally, these sets are computed using system models instantiated with their physical bounds. This exclusive focus on the physical bounds belies the fact that these systems are increasingly driven by sophisticated software components that can ...More

Code:

Data:

Your rating :
0

 

Tags
Comments