F037544-Cyber-Physical Systems

Spring 2016

 

Course Description and Learning Outcomes

 

Description: The contents of this course from the CPS perspective are modeling, design and analysis. The first part describes dynamic modeling, discrete modeling, hybrid modeling and the concurrent combination with concurrent computing model of state machine. The second part includes CPU, memory structure, input / output, multi-tasking and real-time scheduling algorithm design. The third part describes the sequential logic equivalence and refinement, reachability analysis methods, etc. The fourth part discusses the related topics in the research of CPS, to enable students to understand and master the modeling, design and analysis theory and method for CPS.

 

Primary learning goals: To get a clear understanding of the major principles/algorithms that underlie cyber-physical system and how they interplay within it.

 

Secondary learning goals: After taking this course, you should be able to: (i) identify the core functions of cyber-physical systems and how they are architected to support these functions, (ii) explain the algorithms and principles on which the core functions are built on, (iii) explain the major performance issues with regard to each function, and (iv) discuss the cyber-physical system features required for a particular target applications.

 

Course Materials

 

Textbook

 

Required textbook:   Textbook: Introduction to Embedded Systems, by E. A. Lee and S. A. Seshia, 2011-2012. The book is available in three forms: Free PDF download, low-cost paperback, and low-cost hardback.

 

 

Reading List

 

 

Topic 1: Modeling and Distributed CPS

1.       John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems, Proceedings of the IEEE (special issue on CPS), 100(1):45-59, January 2012.

2.       Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. Modeling Cyber-Physical Systems, Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.

3.       Merlin: Application- and Platform-aware Resource Allocation in Consolidated Server Systems. SoCC 2014: 1-14.

4.       Haishan ZhuMattan Erez: Dirigent: Enforcing QoS for Latency-Critical Tasks on Shared Multicore Systems. ASPLOS 2016 :33-47

5.       OPEN Topic: Survey on Modeling and Distributed CPS: This is not a paper, and please give a presentation on this topic.

 

Topic 2: Networked Systems

6.       Ankit Singla, Philip Brighten Godfrey, Alexandra Kolla: High Throughput Data Center Topology Design. NSDI 2014: 29-41.

7.       Chang Liu, Jiaxing Zhang, Hucheng Zhou, Sean McDirmid, Zhenyu Guo, Thomas Moscibroda: Automating Distributed Partial Aggregation. SoCC 2014: 1-12.

8.       Shakeel Butt, Vinod Ganapathy, Abhinav Srivastava: On the Control Plane of a Self-service Cloud Platform. SoCC 2014:1-13.

9.       Christina DelimitrouChristos Kozyrakis:HCloud: Resource-Efficient Provisioning in Shared Cloud Systems. ASPLOS 2016 :473-488

10.    Stefano Vissicchio, Olivier Tilmans, Laurent Vanbever, Jennifer Rexford: Central Control Over Distributed Routing. SIGCOMM 2015: 43-56

11.    Xiaoqi Ren, Ganesh Ananthanarayanan, Adam Wierman, Minlan Yu: Hopper: Decentralized Speculation-aware Cluster Scheduling at Scale. SIGCOMM 2015:379-392

12.    Matthew K. Mukerjee, David Naylor, Junchen Jiang, Dongsu Han, Srinivasan Seshan, Hui Zhang: Practical, Real-time Centralized Control for CDN-based Live Video Delivery. SIGCOMM 2015: 311-324

13.    Virajith Jalaparti, Peter Bodík, Ishai Menache, Sriram Rao, Konstantin Makarychev, Matthew Caesar: Network-Aware Scheduling for Data-Parallel Jobs: Plan When You Can. SIGCOMM 2015: 407-420

14.    Yibo Zhu, Nanxi Kang, Jiaxin Cao, Albert G. Greenberg, Guohan Lu, Ratul Mahajan, David A. Maltz, Lihua Yuan, Ming Zhang, Ben Y. Zhao, Haitao Zheng: Packet-Level Telemetry in Large Datacenter Networks. SIGCOMM 2015: 479-491

15.    OPEN Topic: Survey on Networking in CPS: This is not a paper, and please give a presentation on this topic.

 

Topic 3: Power Management

16.    Sungkap Yeo, Mohammad M. Hossain, Jen-Cheng Huang, Hsien-Hsin S. Lee: ATAC: Ambient Temperature-Aware Capping for Power Efficient Datacenters. SoCC 2015: 1-14 Huazhe Zhang, Henry Hoffmann:

17.    Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques. ASPLOS 2016 :545-559

18.    Alexei Colin, Graham Harvey, Brandon Lucia, Alanson P. Sample: An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems. ASPLOS 2016 :577-589

19.    Yang Li, Di Wang, Saugata Ghose, Jie Liu, Sriram Govindan, Sean James, Eric Peterson, John Siegler, Rachata Ausavarungnirun, Onur Mutlu: SizeCap: Efficiently handling power surges in fuel cell powered data centers. HPCA 2016: 444-456

20.    Xiaomeng Chen, Ning Ding, Abhilash Jindal, Y. Charlie Hu, Maruti Gupta, Rath Vannithamby: Smartphone Energy Drain in the Wild: Analysis and Implications. SIGMETRICS 2015: 151-164

21.    OPEN Topic: Survey on Power Management: This is not a paper, and please give a presentation on this topic.

 

Topic 4: Big Data in CPS

22.    OPEN Topic: Survey on Big Data in CPS: This is not a paper, and please give a presentation on this topic.

 

 

Topic 4: CPS Applications

23.    Hoang Hai Nguyen, Rui Tan, David K. Y. Yau: Safety-assured collaborative load management in smart grids. 151-162. ICCPS 2014: 31-40

24.    Mohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri: A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. ICCPS 2014:  175-186

 

Please click here to choose the papers (3 or more)