- [TNNLS25] Yanbing Mao, Yuliang Gu, Lui Sha, Huajie
Shao, Qixin Wang, Tarek Abdelzaher, “Phy-Taylor: Partially
Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing,”
in IEEE Transactions on Neural Networks and Learning
Systems (TNNLS), 36(1):447-461, Jan, 2025.
- [TCPS23] Xueli Fan, Qixin Wang, Jie Liu, “A Reliable Wireless
Protocol for Highway and Metered-Ramp CAV Collaborative Merging with
Constant-Time-Headway Safety Guarantee,” in ACM Transactions on
Cyber-Physical Systems, 7(4):Article23, October, 2023. (Digital Object
Identifier (DOI): 10.1145/3609227)
Key Figure:
This paper proposes
a novel methodology to design and analyse collaborative driving protocols for
smart vehicles (CAVs in particular), so that rigorous safety rules (e.g.
Constant Time Headway) can be guaranteed, even under arbitrary wireless
communication failures.
- [TSE23] Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang,
Qixin Wang, Carlo Alberto Furia, “Program Repair with Repeated
Learning,” in IEEE Transactions on Software Engineering (TSE),
49(2):831-848, Feb 1, 2023.
- [TCAD20] Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng
Xing, and Xuandong Li, “Scenario-Based Online Reachability Validation for
CPS Fault Prediction,” in IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, 39(10):2081-2094, October, 2020.
- [TCPS19] Feng Tan, Liansheng Liu, Stefan Winter,
Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng,
“Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control
CPS,” in ACM Transactions on Cyber-Physical Systems, vol. 3, no. 1,
article 2, 25 pages, January, 2019. (Click here for the
original ACM publication. Digital Object Identifier (DOI): 10.1145/3226029)
Key Figures:
This paper is among the first to discuss the
evaluation of cross domain noise in control CPS, where closed form modeling of
noise propagation in the complex discrete cyber subsystem is infeasible.
- [TECS17] Zhaoyan Shen, Zhijian He, Shuai Li, Qixin
Wang, Zili Shao, “A Multi-Quadcopter Cooperative Cyber-Physical System
for Timely Air Pollution Localization,” in ACM Transactions on Embedded
Computing Systems, 16(3):70:1-70:23, April, 2017.
- [TCAD16] Muhammad Umer Khan, Shuai Li, Qixin Wang,
Zili Shao, “CPS Oriented Control Design for Networked Surveillance Robots
with Multiple Physical Constraints,” in IEEE Transactions on CAD of
Integrated Circuits and Systems, 35(5):778-791, May, 2016.
- [TMC16] Guanbo Zheng, Cunqing Hua, Rong Zheng, Qixin
Wang, “Toward Robust Relay Placement in 60GHz mmWave Wireless Personal
Area Networks with Directional Antenna,” in IEEE Transactions on Mobile
Computing, 15(3):762-773, Mar., 2016. (© © 2015 IEEE. Personal use of
this material is permitted. Permission from IEEE must be obtained for all
other uses, in any current or future media, including reprinting/republishing
this material for advertising or promotional purposes, creating new collective
works, for resale or redistribution to servers or lists, or reuse of any
copyrighted component of this work in other works. Click here for the
original IEEE publication. Digital Object Identifier (DOI):
10.1109/TMC.2015.2425409)
- [JIRS16] Muhammad Umer Khan, Shuai Li, Qixin Wang,
Zili Shao, “Formation Control and Tracking for Co-operative Robots with
Non-holonomic Constraints,” in Journal of Intelligent & Robotic
Systems, 82(1):163-174, Feb, 2016.
- [TPDS15] Feng Tan, Yufei Wang, Qixin Wang, Lei Bu,
Neeraj Suri, “A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding
of Wireless CPS Interlocking,” in IEEE Transactions on Parallel and
Distributed Systems, 26(10):2630-2642, Oct, 2015. (Keywords: cyber-physical
systems, interlock, mutual exclusion, synchronization, nesting) (Supplementary
File) (Slides) (Presentation
Video)(Presentation Video,
access for China mainland) (© © 2014 IEEE. Personal use of this
material is permitted. Permission from IEEE must be obtained for all other
uses, in any current or future media, including reprinting/republishing this
material for advertising or promotional purposes, creating new collective
works, for resale or redistribution to servers or lists, or reuse of any
copyrighted component of this work in other works. Click here for
the original IEEE publication. Digital Object Identifier (DOI):
10.1109/TPDS.2014.2358224)
Key Figure:
This paper aims to
address the CPS mutual exclusion problem.
(Photos by courtesy
of the South China Morning Post) The Hong Kong MTR train crash on March 18,
2019 incurred one injury (fortunately the accident happened during a test run),
an estimated HKD30 to 50 million repair cost, an estimated HKD25 million fine,
and caused a busiest subway segment (between Central and Admiralty) in Hong
Kong to halt for two days. The accident is reportedly caused by a software
error on CPS mutual exclusion.
- [COMP15] Kyungtae Kang, Qixin Wang, Junbeom Hur,
Kyung-Joon Park, and Lui Sha, “Medical-Grade Quality of Service for
Real-Time Mobile Healthcare,” in IEEE Computer, 48(2):41-49, 2015.
- [TMC14] Yufei Wang, Qixin Wang, Guanbo Zheng, Zheng
Zeng, Rong Zheng, Qian Zhang, “WiCop: Engineering
WiFi Temporal White-Spaces for Safe Operations of Wireless Personal Area
Networks in Medical Applications,” in IEEE Transactions on Mobile
Computing, 13(5), May, 2014. pp. 1145-1158. (© © 2014 IEEE. Personal
use of this material is permitted. Permission from IEEE must be obtained for
all other uses, in any current or future media, including
reprinting/republishing this material for advertising or promotional purposes,
creating new collective works, for resale or redistribution to servers or
lists, or reuse of any copyrighted component of this work in other works.
Click here for
the original IEEE publication. Digital Object Identifier (DOI):
10.1109/TMC.2013.31 )
- [COMNET14] Yufei Wang, Rong Zheng, Qixin Wang,
“Self-tuned distributed monitoring of multi-channel wireless networks
using Gibbs sampler,” in Computer Networks, Elsevier, v64, May 8, 2014.
pp. 261-272. (DOI: 10.1016/j.comnet.2014.02.014)
- [TPDS14] Tao Li, Feng Tan, Qixin Wang, Lei Bu,
Jian-Nong Cao, Xue Liu, “From Offline toward Real
Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical
Device Plug-and-Play Collaborations,” in IEEE Transactions on
Parallel and Distributed Systems, 25(3), March, 2014. pp. 642-652. (©
© 2014 IEEE. Personal use of this material is permitted. Permission from
IEEE must be obtained for all other uses, in any current or future media,
including reprinting/republishing this material for advertising or promotional
purposes, creating new collective works, for resale or redistribution to
servers or lists, or reuse of any copyrighted component of this work in other
works. Click here for the original IEEE publication. Digital Object
Identifier (DOI): 10.1109/TPDS.2013.50 )
Key Figure:
Though hard to model
human (vital signs) offline, we can use linear models to approximate human
(vital sign) behaviors online (i.e. as periodical real-time modeling tasks). By
applying model checking online, we turn it into a real-time CPS fault
prediction tool.
- [CCCF13] Qixin Wang, “CPS Application Case Studies / CPS Yán Jiū Àn
Lì Fēn Xī,” (invited paper) in Communications of the CCF /
Zhōng Guó Jì Suàn Jī Xié Huì Tōng
Xùn, v9, n7, July, 2013. pp. 28-34. Language: Chinese.
- [RTS13] Kyungtae Kang, Kyung-Joon Park, Lui Sha, Qixin
Wang, “Design of a Crossbar VOQ Real-Time Switch with Clock-Driven
Scheduling for a Guaranteed Delay Bound,” in Real-Time Systems, Springer,
49(1): 117-135, Jan., 2013. (DOI: 10.1007/s11241-012-9169-6)
- [IJEHMC11] Yufei Wang, Qixin Wang, “Evaluating the IEEE 802.15.6 2.4GHz WBAN
Proposal on Medical Multi-Parameter Monitoring under WiFi/Bluetooth
Interference,” in International Journal of E-Health and Medical
Communications, vol. 2, no. 3, pp. 48-62, July-September, 2011. (Slides)
- [TII10] Qixin Wang, Sathish Gopalakrishnan, “Adapting a Main-Stream Internet Switch Architecture for
Multihop Real-Time Industrial Networks,” in IEEE Transactions on
Industrial Informatics, v6, n3, pp. 393-404, 2010. (Demo 1/3, Demo 2/3, Demo 3/3) (access for
China mainland: Demo 1/3, Demo
2/3, Demo 3/3) (©
© 2010 IEEE. Personal use of this material is permitted. Permission from
IEEE must be obtained for all other uses, in any current or future media,
including reprinting/republishing this material for advertising or promotional
purposes, creating new collective works, for resale or redistribution to
servers or lists, or reuse of any copyrighted component of this work in other
works. Click here for the original IEEE publication. Digital Object
Identifier (DOI): 10.1109/TII.2010.2051557 )
- [TII08] Xue Liu, Qixin Wang, Sathish Gopalakrishnan,
Wenbo He, Lui Sha, Hui Ding, and Kihwal Lee, “ORTEGA: An Efficient and
Flexible Online Fault Tolerance Architecture for Real-Time Control
Systems,” in IEEE Transactions on Industrial Informatics, vol. 4, no. 4,
pp. 213-224, Nov., 2008. IEEE Transactions on
Industrial Informatics 2008 Best Paper Award. (Slides)(Demo)
Key Figure:
By exploiting Lyapunov
stability theories, we propose a software architecture for fault tolerant
control CPS.
- [TMC08] Qixin Wang, Rong Zheng, Ajay Tirumala, Xue
Liu, and Lui Sha, “Lightning: A Hard Real-Time,
Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic
Event Localization,” in IEEE Transactions on Mobile Computing, volume
7, issue 5, pp. 570-584, May, 2008. Selected as the Featured Article of TMC
2008 May Issue. (Slides) (Simplified Slides) (Demo 1/2, Demo 2/2) (Source Code, note under some Windows systems, IE may
erroneously rename the file into tinyos-1.x.tar, please save the file as
tinyos-1.x.tgz) (© © 2008 IEEE. Personal use of this material is
permitted. Permission from IEEE must be obtained for all other uses, in any
current or future media, including reprinting/republishing this material for
advertising or promotional purposes, creating new collective works, for resale
or redistribution to servers or lists, or reuse of any copyrighted component of
this work in other works. Click here for the original IEEE publication. Digital Object
Identifier (DOI): 10.1109/TMC.2007.70752 )
- [TMC07] Qixin Wang, Xue Liu, Weiqun Chen, Lui Sha, and
Marco Caccamo, “Building Robust Wireless LAN for
Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm,”
in IEEE Transactions on Mobile Computing, volume 6, issue 6, pp. 706-719, June,
2007. (Slides) (A Note on Abuse of
Terms: During the writing of the paper, we used the term "IEEE 802.15.4a/b/c"
to refer to different PHY schemes of IEEE 802.15.4 for ease of narration. We
were unaware at that time that IEEE 802.15.4 task groups are now using the term
"IEEE 802.15.4a/b/c" for other purposes. Fortunately, the correct meanings of
"IEEE 802.15.4a/b/c" for our paper are explicitly defined in Table 3. -- Qixin
Wang 8/21/2007) (© © 2007 IEEE. Personal use of this material is
permitted. Permission from IEEE must be obtained for all other uses, in any
current or future media, including reprinting/republishing this material for
advertising or promotional purposes, creating new collective works, for resale
or redistribution to servers or lists, or reuse of any copyrighted component of
this work in other works. Click here for the original IEEE publication. Digital Object
Identifier (DOI): 10.1109/TMC.2007.1018 )
Key Figure:
DSSS CDMA boosts
wireless LAN jamming margin (a robustness / reliability metric) by 10 to 30 dB.
CDMA is preferred to TDMA, as a CDMA connection only needs to carry out
acquisition once, while TDMA needs to carry out acquisition for every time
slot. To survive jamming, TDMA will exhaust all its time resource for
acquisition.
- [TOSN06] Xue Liu, Qixin Wang, Wenbo He, Marco
Caccamo, and Lui Sha, “Optimal Real-Time Sampling
Rate Assignment for Wireless Sensor Networks,” in ACM Transactions on
Sensor Networks, volume 2, issue 2, pp. 263-295, May, 2006.
