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, 17 September 2013 : 09:42:35] jvdmorte |
4k420:start [Thursday, 20 November 2014 : 12:32:12] jvdmorte |
||
---|---|---|---|

Line 1: | Line 1: | ||

- | ====== 4K420 - Supervisory Machine Control (2013/2014) ====== | + | ====== 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. | 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. | ||

Line 6: | Line 6: | ||

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. | 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-11 | Introduction {{:4k420:Lecture 1 4K420.pdf|}} | | ||

+ | | 2014-11-18 | SCT — preliminaries {{:4k420:Lecture 2 4K420.pdf|}} | | ||

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

==== Lecture Sheets 2013 ==== | ==== 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. | + | Last year's sheets are still avaialable.... |

^ Date ^ Notes ^ | ^ Date ^ Notes ^ | ||

- | | 2012-09-03 | Introduction {{:4k420:introduction_2013.pdf|}} | | + | | 2013-09-03 | Introduction {{:4k420:introduction_2013.pdf|}} | |

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

- | | 2012-09-10 | SCT - preliminaries {{:4k420:automata-models_2013.pdf|}}, {{:4k420:automata-behavior_2013.pdf|}}| | + | | 2013-09-10 | SCT - preliminaries {{:4k420:automata-models_2013.pdf|}}, {{:4k420:automata-behavior_2013.pdf|}}| |

| | Homework {{:4k420:homework_exercises_1.pdf|}}| | | | Homework {{:4k420:homework_exercises_1.pdf|}}| | ||

- | | 2012-09-17 | Supervisor synthesis and verification {{:4k420:supervisor-optimal_2013.pdf|}}, {{:4k420:supervisor-simplified_2013.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|}}| | | | {{:4k420:supervisor-modular_2013.pdf|}}, {{:4k420:homework_exercises_1-solutions.pdf|}}| | ||

| | Homework {{:4k420:homework_exercises_2.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|}} | | ||

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

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