lunduniversity.lu.se

Third-Cycle Courses

Faculty of Engineering | Lund University

Details for the Course Syllabus for Course FRT185F valid from Autumn 2017

Printable view

General
Aim
  • 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.
Contents
  • 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.
Knowledge and Understanding
  • For a passing grade the doctoral student must
  • understand fundamentals concepts of systems theory and computer systems.
    understand how the concepts above can be applied to manage computing systems for better operation.
    discuss how computing systems should be designed in order to be more easily controlled.
Competences and Skills
  • For a passing grade the doctoral student must
  • use the Modelica language to model and simulate simple models of computing systems.
    apply their knowledge about modelling and control in a project of their own choice.
Judgement and Approach
  • For a passing grade the doctoral student must
  • have gained insight into how models and approaches are different between automatic control and computer science.
Types of Instruction
  • Lectures
  • Project
  • The project will be carried out in groups of maximum three people.
Examination Formats
  • Written report
  • Written assignments
  • 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.
  • Failed, pass
Admission Requirements
Assumed Prior Knowledge
  • Basic knowledge of modeling and dynamic systems.
Selection Criteria
Literature
  •  
  • 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.
Further Information
  • The course is given in the form of five full-day lectures and has a final project.
Course code
  • FRT185F
Administrative Information
  • 2017-12-07
  • Professor Thomas Johansson

All Published Course Occasions for the Course Syllabus

No matching course occasions were found.

0 course occasions.


Printable view