Follow
Ruixuan Yan
Title
Cited by
Cited by
Year
Swarm signal temporal logic inference for swarm behavior analysis
R Yan, Z Xu, A Julius
IEEE Robotics and Automation Letters 4 (3), 3021-3028, 2019
252019
Neural network for weighted signal temporal logic
R Yan, A Julius
arXiv preprint arXiv:2104.05435, 2021
112021
A decentralized B&B algorithm for motion planning of robot swarms with temporal logic specifications
R Yan, A Julius
IEEE Robotics and Automation Letters 6 (4), 7389-7396, 2021
72021
Stone: Signal temporal logic neural network for time series classification
R Yan, A Julius, M Chang, A Fokoue, T Ma, R Uceda-Sosa
2021 International Conference on Data Mining Workshops (ICDMW), 778-787, 2021
62021
Distributed consensus-based online monitoring of robot swarms with temporal logic specifications
R Yan, A Julius
IEEE Robotics and Automation Letters 7 (4), 9413-9420, 2022
42022
Interpretable seizure detection with signal temporal logic neural network
R Yan, AA Julius
Biomedical Signal Processing and Control 78, 103998, 2022
32022
Weighted graph-based signal temporal logic inference using neural networks
N Baharisangari, K Hirota, R Yan, A Julius, Z Xu
IEEE Control Systems Letters 6, 2096-2101, 2021
32021
Weighted clock logic point process
R Yan, Y Wen, D Bhattacharjya, R Luss, T Ma, A Fokoue, AA Julius
International Conference on Learning Research (ICLR) 2023, 2023
22023
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
R Yan, T Ma, A Fokoue, M Chang, A Julius
2022 IEEE International Conference on Data Mining (ICDM), 2022
22022
Distributed monitoring of robot swarms with swarm signal temporal logic
R Yan, A Julius
arXiv preprint arXiv:2004.12473, 2020
12020
Research on the resonant frequency of MEMS gyroscopes under varying tuning voltage
R Yan, X Wei, C He, Q Zhao, Z Yang, G Yan
10th IEEE International Conference on Nano/Micro Engineered and Molecular …, 2015
12015
Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State
AA Julius, Y Wen, R Yan
2023 62nd IEEE Conference on Decision and Control (CDC), 8545-8552, 2023
2023
System Analysis With Signal Temporal Logic: Monitoring, Motion Planning, and Data Mining
R Yan
Rensselaer Polytechnic Institute, 2023
2023
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks (preprint)
N Baharisangari, K Hirota, R Yan, A Julius, Z Xu
2021
The system can't perform the operation now. Try again later.
Articles 1–14