​
Login / Signup
Shiying Dong
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 10
Top Topics
Model Checker
Fractional Fourier Transform
Temporal Logic
Autonomous Vehicle Navigation
Top Venues
CoRR
ICCAE
Biomed. Signal Process. Control.
IEEE Trans. Intell. Veh.
</>
Publications
</>
Yujin Wang
,
Zhaoyan Huang
,
Shiying Dong
,
Hongqing Chu
,
Xiang Yin
,
Bingzhao Gao
ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios.
ICCAE
(2024)
Yifan Cheng
,
Xi Luo
,
Shiying Dong
,
Jinlong Hong
,
Lulu Guo
,
Jia Hu
,
Bingzhao Gao
,
Hong Chen
Actor-Critic Enhanced Neural Network Optimizer for Mixed-Integer Optimal Control: A Case Study on Eco-Driving Control.
ICCA
(2024)
Yujin Wang
,
Zhaoyan Huang
,
Shiying Dong
,
Hongqing Chu
,
Xiang Yin
,
Bingzhao Gao
Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications.
ICCAE
(2024)
Xi Luo
,
Shiying Dong
,
Jinlong Hong
,
Bingzhao Gao
,
Hong Chen
Online Ecological Gearshift Strategy via Neural Network with Soft-Argmax Operator.
CoRR
(2024)
Shiying Dong
,
Jakob Harzer
,
Jonathan Frey
,
Xiangyu Meng
,
Qifang Liu
,
Bingzhao Gao
,
Moritz Diehl
,
Hong Chen
Cooperative Eco-Driving Control of Connected Multi-Vehicles With Spatio-Temporal Constraints.
IEEE Trans. Intell. Veh.
9 (1) (2024)
Shiying Dong
Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles.
CoRR
(2024)
Jiao Sijia
,
Tianjun Wu
,
Jiancheng Luo
,
Ya'nan Zhou
,
Wen Dong
,
Changpeng Wang
,
Shiying Dong
Spatial prediction using random forest spatial interpolation with sample augmentation: a case study for precipitation mapping.
Earth Sci. Informatics
16 (1) (2023)
Shiying Dong
,
Hong Chen
,
Bingzhao Gao
,
Lulu Guo
,
Qifang Liu
Hierarchical Energy-Efficient Control for CAVs at Multiple Signalized Intersections Considering Queue Effects.
IEEE Trans. Intell. Transp. Syst.
23 (8) (2022)
Mostefa Mesbah
,
Mohamed Salah Khlif
,
Siamak Layeghy
,
Christine East
,
Shiying Dong
,
Amy Brodtmann
,
Paul B. Colditz
,
Boualem Boashash
Automatic fetal movement recognition from multi-channel accelerometry data.
Comput. Methods Programs Biomed.
210 (2021)
Md. Abdul Awal
,
Samir Ouelha
,
Shiying Dong
,
Boualem Boashash
A robust high-resolution time-frequency representation based on the local optimization of the short-time fractional Fourier transform.
Digit. Signal Process.
70 (2017)
Shiying Dong
,
Boualem Boashash
,
Ghasem Azemi
,
Barbara Lingwood
,
Paul B. Colditz
Automated detection of perinatal hypoxia using time-frequency-based heart rate variability features.
Medical Biol. Eng. Comput.
52 (2) (2014)
Shiying Dong
,
Ghasem Azemi
,
Boualem Boashash
Improved characterization of HRV signals based on instantaneous frequency features estimated from quadratic time-frequency distributions with data-adapted kernels.
Biomed. Signal Process. Control.
10 (2014)
Shiying Dong
,
Boualem Boashash
,
Ghasem Azemi
,
Barbara Lingwood
,
Paul B. Colditz
Detection of perinatal hypoxia using time-frequency analysis of heart rate variability signals.
ICASSP
(2013)
Shiying Dong
,
Ghasem Azemi
,
Barbara Lingwood
,
Paul B. Colditz
,
Boualem Boashash
Performance evaluation of multi-component instantaneous frequency estimation techniques for heart rate variability analysis.
ISSPA
(2012)
Shiying Dong
,
Fangfei Xu
,
Barbara Lingwood
,
Mostefa Mesbah
,
Boualem Boashash
R-wave detection: A comparative analysis of four methods using newborn piglet ECG.
ISSPA
(2010)