Recent Changes - Search:

HomePage

Menu

Site Map

Fall 2011

Lectures.Fall2011 History

Hide minor edits - Show changes to markup

April 05, 2012, at 07:24 PM EST by 121.181.93.122 -
Changed line 10 from:

Prof. Kyung-Joon Park\\

to:

Kyung-Joon Park\\

Changed line 29 from:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\
to:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\\
Changed line 29 from:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\\
to:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\
Added line 58:
Deleted lines 60-61:
Changed line 23 from:

Announcement:\\

to:

Announcement:

Changed lines 30-31 from:

Lectures:

to:

Lectures:

Changed line 23 from:

Announcement:

to:

Announcement:\\

Changed line 29 from:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\
to:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\\
Changed line 30 from:

'Lectures:

to:

Lectures:

Changed line 29 from:
  • The final exam is scheduled at 1:00 pm on Dec. 15.
to:
  • The final exam is scheduled at 1:00 pm on Dec. 15. \\
Added lines 1-4:
Changed lines 10-11 from:
  • Introduction to Embedded Systems: A Cyber-Physical Systems Approach, E. A. Lee and S. A. Seshia, LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  • Feedback Systems: An Introduction for Scientists and Engineers, K. J. Åström and R. M. Murray, Princeton University Press, 2008.\\\
to:
  • Introduction to Embedded Systems: A Cyber-Physical Systems Approach, E. A. Lee and S. A. Seshia, LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  • Feedback Systems: An Introduction for Scientists and Engineers, K. J. Åström and R. M. Murray, Princeton University Press, 2008.\\\
Changed lines 10-12 from:
  • Introduction to Embedded Systems: A Cyber-Physical Systems Approach, E. A. Lee and S. A. Seshia, LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  • Feedback Systems: An Introduction for Scientists and Engineers, K. J. Åström and R. M. Murray, Princeton University Press, 2008.

to:
  • Introduction to Embedded Systems: A Cyber-Physical Systems Approach, E. A. Lee and S. A. Seshia, LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  • Feedback Systems: An Introduction for Scientists and Engineers, K. J. Åström and R. M. Murray, Princeton University Press, 2008.

Changed lines 19-52 from:

Announcement:
Assignment 1: Problem 1.4 in Feedback Systems (due: Sep. 29)
Assignment 2: Plot Fig. 2.7 in Feedback Systems by using Matlab (due: Sep. 29)
Assignment 3: Problems 2.2 and 2.3 in Feedback Systems (due: Oct. 4)
Assignment 4: Read Chapters 2 and 3, and solve Problems 2.6 and 3.4 in Introduction to Embedded Systems (due: Oct. 20)
The midtem exam is scheduled at 1:00 pm on Oct. 27.
The final exam is scheduled at 1:00 pm on Dec. 15.

Lectures:
[Sep. 1] Introduction to cyber-physical systems
[Sep. 6, 8] Introduction to feedback and control
[Sep. 9] System modeling (3-hour makeup class)
[Sep. 13] No class (Chuseok!)
[Sep. 15] Examples
[Sep. 20, 22, 27] No class (MobiCom 2011)
[Sep. 29] Examples
[Oct. 4, 6] Discrete dynamics, review of Fourier & Laplace transform
[Oct. 11, 13] Review of Fourier & Laplace transform
[Oct. 18, 20] Hybrid systems
[Oct. 25] Review of assignments
[Oct. 27] Midterm
[Nov. 1, 3] Review of midterm, overview of real-time systems
[Nov. 8] No class (graduate school interview)
[Nov. 10] Overview of real-time systems
[Nov. 15] No class (reserved forces military training)
[Nov. 17] No class (IDW 2011)
[Nov. 21] Rate monotoic scheduling (presenter: 윤종완, 3-hour makeup class)
[Nov. 22] Deadline monotonic scheduling (presenter: 손성화)
[Nov. 25] Earliest deadline first (EDF) scheduling (presenter: 나호경)
[Nov. 29] Least slack first (LSF) scheduling (presenter: 박호민), priority inversion & priority inheritance protocol (presenter: 윤희정)
[Dec. 1] Priority ceiling protocol (presenter: 김진욱)
[Dec. 6] Aperiodic scheduling (presenter: 윤솔)
[Dec. 8] Aperiodic scheduling cont'd (presenter: 윤솔)
[Dec. 13] Rate monotonic scheduling algorithm: Exact characterization and average case behavior (presenter: 신상식)
[Dec. 15] Final\\\

to:

Announcement:

  • Assignment 1: Problem 1.4 in Feedback Systems (due: Sep. 29)
  • Assignment 2: Plot Fig. 2.7 in Feedback Systems by using Matlab (due: Sep. 29)
  • Assignment 3: Problems 2.2 and 2.3 in Feedback Systems (due: Oct. 4)
  • Assignment 4: Read Chapters 2 and 3, and solve Problems 2.6 and 3.4 in Introduction to Embedded Systems (due: Oct. 20)
  • The midtem exam is scheduled at 1:00 pm on Oct. 27.
  • The final exam is scheduled at 1:00 pm on Dec. 15.

