EECS 144/244

Fall 2015

Contents
Home
Overview
Logistics

Lectures
Homeworks
Reading
Resources
Projects
Fall 2015 edition
Fall 2014 edition
Fall 2013 edition
Spring 2013 edition
Fall 2011 edition

bCourses

Course Development
Wiki
SVN

EECS 244 Lectures Fall 2016

In Fall 2016 EECS 244 is offered in "condensed" form only for graduate students (144 is not offered). "Condensed" means the course will not span the full semester, but less (probably 7 weeks or so) and each week there are more lecture hours than usual (probably 6 hours or so). The exact dates and times will be announced later..

Lectures will appear here as the course progresses this semester.

(Click on lecture title for slides in PDF)
No. Date Topic Reading Milestones
01 10/06 Introduction, Logistics, Systems [ST] (1) Alberto Sangiovanni-Vincentelli, "Quo vadis SLD" 2007 paper; (2) Edward A. Lee, "Challenges in CPS" 2008 paper.  
02 10/11 Discrete Systems [ST], Temporal Logic [ST] Logic Primer [ST]  
03 10/13 Temporal Logic continued [ST]    
04 10/18 Temporal Logic continued [ST]    
05 10/20 Model checking [ST]    
06 10/25 Model checking continued [ST] BDDs paper  
07 10/27 Controller and Program Synthesis [ST] (1) Pnueli-Rosner paper (2) Sketching paper  
08 11/01 SAT Solving [Yu-Yun Dai] SAT paper  
09 11/03 Timing analysis [Yu-Yun Dai]    
10 11/08 Synchronous composition [ST] (1) Malik paper, (2) Edwards-Lee paper  
11 11/10 Asynchronous composition [ST]    
12 11/15 Discrete event simulation, Timed automata [ST]    
13 11/17 Review [ST]    
14 11/22 Logic synthesis [Yu-Yun Dai]    
15 11/29 Logic synthesis continued [Yu-Yun Dai]    

 

Contact 
©2002-2018 U.C. Regents