Last Updated: 24 February 2020
Lecture-tutorial-laboratory: Wednesday, 10:45 - 14:00, Room I122
The evaluation is based upon a project work to be submitted weekly during the semester, and on an oral exam.
The pre-requisite of the course signature is
-- to be present at least 75% of the lectures-tutorials-laboratories,
-- to submit the project results and documentation to the given deadline, and
-- to achieve at least 50% on project marks.
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.
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. Sate transformations.
Observability and controllability/reachability of continuous time and discrete time linear time-invariant system models.
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.
Continuous time and discrete time nonlinear systems. Dynamic properties: stability, Lyapunov theorem.
The notion of discrete event systems, and their automaton models. Deterministic automata: definitions, relationship with languages. Unary and binary operations on automata.
Observability and nondeterminism of automata. Observer automaton. Diagnosability, diagnoser automaton. Timed automata.
Petri nets: formal definition, operation of Petri nets, relationship with finite 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 andtransition invariants.
The MATLAB Stateflow toolbox and its use. Examples