'Lectures:

  • [Sep. 1] Introduction to cyber-physical systems
  • [Sep. 6, 8] Introduction to feedback and control
  • [Sep. 9] System modeling (3-hour makeup class)
  • [Sep. 13] No class (Chuseok!)
  • [Sep. 15] Examples
  • [Sep. 20, 22, 27] No class (MobiCom 2011)
  • [Sep. 29] Examples
  • [Oct. 4, 6] Discrete dynamics, review of Fourier & Laplace transform
  • [Oct. 11, 13] Review of Fourier & Laplace transform
  • [Oct. 18, 20] Hybrid systems
  • [Oct. 25] Review of assignments
  • [Oct. 27] Midterm
  • [Nov. 1, 3] Review of midterm, overview of real-time systems
  • [Nov. 8] No class (graduate school interview)
  • [Nov. 10] Overview of real-time systems
  • [Nov. 15] No class (reserved forces military training)
  • [Nov. 17] No class (IDW 2011)
  • [Nov. 21] Rate monotoic scheduling (presenter: 윤종완, 3-hour makeup class)
  • [Nov. 22] Deadline monotonic scheduling (presenter: 손성화)
  • [Nov. 25] Earliest deadline first (EDF) scheduling (presenter: 나호경)
  • [Nov. 29] Least slack first (LSF) scheduling (presenter: 박호민), priority inversion & priority inheritance protocol (presenter: 윤희정)
  • [Dec. 1] Priority ceiling protocol (presenter: 김진욱)
  • [Dec. 6] Aperiodic scheduling (presenter: 윤솔)
  • [Dec. 8] Aperiodic scheduling cont'd (presenter: 윤솔)
  • [Dec. 13] Rate monotonic scheduling algorithm: Exact characterization and average case behavior (presenter: 신상식)
  • [Dec. 15] Final
Changed lines 54-70 from:

Real-time Systems

Rate monotonic scheduling
C. L. Liu and J.W. Layland, “Scheduling algorithms for multiprogramming in a hard real-time environment”, Journal of the ACM, 1973
J. Lehoczky et al, “The Rate Monotonic Scheduling Algorithm: Exact Characterization And Average Case Behavior”, In Proceedings of the IEEE Real-Time Systems Symposium, 1989
Deadline monotonic scheduling
N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Welling, “Hard Real-Time Scheduling: The Deadline Monotonic Approach”, In the Proceedings of IEEE Workshop on Real-Time Operating Systems, 1992
Earliest deadline first / least slack first scheduling
C. L. Liu and J. W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment”, Journal of the ACM, 1973
S. K. Baruah, L.E.Rosier, and R.R. Howell, “Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor”, Journal of Real-time Systems, 1990
K. Jeffay and D.L. Stone, “Accounting for interrupt handling costs in dynamic priority task systems”, RTSS, 1993
Priority ceiling protocol
L. Sha et. al., “Priority Inheritance Protocols : An Approach to Real-Time Synchronization”, IEEE Transactions on Computers, 39(9), 1990
Aperiodic task scheduling
J. K. Strosnider, J. P. Lehoczky and L. Sha: “The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments”, IEEE Transactions on Computers, Vol. 44, No. 1, pp. 73-91, January 1995.
B. Sprunt, L. Sha, and J. Lehoczky: “Aperiodic Task Scheduling for Hard Real-Time System”, Journal of Real-Time Systems, pp. 27-60, June 1989

to:

Real-time Systems

  • Rate monotonic scheduling
    • C. L. Liu and J.W. Layland, “Scheduling algorithms for multiprogramming in a hard real-time environment”, Journal of the ACM, 1973
    • J. Lehoczky et al, “The Rate Monotonic Scheduling Algorithm: Exact Characterization And Average Case Behavior”, In Proceedings of the IEEE Real-Time Systems Symposium, 1989
  • Deadline monotonic scheduling
    • N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Welling, “Hard Real-Time Scheduling: The Deadline Monotonic Approach”, In the Proceedings of IEEE Workshop on Real-Time Operating Systems, 1992
  • Earliest deadline first / least slack first scheduling
    • C. L. Liu and J. W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment”, Journal of the ACM, 1973
    • S. K. Baruah, L.E.Rosier, and R.R. Howell, “Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor”, Journal of Real-time Systems, 1990
    • K. Jeffay and D.L. Stone, “Accounting for interrupt handling costs in dynamic priority task systems”, RTSS, 1993
  • Priority ceiling protocol
    • L. Sha et. al., “Priority Inheritance Protocols : An Approach to Real-Time Synchronization”, IEEE Transactions on Computers, 39(9), 1990
  • Aperiodic task scheduling
    • J. K. Strosnider, J. P. Lehoczky and L. Sha: “The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments”, IEEE Transactions on Computers, Vol. 44, No. 1, pp. 73-91, January 1995.
    • B. Sprunt, L. Sha, and J. Lehoczky: “Aperiodic Task Scheduling for Hard Real-Time System”, Journal of Real-Time Systems, pp. 27-60, June 1989
