F037544-Cyber-Physical Systems

Spring 2017

 

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.       Jianguo Yao, Xin Xu, Xue Liu: MixCPS: Mixed Time/Event-Triggered Architecture of Cyber-Physical Systems. Proceedings of the IEEE 104(5): 923-937 (2016)

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.       Naveen Kr. Sharma, Antoine Kaufmann, Thomas E. Anderson, Arvind Krishnamurthy, Jacob Nelson, Simon Peter:Evaluating the Power of Flexible Packet Processing for Network Resource Allocation. 67-82, NSDI, 2017.

7.       Jonathan Perry, Hari Balakrishnan, Devavrat Shah: Flowtune: Flowlet Control for Datacenter Networks. 421-43, NSDI, 2017.

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

9.       Daniel Firestone: VFP: A Virtual Switch Platform for Host SDN in the Public Cloud. 315-328, NSDI, 2017.

10.    Yiyang Chang, Sanjay G. Rao, Mohit Tawarmalani: Robust Validation of Network Designs under Uncertain Demands and Failures. 347-362, NSDI, 2017.

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

 

Topic 3: Power Management

12.    Huazhe Zhang, Henry Hoffmann: Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques. ASPLOS 2016 :545-559

13.    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

14.    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

15.    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

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

 

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