User Tools

Site Tools


4k420:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
4k420:start [Monday, 20 October 2014 : 11:41:28]
hvrooy
— (current)
Line 1: Line 1:
-====== 4K420 - Supervisory Machine Control (2014/2015) ====== 
- 
-General information about the course is stated in the items below. For more specific information please choose from the menu items on the left hand side of the page. 
- 
-==== Lecture Notes ==== 
- 
-Wonham'​s monograph on {{:​wonham:​wonham_scdes2010.pdf|Supervisory Control of Discrete-Event Systems}}. This is the basis of the course. You should familiarize yourself with the contents of Chapters 2.6, 3 and 4, which are in {{:​4k420:​wonham_scdes2010_excerpt.pdf|this excerpt}} of the above mentioned monograph. 
- 
-==== Lecture Sheets 2014 ==== 
-Sheets will appear when they become available, usually one or more days in advance of the lecture. They will also be available on OASE. 
-^ Date ^ Notes ^ 
-| 2014-11-07 | Introduction | 
-==== Lecture Sheets 2013 ==== 
-Last year's sheets are still avaialable.... 
-^ Date ^ Notes ^ 
-| 2013-09-03 | Introduction {{:​4k420:​introduction_2013.pdf|}} |  
-|            | Handouts {{:​4k420:​mathterms.pdf|}}| ​ 
-| 2013-09-10 | SCT - preliminaries {{:​4k420:​automata-models_2013.pdf|}},​ {{:​4k420:​automata-behavior_2013.pdf|}}| ​ 
-|            | Homework {{:​4k420:​homework_exercises_1.pdf|}}| ​ 
-| 2013-09-17 | Supervisor synthesis and verification {{:​4k420:​supervisor-optimal_2013.pdf|}},​ {{:​4k420:​supervisor-simplified_2013.pdf|}},​ |  
-|            | {{:​4k420:​supervisor-modular_2013.pdf|}},​ {{:​4k420:​homework_exercises_1-solutions.pdf|}}| 
-|            | Homework {{:​4k420:​homework_exercises_2.pdf|}}| ​ 
-| 2013-09-24 | Exercise session {{:​4k420:​homework_exercises_2-solutions_2013.pdf|}} |  
-| | Example theory tests {{:​4k420:​test2009b.pdf}},​ {{:​4k420:​test2009a.pdf}},​ {{:​4k420:​test2009c.pdf}} | 
-| 2013-10-01 | {{:​4k420:​pusherlift-iterative_2013.pdf|}} {{:​4k420:​supervisor-extended-modular_2013.pdf|}} | 
-| | Test answers {{:​4k420:​test2009a-solutions.pdf}} {{:​4k420:​test2009b-solutions.pdf}} {{:​4k420:​test2009c-solutions.pdf}} | 
-| | Additional example theory test {{:​4k420:​test2010.pdf}} and test answers {{:​4k420:​test2010-solutions.pdf}} | 
-| 2013-10-15 | {{:​4k420:​supervisor-distributed_2013.pdf|}} {{:​4k420:​applications_2013.pdf|}} | 
- 
- 
- 
- 
- 
-==== Lab Exercises ==== 
- 
-| Previous instances of this course have shown that there will be more students attending the course than we have room for during the lab exercises. This forces us to create a number of parallel exercise schedules besides the regular one. Before the course starts, you should look at your own timetable for timeslots of two consecutive course hours. You will receive an email about this. Check [[:​4k420:​exercises|here]] for more information about the [[:​4k420:​exercises|Lab Exercises]]. | 
- 
- 
-==== Concluding Assignment ==== 
- 
-A concluding assignment will be handed to you soon after the start of the course. 
-Topic of the assignment is the design, simulation, test, and implementation of a controller for one of the workstations in the laboratory. [[:​4k420:​assignment|More...]] 
- 
- 
- 
- 
  
4k420/start.1413798088.txt.gz · Last modified: Monday, 20 October 2014 : 11:41:28 by hvrooy