Display language

#41023 / #1

WiSe 2021/22 - SoSe 2022

English

Finite-State Dynamical Systems

6

Zhang, Kuize

benotet

Portfolioprüfung

Zugehörigkeit


Fakultät IV

Institut für Energie und Automatisierungstechnik

34311800 FG Regelungssysteme

No information

Kontakt


EN 11

Zhang, Kuize

kuize.zhang@campus.tu-berlin.de

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

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.

Content

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

Pflichtgruppe:

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)
Attendance15.04.0h60.0h
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

Grading

graded

Type of exam

Portfolio examination

Type of portfolio examination

100 points in total

Language

English

Test elements

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

Grading scale

1.01.31.72.02.32.73.03.33.74.0
85.080.075.070.065.060.055.050.045.040.0

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:
Wintersemester.

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures

QISPOS

Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable

 

Electronical lecture notes

Availability:  available

 

Literature

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)

Miscellaneous

No information