Qixin Wang

/chishin wong/

• Cyber-Physical Systems, particularly on CPS software engineering.
• Real-Time and Embedded Systems, particularly on real-time wireless and wired networks.

• Cyber-Physical Systems (CPS):
  
  [TSE22], [TCAD20], [ICCPSWiP20], [ICSE19], [DATE19], [TCPS19], [ICCPSWiP18], [TECS17], [TCAD16], [JIRS16], [MIS16], [MSN15], [ICCPSWiP15], [TPDS15], [COMP15], [ICCPSWiP14], [TPDS14], [CCCF13], [DSN13], [ICCPS12], [HCMDSS/MDPnP11], [ICCPSWiP11/SIGBEDRVW11], [MLCT09], [ECRTS08], [SUTC08], [TII08], [HCMDSS/MDPnP07a], [HCMDSS/MDPnP07b], [MOBICOM07], [ICSMC06]
• Wireless Communications/Networks (Real-Time, Reliability, Wireless Sensor Networks, Wireless Body Area Networks, Internet-of-Things):
  [TMC16], [RTSS15], [TPDS15], [COMP15], [ChinaCom15], [TMC14], [COMNET14], [USP12], [IJEHMC11], [RTSS11], [TMC08], [TMC07], [TOSN06], [RTSS05], [RTSS04], [RTSS03], [IPSN03]
• Wired Networks (Real-Time, Switches, QoS):
  [RTS13], [INFOCOM12], [RTSS12], [INFOCOM11], [TII10], [RTAS08], [RTSS07], [ICAS/ICNS05]
• Real-Time Scheduling Theories and Systems:
  [USP20], [RTSS15], [RTSS12], [RTSS07]

• Publications
• Talks
• Supplementary Files and Technical Reports

Editorials:

• [MIS16] Kyungtae Kang, Kyung-Joon Park, Qixin Wang, Wenyao Xu, "Advanced Technologies for Mobile IoT and Cyber-Physical Systems," in Mobile Information Systems, Hindawi, 7968707:1-3, August, 2016.

• [ChinaCom15] Wen Chen, Benoit Geller, Fengye Hu, Ting Jiang, Qixin Wang, "Guest Editorial: Wireless Body-Area Networks," in China Communications, Feb, 2015.

Journal Publications:

• [TSE22] Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo Alberto Furia, "Program Repair with Repeated Learning," (accepted for publication) in IEEE Transactions on Software Engineering.

• [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 Yan Jiu An Li Fen Xi," (invited paper) in Communications of the CCF/Zhong Guo Ji Suan Ji Xie Hui Tong Xun, 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.

Conference Publications:

• [ICSE19] Zhijian He, Yao Chen, Enyan Huang, Qixin Wang, Yu Pei, Haidong Yuan, "A System Identification Based Oracle for Control-CPS Software Fault Localization," in Proc. of the 41th International Conference on Software Engineering (ICSE), May 29-31, 2019, Montreal, Canada. (Slides) (© © 2019 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/ICSE.2019.00029)

  Key Figure:

  

  When the control-CPS software is highly complex (e.g. reaching millions of lines of code), hence hard to model, the corresponding oracle problem becomes hard. For example, in autopilot, how to tell which trajectories have encountered software fault?

• [DATE19] Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li, "Incremental Online Verification of Dynamic Cyber-Physical Systems," in Proc. of Design, Automation and Test in Europe (DATE), March 25-29, 2019, Florence, Italy.

• [MSN15] Zhijian He, Yanming Chen, Zhaoyan Shen, Enyan Huang, Shuai Li, Zili Shao, Qixin Wang, "Ard-mu-copter: A Simple Open Source Quadcopter Platform," in Proc. of the 11th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN), Dec. 16-18, 2015, Shenzhen, China. (Slides)(Demo 1/3, Demo 2/3, Demo 3/3)(access for China mainland: Demo 1/3, Demo 2/3, Demo 3/3)(Source Code and Documentations)

