- [TNNLS23] Yanbing Mao, Yuliang Gu, Lui Sha, Huajie
Shao, Qixin Wang, Tarek Abdelzaher, “Phy-Taylor: Partially
Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing,”
(accepted for publication) in IEEE Transactions on Neural Networks and Learning
Systems (TNNLS), 2023.
- [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.
