Francisco Penedo

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Ambrosio Tortorelli

K Nearest Neighbour

Differential Equations

Top Venues

IEEE Trans. Ind. Informatics

Publications

Francisco Penedo, Harold Park, Calin Belta
Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications. CDC (2018)
Francisco Penedo, Cristian Ioan Vasile, Calin Belta
Language-Guided Sampling-based Planning using Temporal Relaxation. WAFR (2016)
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta
A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC (2016)
Francisco Penedo, Rodolfo E. Haber, Agustín Gajate, Raúl M. del Toro
Hybrid Incremental Modeling Based on Least Squares and Fuzzy $K$-NN for Monitoring Tool Wear in Turning Processes. IEEE Trans. Ind. Informatics 8 (4) (2012)