Ruixuan Yan

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