research
∙
01/06/2023
High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots
Industrial robots are increasingly deployed in applications requiring an...
share
research
∙
09/15/2022
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Most existing Time series classification (TSC) models lack interpretabil...
research
∙
09/16/2021
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Extracting spatial-temporal knowledge from data is useful in many applic...
research
∙
04/08/2021
Neural Network for Weighted Signal Temporal Logic
In this paper, we propose a neuro-symbolic framework called weighted Sig...
research
∙
11/26/2019
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
In this paper, we present a controller synthesis approach for wind turbi...
research
∙
10/05/2016