Blending kinematic and software models for tighter reachability analysis
ICSE, pp. 33-36, 2020.
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
Full Text (Upload PDF)
PPT (Upload PPT)