Supplementary Files and Technical Reports
- Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, and Neeraj Suri, "A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking (Supplementary File)," 2014.
- Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng, "A Framework on Profiling Data Noises in Control CPS Reference Point Computation (Technical Report Appendices)," May 15, 2013.
- Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri, "Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach (Technical Report: Supplementary Materials)," April 2, 2013.
- 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 (Appendices)," 2012.
- Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jian-nong Cao, and Xue Liu, "From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play (Technical Report Appendices)," 2012.
- Qixin Wang, "Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time Switches (Technical Report)," 2012.
- Tao Li, Qixin Wang, Feng Tan, Lei Bu, Jian-nong Cao, and Xue Liu, "From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for MDPnP (Technical Report Appendices)," 2011.
- Tao Li, Jiannong Cao, Qixin Wang, Shao-jie Tang, Lei Yang, Chao Ma, "Fault-Tolerant and Distributed Control in Medical Cyber-Physical Systems," 2012.
- Qixin Wang, Medical CPS Example (PDF).