Added lines 1-71:

IC617: Cyber Physical Systems (Fall 2011)


Instructor:
Prof. Kyung-Joon Park
Office hours: By appointment, 3-309 DGIST

Textbooks:

  • Introduction to Embedded Systems: A Cyber-Physical Systems Approach, E. A. Lee and S. A. Seshia, LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
  • Feedback Systems: An Introduction for Scientists and Engineers, K. J. Åström and R. M. Murray, Princeton University Press, 2008.

Course Description:
A cyber-physical system (CPS) is a system featuring a tight combination of, and coordination between, the system’s computational and physical elements. Various cyber physical systems (CPS) has been being developed and used such as automobiles, smart grid systems, embedded systems, and robotic systems. The CPS is mainly composed of the physical processing component and the computing devices, and the two components are connected to each other through wired and wireless communication networks. This lecture focuses on three key components of physical system model, real-time computing and scheduling, and communication and networking for CPSs.

Grading policies:
Exam 60%, Paper Presentation 20%, Homework & Project 20%

Announcement:
Assignment 1: Problem 1.4 in Feedback Systems (due: Sep. 29)
Assignment 2: Plot Fig. 2.7 in Feedback Systems by using Matlab (due: Sep. 29)
Assignment 3: Problems 2.2 and 2.3 in Feedback Systems (due: Oct. 4)
Assignment 4: Read Chapters 2 and 3, and solve Problems 2.6 and 3.4 in Introduction to Embedded Systems (due: Oct. 20)
The midtem exam is scheduled at 1:00 pm on Oct. 27.
The final exam is scheduled at 1:00 pm on Dec. 15.

Lectures:
[Sep. 1] Introduction to cyber-physical systems
[Sep. 6, 8] Introduction to feedback and control
[Sep. 9] System modeling (3-hour makeup class)
[Sep. 13] No class (Chuseok!)
[Sep. 15] Examples
[Sep. 20, 22, 27] No class (MobiCom 2011)
[Sep. 29] Examples
[Oct. 4, 6] Discrete dynamics, review of Fourier & Laplace transform
[Oct. 11, 13] Review of Fourier & Laplace transform
[Oct. 18, 20] Hybrid systems
[Oct. 25] Review of assignments
[Oct. 27] Midterm
[Nov. 1, 3] Review of midterm, overview of real-time systems
[Nov. 8] No class (graduate school interview)
[Nov. 10] Overview of real-time systems
[Nov. 15] No class (reserved forces military training)
[Nov. 17] No class (IDW 2011)
[Nov. 21] Rate monotoic scheduling (presenter: 윤종완, 3-hour makeup class)
[Nov. 22] Deadline monotonic scheduling (presenter: 손성화)
[Nov. 25] Earliest deadline first (EDF) scheduling (presenter: 나호경)
[Nov. 29] Least slack first (LSF) scheduling (presenter: 박호민), priority inversion & priority inheritance protocol (presenter: 윤희정)
[Dec. 1] Priority ceiling protocol (presenter: 김진욱)
[Dec. 6] Aperiodic scheduling (presenter: 윤솔)
[Dec. 8] Aperiodic scheduling cont'd (presenter: 윤솔)
[Dec. 13] Rate monotonic scheduling algorithm: Exact characterization and average case behavior (presenter: 신상식)
[Dec. 15] Final

Reading List:
Real-time Systems

Rate monotonic scheduling
C. L. Liu and J.W. Layland, “Scheduling algorithms for multiprogramming in a hard real-time environment”, Journal of the ACM, 1973
J. Lehoczky et al, “The Rate Monotonic Scheduling Algorithm: Exact Characterization And Average Case Behavior”, In Proceedings of the IEEE Real-Time Systems Symposium, 1989
Deadline monotonic scheduling
N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Welling, “Hard Real-Time Scheduling: The Deadline Monotonic Approach”, In the Proceedings of IEEE Workshop on Real-Time Operating Systems, 1992
Earliest deadline first / least slack first scheduling
C. L. Liu and J. W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment”, Journal of the ACM, 1973
S. K. Baruah, L.E.Rosier, and R.R. Howell, “Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor”, Journal of Real-time Systems, 1990
K. Jeffay and D.L. Stone, “Accounting for interrupt handling costs in dynamic priority task systems”, RTSS, 1993
Priority ceiling protocol
L. Sha et. al., “Priority Inheritance Protocols : An Approach to Real-Time Synchronization”, IEEE Transactions on Computers, 39(9), 1990
Aperiodic task scheduling
J. K. Strosnider, J. P. Lehoczky and L. Sha: “The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments”, IEEE Transactions on Computers, Vol. 44, No. 1, pp. 73-91, January 1995.
B. Sprunt, L. Sha, and J. Lehoczky: “Aperiodic Task Scheduling for Hard Real-Time System”, Journal of Real-Time Systems, pp. 27-60, June 1989

History - Print - Recent Changes - Search
Page last modified on September 10, 2012, at 12:29 AM EST