Kursplan för

Feedback Control of Computing Systems
Reglering av datorsystem

FRT185F, 5 högskolepoäng

Gäller från och med: Autumn 2017
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2017-12-07

Allmänna uppgifter

Avdelning: Automatic Control
Kurstyp: Ren forskarutbildningskurs
Undervisningsspråk: English

Syfte

Control theory is spreading into the computing system domain and is today being applied in for instance CPU scheduling, clock synchronisation, thermal/power/performance management, and self-adaptive software. The aim of the course is to bridge the gap between computer science and automatic control and enable cooperation between specialists within the two domains.

Mål

Kunskap och förståelse

För godkänd kurs skall doktoranden

Färdighet och förmåga

För godkänd kurs skall doktoranden

Värderingsförmåga och förhållningssätt

För godkänd kurs skall doktoranden have gained insight into how models and approaches are different between automatic control and computer science.

Kursinnehåll

Control-theoretical design of scheduling policies and synchronization protocols. Mathematical modelling of computing systems. Modelica as a language for simulating and designing control strategies for computing systems. Control of queues.

Kurslitteratur

A reading list of research papers will be provided in class. ---- other possible references - A. Leva, M. Maggio, A.V. Papadopoulos, F. Terraneo, "Control-based operating system design", IET, London, 2012. - A. Filieri, H. Hoffmann, M. Maggio, "Automated design of self-adaptive software with control-theoretical formal guarantees", Proc. 36th International Conference on Software Engineering, Hyderabad 2014, 299-310. - A.V. Papadopoulos, M. Maggio, F. Terraneo, A. Leva, "A dynamic modelling framework for control-based computing system design", Mathematical and Computer Modelling of Dynamical Systems 21(3), 2015, 251-271.

Kursens undervisningsformer

Undervisningsformer: Föreläsningar, projekt. The project will be carried out in groups of maximum three people.

Kursens examination

Examinationsformer: Skriftlig rapport, inlämningsuppgifter. Participation in the lectures is mandatory. Student performance is assessed in the form of a project to be completed after the lecture series. A course report is required in the form of a short paper.
Betygsskala: Underkänd, godkänd
Examinator:

Antagningsuppgifter

Förutsatta förkunskaper: Basic knowledge of modeling and dynamic systems.

Övrig information

The course is given in the form of five full-day lectures and has a final project.

Kurstillfällesinformation

Kontaktinformation och övrigt

Kursansvariga:
Hemsida: http://control.lth.se/Education/DoctorateProgram/feedback-control-of-computing-systems.html


Fullständig visning