Efficient Parametric Identification for STL

We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows: Given a densetime real-valued signalw and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier elimination, our procedure works recursively on φ and computes the evolution over time of the set of valid parameter assignments. This procedure is similar to that of monitoring or computing the robustness of φ relative tow . Our implementation and experiments demonstrate this approach can work well in practice. ACM Reference Format: . 2018. Efficient Parametric Identification for STL. In Proceedings of ACM International Conference onHybrid Systems: Computation and Control (HSCC’18). ACM, New York, NY, USA, 10 pages. https://doi.org/