Sök i kursutbudet

Använda sökfunktionen för att hitta i Chalmers utbildningsutbud, både vad gäller kurser och program. När det finns en kurshemsida visas en hus-symbol som leder till denna sida. Tänk på att välja det läsår du vill se information om.
Sök program och utbildningsplaner


Institutionernas kurser för doktorander

​​​​​​​​​​​​​​​​​​​​

Kursplan för

Läsår
SSY220 - Discrete event control and optimization
 
Kursplanen fastställd 2010-02-22 av programansvarig (eller motsvarande)
Ägare: MPSYS
7,5 Poäng
Betygskala: TH - Fem, Fyra, Tre, Underkänt
Utbildningsnivå: Avancerad nivå
Huvudområde: Automation och mekatronik
Institution: 32 - ELEKTROTEKNIK


Undervisningsspråk: Engelska

Modul   Poängfördelning   Tentamensdatum
Lp1 Lp2 Lp3 Lp4 Sommarkurs
0108 Tentamen 5,0 hp Betygskala: TH   5,0 hp   22 Okt 2010 em M,  14 Jan 2011 fm M,  19 Aug 2011 fm M
0208 Laboration 2,5 hp Betygskala: UG   2,5 hp    

I program

MPSYS SYSTEMS, CONTROL AND MECHATRONICS, MSC PROGR, Årskurs 2 (obligatorisk)
MPPEN PRODUCTION ENGINEERING, MSC PROGR - Production Systems , Årskurs 2 (valbar)

Examinator:

Professor  Martin Fabian


Kursutvärdering:

http://document.chalmers.se/doc/1606430473


Behörighet:

För kurser inom Chalmers utbildningsprogram gäller samma behörighetskrav som till de(t) program kursen ingår i.

Kursspecifika förkunskaper

Introduction to Discrete Event Systems (or comparable knowledge acquired by other means).

Syfte

The course aims to give advanced knowledge about formal methods and how these may be used for reasoning about and analyzing the performance of discrete event systems. Typical applications for using formal methods are verification and synthesis of control functions for embedded systems, control of automated production systems, and communication systems. The course focuses on modeling, specification, simulation, verification, synthesis, optimization and control function implementation.

Lärandemål (efter fullgjord kurs ska studenten kunna)

After completion of this course, the students should be able to:


  • Give a detailed account of different formalisms for modeling discrete event systems, especially various types of finite state machines, and Petri nets.

  • Analyse properties such as reachability, coreachability, controllability, observability using discrete mathematics.

  • Perform synthesis and optimization of control functions based on given system models and specification of desired behavior for the total closed loop system.

  • Give an account of different verification- and synthesis algorithms.

  • Present how optimization algorithms such as A* and MILP work, and use these when performing different optimization tasks.

  • Construct and implement control functions (protocols) based on industrial standards and components, for instance programmable logic controllers PLCs.
  • Innehåll

    The course covers the following topics: Theory and practice of modeling and specification of logic and sequential behaviors. Examples of modeling formalisms include formal languages, finite state machines, Petri nets and Statecharts. Theory and practice of verification of safety and liveness properties, such as reachability, blocking, deadlock and forbidden states, through state-space search methods. Theory and practice of synthesis and optimization of control functions based on given system models and specification of desired behavior of the controlled system. Theory and practice of implementation of discrete event control functions (protocols) based on industrial standards and components, for example programmable controllers (PLCs).

    Organisation

    The course comprises lectures, exercises, and a number of assignments that address important parts of the course. These hand-in assignments involve modeling, specification, verification and synthesis. Laboratory experiments, dealing with analysis and generation of control functions laboratory equipment, are also included.

    Litteratur

    Martin Fabian, DECO Lecture notes

    Examination

    Examination is based on a written exam, as well as passed hand-ins and experiments.


    Sidansvarig Publicerad: må 13 jul 2020.