Research on the resonant frequency of MEMS gyroscopes under varying tuning voltage. - Ruixuan Yan; Xianglei Wei; Chunhua He; Qiancheng Zhao; Zhenchuan Yang; Guizhen Yan (NEMS, 2015)

Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. - Ruixuan Yan; Zhe Xu 005; Agung Julius (IEEE Robotics Autom. Lett., 2019)

Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic. - Ruixuan Yan; Agung Julius (CoRR, 2020)

STONE: Signal Temporal Logic Neural Network for Time Series Classification. - Ruixuan Yan; Agung Julius; Maria Chang 001; Achille Fokoue; Tengfei Ma 001; Rosario Uceda-Sosa (ICDM (Workshops), 2021)

Neural Network for Weighted Signal Temporal Logic. - Ruixuan Yan; Agung Julius (CoRR, 2021)

A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications. - Ruixuan Yan; Agung Julius (IEEE Robotics Autom. Lett., 2021)

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description. - Ruixuan Yan; Tengfei Ma 001; Achille Fokoue; Maria Chang 001; Agung Julius (ICDM, 2022)

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. - Nasim Baharisangari; Kazuma Hirota; Ruixuan Yan; Agung Julius; Zhe Xu 005 (IEEE Control. Syst. Lett., 2022)

Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications. - Ruixuan Yan; Agung Julius (IEEE Robotics Autom. Lett., 2022)

Interpretable seizure detection with signal temporal logic neural network. - Ruixuan Yan; A. Agung Julius (Biomed. Signal Process. Control., 2022)

Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State. - A. Agung Julius; Yunshi Wen; Ruixuan Yan (CDC, 2023)

Weighted Clock Logic Point Process. - Ruixuan Yan; Yunshi Wen; Debarun Bhattacharjya; Ronny Luss; Tengfei Ma 001; Achille Fokoue; Anak Agung Julius (ICLR, 2023)