Lecturers: Prof. Katalin Hangos ( This email address is being protected from spambots. You need JavaScript enabled to view it.),
Attila Magyar (This email address is being protected from spambots. You need JavaScript enabled to view it.),
Anna Ibolya Pózna ( This email address is being protected from spambots. You need JavaScript enabled to view it.)
Course evaluation
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.
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.
Continuous time linear time-invariant systems: input-output and state space representations. State transformations, realizations, realization properties. Canonical forms.
Languages, operations on languages.
Deterministic automata: definitions, relationship with languages.
Nondeterministic, Moore and Mealy automata.
Composition operations on automata.
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.