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
SSY165 - Discrete event systems
 
Kursplanen fastställd 2012-02-23 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, Elektroteknik
Institution: 32 - ELEKTROTEKNIK


Undervisningsspråk: Engelska
Sökbar för utbytesstudenter
Blockschema: C

Modul   Poängfördelning   Tentamensdatum
Lp1 Lp2 Lp3 Lp4 Sommarkurs Ej Lp
0107 Tentamen 5,0hp Betygskala: TH   5,0hp   23 Okt 2012 em H,  15 Jan 2013 em V,  27 Aug 2013 fm V
0207 Laboration 2,5hp Betygskala: UG   2,5hp    

I program

MPBME BIOMEDICAL ENGINEERING, MSC PROGR, Årskurs 2 (valbar)
MPPEN PRODUCTION ENGINEERING, MSC PROGR, Årskurs 2 (valbar)
MPSYS SYSTEMS, CONTROL AND MECHATRONICS, MSC PROGR, Årskurs 1 (obligatorisk)

Examinator:

Professor  Bengt Lennartson


Kursutvärdering:

http://document.chalmers.se/doc/00000000-0000-0000-0000-00005CA190F0


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

Basic mathematical and programming skills. A basic knowledge in control engineering is recommended.

Syfte

The course aims to give fundamental knowledge and skills in the area of discrete event systems and especially modeling and specification formalisms, simulation, synthesis, optimization and control function implementation. Typical applications are control functions for embedded systems, control of automated production systems, and communication systems.

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

After completion of this course, the students should be able to:
Use basic discrete mathematics in order to be able to analyze discrete event systems.
Give an account of different formalisms for modeling discrete event systems, especially finite state machines, extended finite state automata, timed automata, Petri nets, and Statecharts, and demonstrate skill to choose between them.

Give an account of different methods for modeling and specifying discrete event systems. Present different kinds of specifications, such as progress and safety specifications, defining what a system should and should not do. Use earned knowledge of the formalisms and methods when modeling different types of systems.
Explain important theories for analyzing the behavior of discrete event systems such as Supervisory Control Theory. Give an account for the meaning of supervisor synthesis, verification, and simulation. Present different properties of discrete event systems such as reachability, coreachability, and controllability.
Use computer tools in order to perform synthesis and optimization of control functions based on given system models and specifications of desired behavior for the total closed loop system.
Explain basic queuing theory. Describe scheduling with respect to both optimization and priority.
Construct and implement control functions based on industrial standards and components for programmable logic controllers PLCs.

Innehåll

The course covers the following topics:
Basic discrete mathematics, logical expressions and operations, sets and operations on sets, ordered sets, formal languages, functions and relations.
Modeling and specification of logic and sequential behaviors. Examples of modeling formalisms include formal languages, finite state machines, Petri nets and Statecharts.
Verification of safety and liveness properties, such as reachability, blocking, deadlock and forbidden states, through state-space search methods.
Synthesis and optimization of control functions based on given system models and specification of desired behavior of the controlled system.
Implementation of discrete event control functions (protocols) based on industrial standards and components, for example programmable controllers (PLCs).
Hand-in that reflects on how industrial automation affects mankind and society as a whole.

Organisation

The course comprises lectures, exercises, and a number of assignments that address important parts of the course. These assignments involve modeling, specification, and synthesis and are to be handed in. One laboratory experiment, which deals with generation of control functions that are used for controlling the laboratory experiment equipment.

Litteratur

Bengt Lennartson: Introduction to Discrete Event Systems - Lecture Notes

Examination

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


Sidansvarig Publicerad: må 13 jul 2020.