Ruixuan Yan

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 14

Top Topics

Point Processes

Mazurkiewicz Traces

Top Venues

IEEE Robotics Autom. Lett.

IEEE Control. Syst. Lett.

Biomed. Signal Process. Control.

Publications

A. Agung Julius, Yunshi Wen, Ruixuan Yan
Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State. CDC (2023)
Ruixuan Yan, Yunshi Wen, Debarun Bhattacharjya, Ronny Luss, Tengfei Ma, Achille Fokoue, Anak Agung Julius
Weighted Clock Logic Point Process. ICLR (2023)
Ruixuan Yan, Agung Julius
Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (4) (2022)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Ruixuan Yan, A. Agung Julius
Interpretable seizure detection with signal temporal logic neural network. Biomed. Signal Process. Control. 78 (2022)
Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description. ICDM (2022)
Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description. CoRR (2022)
Ruixuan Yan, Agung Julius, Maria Chang, Achille Fokoue, Tengfei Ma, Rosario Uceda-Sosa
STONE: Signal Temporal Logic Neural Network for Time Series Classification. ICDM (Workshops) (2021)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR (2021)
Ruixuan Yan, Agung Julius
A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications. IEEE Robotics Autom. Lett. 6 (4) (2021)
Ruixuan Yan, Agung Julius
Neural Network for Weighted Signal Temporal Logic. CoRR (2021)
Ruixuan Yan, Agung Julius
Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic. CoRR (2020)
Ruixuan Yan, Zhe Xu, Agung Julius
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. IEEE Robotics Autom. Lett. 4 (3) (2019)
Ruixuan Yan, Xianglei Wei, Chunhua He, Qiancheng Zhao, Zhenchuan Yang, Guizhen Yan
Research on the resonant frequency of MEMS gyroscopes under varying tuning voltage. NEMS (2015)