Discrete and continuous dynamic systems

Discrete and continuous dynamic systems

(Diszkrét és folytonos dinamikus rendszerek elmélete)

(VEMIVIM254E, MI MSc)

2nd semester of 2017/2018

Lecture-tutorial-laboratory: Wednesday 9:30-12:45, I122

Lecturers: Prof. Katalin Hangos ( Ezt a címet a spamrobotok ellen védjük. Engedélyezze a Javascript használatát, hogy megtekinthesse. )
Ass. Prof. Attila Magyar ( Ezt a címet a spamrobotok ellen védjük. Engedélyezze a Javascript használatát, hogy megtekinthesse. )

Tutor: Anna Ibolya Pózna ( Ezt a címet a spamrobotok ellen védjük. Engedélyezze a Javascript használatát, hogy megtekinthesse. )

Course evaluation

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.

Course contents

Week Date Type Material Slides/supplements
1 7 Feb
Registration week
2. 14 Feb Lec 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.
Test of preliminary knowledge

icon DCDS_Introduction

icon DCDS_Tut_Introduction

3. 21 Feb Lec/Tut Continuous time linear time-invariant systems: input-output and state space representations. State transformations, realizations, realization properties. Canonical forms.

icon DCDS_CT-LTI system models

icon DCDS_Tut_CT-LTI system models

4.. 28 Feb Lec/Tut Sampling. Discrete time linear time-invariant systems: input-output and state space representations. Sate transformations.

icon DCDS_DiscrMod

icon DCDS_eTut_discmod

5. 7 Mar Lec/Tut Observability and controllability/reachability of continuous time and discrete time linear time-invariant system models.

icon DCDS_Controllability observability

icon DCDS_Tut_Controllability observability

6. 14 Mar Lec/Tut Joint controllability and observability of continuous time linear time-invariant system. Minimal realizations and special realization forms.

icon DCDS_Minimality

icon DCDS_Tut_Minimality

7.. 21 Mar Lec/Tut Bounded input bounded output (BIBO) and asymptotic stability of continuous time and discrete time linear time-invariant systems.

icon DCDS_Stability

icon DCDS_eTut_stability

8.. 28 Mar Lec/Tut Continuous time and discrete time nonlinear systems. Dynamic properties:  stability, Lyapunov theorem.

icon DCDS_Nonlinear

icon DCDS_eTut_Nonlinear

9. 11 Apr Lec/Tut The notion of discrete event systems, and their automaton models. Deterministic automata: definitions, relationship with languages. Unary and binary operations on automata.

icon DCDS_DES

icon DCDS_tutorial_DES

10. 18 Apr Lec/Tut Observability and nondeterminism of automata. Observer automaton. Diagnosability, diagnoser automaton. Timed automata. icon DCDS_diagnosis
11.. 25 Apr Lec/Tut Petri nets: formal definition, operation of Petri nets, relationship with finite automata. Extened Petri net versions: timed and coloured Petri nets.

icon DCDS_PetriMod

icon DCDS_eTut_PetriMod

 

12.. 2 May Lec/Tut Analysis of Petri nets: behavoiural and structural properties. Reachability graph, liveness, boundedness, deadlocks. Investigation of place andtransition invariants.

icon DCDS_PetriAnal

icon DCDS_eTut_PetriAnal

13 9 May Tut The MATLAB Stateflow toolbox and its use. Examples icon hpsim1_1
14 16 May Lec/Tut Consultation + repetitions

Keresés a honlapon