Course Syllabus

Jump to Today

Course Summary:

Date Details Due
Tue Jan 20, 2015 Calendar Event Lecture - CPS and Determinism 9:30am to 11am
Thu Jan 22, 2015 Calendar Event Lecture - Model-Based Design 9:30am to 11am
Tue Jan 27, 2015 Calendar Event Lecture - Introduction to Models of Computation 9:30am to 11am
Calendar Event Lab Session - Ptolemy II 1pm to 2pm
Wed Jan 28, 2015 Assignment Quo Vadis SLD? due by 2pm
Thu Jan 29, 2015 Calendar Event Lecture - Introduction to Ptolemy II 9:30am to 11am
Tue Feb 3, 2015 Calendar Event Lecture - Continuous-Time Modeling 9:30am to 11am
Assignment Homework 1 due by 11:59pm
Wed Feb 4, 2015 Assignment Past, Present, and Future of CPS due by 2pm
Thu Feb 5, 2015 Calendar Event Lecture - Acausal Models 9:30am to 11am
Tue Feb 10, 2015 Calendar Event Lecture - Models of Time for CPS 9:30am to 11am
Calendar Event Lab Session - Modelica 1pm to 2pm
Wed Feb 11, 2015 Calendar Event Reading Study Group 2pm to 3pm
Assignment Temporal Reasoning due by 2pm
Thu Feb 12, 2015 Calendar Event Lecture- Quantized-State Systems 9:30am to 11am
Tue Feb 17, 2015 Calendar Event Lecture: Synchronous-Reactive Systems 9:30am to 11am
Calendar Event Lab Session - Modelica Composition 1pm to 2pm
Assignment Homework 2 due by 11:59pm
Wed Feb 18, 2015 Assignment Simulating Collisions due by 4pm
Thu Feb 19, 2015 Calendar Event Lecture: Partially-Ordered Sets 9:30am to 11am
Assignment Project Proposal Due due by 11:59pm
Tue Feb 24, 2015 Calendar Event Lecture: Modelica in Practice (guest lecture, Michael Wetter) 9:30am to 11am
Calendar Event Lab Session: Using Modelica in Practice (Michael Wetter) 1pm to 2pm
Wed Feb 25, 2015 Assignment Distributed Real-Time Systems due by 4pm
Thu Feb 26, 2015 Calendar Event Lecture: Constructive Semantics 9:30am to 11am
Tue Mar 3, 2015 Calendar Event Lecture: Type Systems 9:30am to 11am
Calendar Event Type Inference and Units 1pm to 2pm
Assignment Homework 3 due by 11:59pm
Wed Mar 4, 2015 Assignment Interface Theories due by 4pm
Thu Mar 5, 2015 Calendar Event Lecture: Interfaces and Ontologies 9:30am to 11am
Tue Mar 10, 2015 Calendar Event Lecture: Discrete Behaviors 9:30am to 11am
Calendar Event Lab: Ontologies 1pm to 2pm
Assignment Homework 4 due by 11:59pm
Wed Mar 11, 2015 Calendar Event No Reading Group Meeting Today 4pm to 5pm
Thu Mar 12, 2015 Assignment Project Update Presentations (in Class) due by 9:30am
Tue Mar 17, 2015 Calendar Event Lecture - Contracts 9:30am to 11am
Calendar Event Lab: Metro II 1pm to 2pm
Wed Mar 18, 2015 Assignment Ontology-Driven Context due by 4pm
Thu Mar 19, 2015 Calendar Event Lecture: Behavioral Interfaces 9:30am to 11am
Assignment Homework 5 due by 11:59pm
Tue Mar 31, 2015 Calendar Event Lecture CANCELLED 9:30am to 11am
Calendar Event Lab: FSMs in Ptolemy II 1pm to 2pm
Wed Apr 1, 2015 Assignment Megamodeling due by 4pm
Thu Apr 2, 2015 Calendar Event Lecture - Discrete-Event Systems 9:30am to 11am
Tue Apr 7, 2015 Calendar Event Lecture - Contracts 9:30am to 11am
Calendar Event Lab session CANCELLED today - Moved to Thursday 1pm to 2pm
Assignment Homework 6 due by 11:59pm
Wed Apr 8, 2015 Assignment Rigorous System Design, sections 1-4 due by 4pm
Thu Apr 9, 2015 Calendar Event Lecture - DAEs 9:30am to 11am
Calendar Event Lab session today - Modelize 1pm to 2pm
Tue Apr 14, 2015 Calendar Event Lecture - Process Networks 9:30am to 11am
Calendar Event Lab - Exploring Process Networks 1pm to 2pm
Wed Apr 15, 2015 Assignment Rigorous System Design, sections 5-end due by 4pm
Thu Apr 16, 2015 Calendar Event Lecture: DE Semantics, part 1 9:30am to 11am
Tue Apr 21, 2015 Calendar Event Lecture - Metric Space Semantics 9:30am to 11am
Calendar Event Lab - DE Modeling of Wireless Networks 1pm to 2pm
Assignment Homework 7 due by 11:59pm
Thu Apr 23, 2015 Calendar Event Project status update (in class) 9:30am to 11am
Assignment One Page Project Status Update due by 11:59pm
Tue Apr 28, 2015 Calendar Event Lecture: Generalized Ultrametrics 9:30am to 11am
Calendar Event Lab Session: ns-3 1pm to 2pm
Wed Apr 29, 2015 Assignment Interaction due by 4pm
Thu Apr 30, 2015 Calendar Event Lecture: Parallel Execution of DE and Review 9:30am to 11am
Assignment Homework 8 due by 11:59pm
Tue May 5, 2015 Assignment Project Paper Submission Due due by 11:59pm
Mon May 11, 2015 Assignment Reviews Due due by 11:59pm
Wed May 13, 2015 Assignment Project Presentations - Wozniac Lounge, Soda Hall due by 11:59pm
Fri May 15, 2015 Assignment Final Paper Due due by 11:59pm
Calendar Event Lab Session: ns-3  
Calendar Event Lab Session: ns-3  
Calendar Event Lab: Metro II