Sign in
Mo Xia
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 3
Top Topics
Transition Systems
Formal Model
Frequency Modulation
Top Venues
IEEE Access
KES
ICSE Companion
J. Appl. Math.
</>
Publications
</>
Wenlin Zhou
,
Kun Xie
,
Junzhang Qian
,
Mo Xia
,
Yi Pu
,
Jinlong Huang
,
Xin Li
A Tanh Control Method for the Third Mirror's Z Axis of Large Optical Telescope.
IEEE Access
11 (2023)
Wenlin Zhou
,
Xin Li
,
Junzhang Qian
,
Mo Xia
,
Yi Pu
,
Ping Jiang
,
Jinlong Huang
Frequency Modulation Based on Hyperbolic Tangent Function for Position Closed Loop Control of Stepper Motor.
IEEE Access
11 (2023)
Mo Xia
,
Linfeng Sui
,
Xuyang Zhao
,
Toshihisa Tanaka
,
Jianting Cao
Convolution Neural Network Recognition of Epileptic Foci Based on Composite Signal Processing of Electroencephalograph Data.
KES
(2021)
Mo Xia
,
Guiming Luo
,
Mian Sun
Modeling and model checking by modular approach.
ICSE Companion
(2014)
Mo Xia
,
Mian Sun
,
Guiming Luo
,
Xibin Zhao
Design and implementation of automatic verification for PLC systems.
ICCI*CC
(2013)
Mo Xia
,
Kueiming Lo
,
Shuangjia Shao
,
Mian Sun
Formal Modeling and Verification for MVB.
J. Appl. Math.
2013 (2013)
Mo Xia
,
Ming Jin
,
Guiming Luo
Automatic verification of transition systems with unspecified components.
ISCAS
(2013)
Jian Luo
,
Guiming Luo
,
Mo Xia
An Algorithm for Satisfiability Degree Computation.
IJCCI (ECTA-FCTA)
(2011)
Jian Luo
,
Guiming Luo
,
Mo Xia
Satisfiability Degree Theory for Temporal Logic.
IJCCI (ECTA-FCTA)
(2011)