4k420:start

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

Both sides previous revision Previous revision Next revision | Previous revision | ||

4k420:start [Monday, 17 November 2014 : 14:53:20] jvdmorte |
— (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. Any questions regarding 4K420 may be asked directly or via the 4K420 forum page, which is accessible via OASE. | ||

- | ^ Date ^ Notes ^ | ||

- | | 2014-11-07 | Introduction |Lecture 1 4K420.pdf| | ||

- | |||

- | ==== 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.1416232400.txt.gz · Last modified: Monday, 17 November 2014 : 14:53:20 by jvdmorte

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International