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 [Tuesday, 24 September 2013 : 09:48:40] jvdmorte |
— (current) | ||
---|---|---|---|

Line 1: | Line 1: | ||

- | ====== 4K420 - Supervisory Machine Control (2013/2014) ====== | ||

- | |||

- | 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 2013 ==== | ||

- | 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 ^ | ||

- | | 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:exercises_2-solutions_2013.pdf|}} | | ||

- | | | Example theory test {{:4k420:test2009b.pdf}}, {{:4k420:test2009a.pdf}}, {{:4k420:test2009c.pdf}} | | ||

- | |||

- | |||

- | |||

- | |||

- | ==== Lecture Sheets 2012 ==== | ||

- | Sheets of last years course are still available: | ||

- | ^ Date ^ Notes ^ | ||

- | | 2012-09-04 | {{:4k420:introduction_2012.pdf|}} | | ||

- | | | Handouts {{:4k420:mathterms.pdf|}} | | ||

- | | 2012-09-11 | {{:4k420:automata-models_2012.pdf|}} {{:4k420:automata-behavior_2012.pdf|}} | | ||

- | | | Exercises {{:4k420:exercises_1_2012.pdf|}} | | ||

- | | 2012-09-18 | {{:4k420:supervisor-optimal_2012.pdf|}} {{:4k420:supervisor-simplified_2012.pdf|}} {{:4k420:supervisor-modular_2012.pdf|}} | | ||

- | | | Exercises {{:4k420:exercises_2_2012.pdf|}} | | ||

- | | | {{:4k420:Group division for the theory test 2012.pdf|}} | | ||

- | | 2012-09-25 | Answers {{:4k420:exercises_1-solutions_2012.pdf|}} {{:4k420:exercises_2-solutions_2012.pdf|}} | | ||

- | | | Example theory test {{:4k420:test2009b.pdf}} Answers {{:4k420:test2009b-solutions.pdf}} | | ||

- | | | Additional examples {{:4k420:test2009a.pdf}} {{:4k420:test2009c.pdf}} | | ||

- | | 2012-10-02 | {{:4k420:pusherlift-iterative_2012.pdf|}} {{:4k420:supervisor-extended-modular_2012.pdf|}} | | ||

- | | | Answers {{:4k420:test2009a-solutions.pdf}} {{:4k420:test2009c-solutions.pdf}} | | ||

- | | 2012-10-16 | {{:4k420:supervisor-distributed_2012.pdf|}} {{:4k420:applications_2012.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.1380008920.txt.gz · Last modified: Tuesday, 24 September 2013 : 09:48:40 by jvdmorte

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