Display language

#41023 / #1

WiSe 2021/22 - SoSe 2022


Finite-State Dynamical Systems


Zhang, Kuize




Fakultät IV

Institut für Energie und Automatisierungstechnik

34311800 FG Regelungssysteme

No information


EN 11

Zhang, Kuize


PORD-Nr.ModultitelLPBenotungPrüfungsformPNr. (POS)Modulprüfung PORDModulprüfung PNr.

Learning Outcomes

The course briefly introduces preliminary knowledge on three classes of finite-state dynamical systems - Boolean networks, finite automata, and weighted automata. Students will acquire basic knowledge in control theory and computer science based on these models, and will also glimpse similarities and differences between these models.


This module mainly includes knowledge on basic control properties (such as controllability and observability) of Boolean networks, formal languages recognized by finite automata and control properties (such as detectability and diagnosability) of finite automata as discrete-event systems, and basic dynamical behavior of weighted automata as real-time systems and max-plus systems.

Module Components


All Courses are mandatory.

Course NameTypeNumberCycleLanguageSWSVZ
Finite-State Dynamical SystemsIVWSEnglish4

Workload and Credit Points

Finite-State Dynamical Systems (IV):

Workload descriptionMultiplierHoursTotal
180.0h(~6 LP)
Pre/post processing15.08.0h120.0h
The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

Integrated course

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

No prerequisites

Mandatory requirements for the module test application:

No information

Module completion



Type of exam

Portfolio examination

Type of portfolio examination

100 points in total



Test elements

(Deliverable assessment) Homework20practical3 weeks
(Examination) written test (2)40written60 minutes
(Examination) written test (1)40written60 minutes

Grading scale

Test description (Module completion)

Portfolio examination

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures


Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable


Electronical lecture notes

Availability:  available



Recommended literature
Cheng, D., Qi, H., Li, Z. Analysis and Control of Boolean Networks: A Semi-tensor Product Ap- proach. Springer-Verlag London, 2011.
Zhang, K., Zhang, L., Xie, L. Discrete-Time and Discrete-Space Dynamical Systems. Communica- tions and Control Engineering. Springer International Publishing, 2020.
Sipser, M. Introduction to the Theory of Computation. International Thomson Publishing, 1st edition, 1996.
Cassandras, C.G., Lafortune, S. Introduction to Discrete Event Systems. Springer Publishing Company, Incorporated, 2nd edition, 2010.
Hadjicostis, C.N. Estimation and Inference in Discrete Event Systems. Communications and Control Engineering. Springer Nature Switzerland AG, 2020.
Sakarovitch, J. Weighted Automata and Transducers. Lecture notes. Assigned Degree Programs

Assigned Degree Programs

This module is used in the following Degree Programs (new System):

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
This module is not used in any degree program.
Used in the following module lists: Computer Engineering, M.Sc. Elektrotechnik, M.Sc. (Studiengebiet Automatisierungstechnik)


No information