• [RTSS15] Aiping Tan, Qixin Wang, Nan Guan, Qingxu Deng, Xiaobo Sharon Hu, "Inter-Cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses," in Proc. of the 36th IEEE Real-Time Systems Symposium (RTSS'15), Dec. 1-4, 2015. pp.227-238. (Slides) (© © 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/RTSS.2015.29)

• [DSN13] Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, and Neeraj Suri, "Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach (with Corrigenda and Notes)," in Proc. of the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013. (Appendices) (Slides) (Presentation Video) (Presentation Video, access for China mainland) (Corrigenda and Notes) (© © 2013 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/DSN.2013.6575357)

• [RTSS12] Qixin Wang, Yufei Wang, Rong Zheng, Xue Liu, "Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time Switches," in Proc. of the 33rd IEEE Real-Time Systems Symposium (RTSS'12), Dec 5 - 7, 2012. pp.14-25. (Slides) (© © 2012 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/RTSS.2012.55 )

• [ICCPS12] Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jian-nong Cao, Xue Liu, "From Off-line toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (MDPnP)," in Proc. of ICCPS'12, April, 2012. pp.13-22. (Workshop Version Slides)(Workshop Version Presentation Video) (© © 2012 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/ICCPS.2012.10 )

• [INFOCOM12] Lei Rao, Qixin Wang, Xue Liu, Yufei Wang, "Analysis of TDMA Crossbar Real-Time Switch Design for AFDX Networks," in Proc. of IEEE INFOCOM'12, March, 2012. pp.2462-2470. (Slides) (© © 2012 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/INFCOM.2012.6195637 )

• [RTSS11] Yufei Wang, Qixin Wang, Zheng Zeng, Guanbo Zheng, and Rong Zheng, "WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications," in Proc. of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), Nov 29 - Dec 2, 2011. pp.170-179. (Slides)(Demo) (access for China mainland: Demo) (© © 2011 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/RTSS.2011.23 )

• [INFOCOM11] Lixiong Chen, Xue Liu, Qixin Wang, Yufei Wang, "A Real-Time Multicast Routing Scheme for Multi-Hop Switched Fieldbuses," in Proc. of the 30th IEEE International Conference on Computer Communications (IEEE INFOCOM 2011), April, 2011, Shanghai, China, pp.3209-3217. (Slides) (© © 2011 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/INFCOM.2011.5935170 )

• [ECRTS08] Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha, "ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems," in Proc. of the 20th Euromicro Conference on Real-Time Systems (ECRTS 2008), July 2-4, 2008. pp 125-134. (Demo)

• [RTAS08] Qixin Wang, Sathish Gopalakrishnan, Xue Liu, and Lui Sha, "A Switch Design for Real-Time Industrial Networks," in Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), 2008. pp. 367-376. (Slides) (© © 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/RTAS.2008.8 )

• [RTSS07] Qixin Wang, Xue Liu, Jennifer Hou, and Lui Sha, "GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications," in Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), pp. 379-388, Tucson, Arizona, Dec. 3-6, 2007. (Appendices)(Slides) (© © 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/RTSS.2007.8 )

• [ICSMC06] Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. Alshebli, Marco Caccamo, Carl A. Gunter, Elsa Gunter, Jennifer Hou, Karrie Karahalios, and Lui Sha, "I-Living: An Open System Architecture for Assisted Living," (invited paper) in Proc. of IEEE International Conference on Systems, Man, and Cybernetics (ICSMC'06), vol. 5, pp. 4268-4275, Oct. 8-11, 2006. (Slides) (© © 2006 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/ICSMC.2006.384805

• [RTSS05] Qixin Wang, Xue Liu, Weiqun Chen, Wenbo He, and Marco Caccamo, "Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm," in Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS 2005), pp. 3-14, Miami, Florida, Dec. 5-8, 2005. (Slides)(Poster)

• [ICAS/ICNS05] Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, and Lui Sha, "Timing Control for Web Server Systems Using Internal State Information," in Proc. of Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services (ICAS-ICNS 2005), Oct. 23-28, 2005. (© © 2005 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/ICAS-ICNS.2005.89 )

• [RTSS04] Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, and Lui Sha, "Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors," in Proc. of the 25th IEEE International Real-Time Systems Symposium (RTSS 2004), pp. 371-381, Lisbon, Portugal, Dec. 5-8, 2004. (Slides) (Simplified Slides) (Demo 1) (Demo 2)

• [RTSS03] Xue Liu, Qixin Wang, Lui Sha and Wenbo He, "Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks," in Proc. of the 24th IEEE International Real-Time Systems Symposium (RTSS 2003), pp. 308-319, Cancun, Mexico, Dec. 3-5, 2003. (© © 2003 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/REAL.2003.1253277 )

Workshop Publications:

• [ICCPSWiP20] Xueli Fan, Qixin Wang, Jie Liu, "Work-in-Progress Abstract: A Reliable Wireless Smart Vehicle Highway On-Ramp Merging Protocol with Constant Time Headway Safety Guarantee," in ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'20) Work-in-Progress Session, pp.184-185, Sydney, Australia, April, 2020.

• [ICCPSWiP18] Jiajun Shen, Xueli Fan, Qixin Wang, "Underwater AUV localization with refraction consideration: WiP Abstract," in ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'18) Work-in-Progress Session, pp.333-334, Porto, Portugal, April, 2018.

• [ICCPSWiP15] Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Zili Shao, Qixin Wang, "WiP Abstract: A quadcopter swarm for active monitoring of smog propagation," in ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'15) Work-in-Progress Session, Seattle, USA, April, 2015.

• [ICCPSWiP14] Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng, "WiP Abstract: A Framework on Profiling Cross-Domain Noise Propagation in Control CPS," in ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14) Work-in-Progress Session, Berlin, Germany, April, 2014. (Slides)(Poster)

