Navigation To modulepage
Display language

Finite-State Dynamical Systems



#41023 / #1

WiSe 2021/22 - SoSe 2022

Fakultät IV

EN 11

Institut für Energie und Automatisierungstechnik

34311800 FG Regelungssysteme

Zhang, Kuize

Zhang, Kuize

POS-Nummer PORD-Nummer Modultitel
2350335 43190 Finite-State Dynamical Systems

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 Name Type Number Cycle Language SWS VZ
Finite-State Dynamical Systems IV WS English 4

Workload and Credit Points

Finite-State Dynamical Systems (IV):

Workload description Multiplier Hours Total
Attendance 15.0 4.0h 60.0h
Pre/post processing 15.0 8.0h 120.0h
180.0h(~6 LP)
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

Name Points Categorie Duration/Extent
(Deliverable assessment) Homework 20 practical 3 weeks
(Examination) written test (2) 40 written 60 minutes
(Examination) written test (1) 40 written 60 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 moduleversion is used in the following modulelists:

Verwendungen (8)
Studiengänge: 2 Stupos: 2 Erstes Semester: WiSe 2021/22 Letztes Semester: SoSe 2022
Used in the following module lists: Computer Engineering, M.Sc. Elektrotechnik, M.Sc. (Studiengebiet Automatisierungstechnik)


No information