Last Updated: 04 May 2022
Lecture-tutorial-laboratory: Wednesday, 10:00 - 14:00, Room I122
Online platform: MS Teams ( follow the link)
The evaluation is based upon the homeworks to be submitted weekly during the semester containing an obligatory and an elective part.
The pre-requisite of the course signature is
-- to be present at least 75% of the lectures-tutorials-laboratories,
-- to submit the homeworks to the given deadline, and
-- to achieve at least 50% on the marks of the obligatory parts of the homework.
The course mark will be offered based upon the marks of the elective part of the homework.
Parameter values for the homework
Introduction to the notions of signals and systems. Signal types and signal transformations. The Laplace transform. Basic system classes, input-output and state space models.
Homework deadline: 23 Feb 10:00
Continuous time linear time-invariant systems: input-output and state space representations. State transformations, realizations, realization properties. Canonical forms.
Sampling. Discrete time linear time-invariant systems: input-output and state space representations. State transformations.
Homework deadline: 09 Mar 10:00
Observability and controllability/reachability of continuous time and discrete time linear time-invariant system models.
Homework deadline: 16 Mar 10:00
Joint controllability and observability of continuous time linear time-invariant system. Minimal realizations and special realization forms.
Bounded input bounded output (BIBO) and asymptotic stability of continuous time and discrete time linear time-invariant systems.
Homework deadline: 30 Mar 10:00
Continuous time and discrete time nonlinear systems. Dynamic properties: stability, Lyapunov theorem.
The notion of discrete event systems.
Homework deadline: 6 Apr 10:00
Languages, operations on languages.
Deterministic automata: definitions, relationship with languages.
Nondeterministic, Moore and Mealy automata.
Composition operations on automata.
Observability and nondeterminism of automata. Observer automaton.
Homework deadline: 27 Apr 10:00
Petri nets: formal definition, operation of Petri nets, relationship with finite automata.
Homework deadline: 4 May 10:00
coffee machine model
Extened Petri net versions: timed and coloured Petri nets.
Analysis of Petri nets: behavoiural and structural properties. Reachability graph, liveness, boundedness, deadlocks. Investigation of place and transition invariants.
Homework deadline: 11 May 10:00