• [ICCPSWiP11/SIGBEDRVW11] Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, and Xuandong Li, "Toward Online Hybrid Systems Model Checking of Cyber-Physical Systems Time-Bounded Short-Run Behavior," in ACM/IEEE 2nd International Conference on Cyber-Physical Systems (ICCPS'11) Work-in-Progress Session, Chicago, IL, April 12, 2011; corresponding proceedings are published in ACM SIGBED Review "Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber-Physical Systems", vol. 8, issue 2, June, 2011. (Slides)(Poster)(Presentation Video)

• [HCMDSS/MDPnP11] Tao Li, Qixin Wang, Feng Tan, Lei Bu, Jian-nong Cao, Xue Liu, Yufei Wang, and Rong Zheng, "From Offline Long-Run to Online Short-Run: Exploring a New Approach of Hybrid Systems Model Checking for MDPnP," in Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP'11), Chicago, IL, April 11, 2011. (Slides)(Presentation Video)

• [HCMDSS/MDPnP07a] Jennifer Hou, Qixin Wang, Linda Ball, Stanley Birge, Marco Caccamo, Chin-Fei Cheah, Eric Gilbert, Carl Gunter, Elsa Gunter, Chang-Gun Lee, Karrie Karahalios, Min-Young Nam, Narasimhan Nitya, Chaudhri Rohit, Lui Sha, Wook Shin, Yang Yu, and Zheng Zeng, "PAS: A Wireless-Enabled, Sensor-Integrated Personal Assistance System for Independent and Assisted Living," in Proc. of Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability (HCMDSS/MD PnP'07), Boston, MA, June 25-27, 2007. (Slides)(Presentation, in memory of Prof. Jennifer C. Hou)

• [HCMDSS/MDPnP07b] Mu Sun, Qixin Wang, and Lui Sha, "Building Reliable MD PnP Systems," in Proc. of Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability (HCMDSS/MD PnP'07), Boston, MA, June 25-27, 2007.

• [IPSN03] Qixin Wang, Wei-Peng Chen, Rong Zheng, Kihwal Lee, and Lui Sha, "Acoustic Target Tracking Using Tiny Wireless Sensor Devices," in Proc. of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN'03), Poster Session, Lecture Notes in Computer Science 2634, Palo Alto, CA, USA: Springer, pp. 642-657, Apr. 22-23, 2003.

Demos:

• [MOBICOM07] Zheng Zeng, Sammy Yu, Bedoor Alshebli, and Qixin Wang, "Personal Assist System: Use of Wireless Technologies Helping Elder People with Assisted Living," in ACM MobiCom Demo Session, Montreal, QC, Canada, 2007.

Keynotes:

• [SUTC08] Lui Sha, Sathish Gopalakrishnan, Xue Liu, Qixin Wang, "Cyber-Physical Systems: A New Frontier," in Proc. of IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), June 11-13, 2008. pp. 1-9.

Book Chapters:

• [MLCT09] Lui Sha, Sathish Gopalakrishnan, Xue Liu, and Qixin Wang, "Chapter 1, Cyber-Physical Systems: A New Frontier," in Machine Learning in Cyber Trust: Security, Privacy, and Reliability, Edited by Jeffrey J. P. Tsai and Philip S. Yu, Springer, 2009.

Patents:

• [USP20] Qixin Wang, Zhu Wang, "Client-Server Architecture for Multicore Computer System to Realize Single-Core-Equivalent View," US Patent Number: US10,642,657 B2, Date of Patent: May 5, 2020.

• [USP12] Qixin Wang, Serbulent Tozlu, "Method of Parallel Wireless Communication," US Patent Number: US8,270,288 B2, Date of Patent: Sep 18, 2012.

• Real-Time Switched Networks (PDF)
• Building Dependable Distributed Medical Device Plug-and-Play Environments (PDF)
• An Introduction to CPS (English) (PDF)
• ORTEGA ((PDF) PPT)
• Medical Device Plug-and-Play (MDPnP) (PDF, English) (PPT, English) (PDF, Chinese) (PPT, Chinese)(PDF, Chinese, Handout)
• CPS Talk (English) (PDF) (PPT) (PDF, Handout)
• CPS Talk (Chinese) (PDF) (PDF, Handout) (PDF, 5 minutes)
• CPS Tutorial Talk 1: Real-Time Communication Infrastructures
• Ph.D. Defense (also Job Talk) (PDF) (PPT)

• Qixin Wang, CS497 course report on PMRT WSN (now also named as CDMA Real-time Independent CHannel(RICH) RTWSN) design, Dec. 2002. (PDF)

• The Craft of Scientific Writing, by Michael Alley.
• How to Write and Publish a Scientific Paper, by Robert A. Day, Barbara Gastel.
• Style: Toward Clarity and Grace, by Joseph M. Williams.
• The Craft of Scientific Presentations: Critical Steps to Succeed and Critical Errors to Avoid, by Michael Alley.
• Style: Ten Lessons in Clarity and Grace, by Joseph M. Williams.
• Academic Writing for Graduate Students, by John M. Swales.