Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Amr Alanwar,Frank J. Jiang,Maryam Sharifi,Dimos V. Dimarogonas,Karl H. Johansson,Amr Alanwar,Frank J. Jiang,Maryam Sharifi,Dimos V. Dimarogonas,Karl H. Johansson
This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a robot can be prohibitively conservative due to the inherent noise in the robot's historical measurement data. In the same scenarios, we often have side information about the robot's expected motion (e.g., limits on how much...
