Erinevus lehekülje "Hybrid Systems ITI8580" redaktsioonide vahel
| 36. rida: | 36. rida: | ||
=Lecture 1 : Introduction= | =Lecture 1 : Introduction= | ||
[[Media:Hybrid_Control_Systems_lecture1_2016.pdf |Slides]] | [[Media:Hybrid_Control_Systems_lecture1_2016.pdf |Slides]] | ||
| + | |||
| + | = The format of the course has changed= | ||
| + | Due to a low number of students lectures on Tuesdays are cancelled. | ||
| + | Practices on Mondays according to the timetable. | ||
Redaktsioon: 22. veebruar 2016, kell 09:29
ITI8580 Hybrid Systems
Previous years: 2015
Spring 2015/2016
ITI8580: Hybrid Systems
Taught by: Sven Nõmm
EAP: 6.0
Time and place:
Lectures: Tuesdays 12:00 - 13:30 ICT - 312
Practice: Mondays 12:00 - 13:30 ICT - 405
Consultation: by appointment TBA
This course focuses on modeling, analysis and design issues of various classes of hybrid systems. Special attention is paid to computational and simulation aspects. Formal methods for hybrid systems tie together mathematical logic, computational models and automated reasoning tools supporting formal specification and verification. The design and synthesis methods of provably correct (with respect to formal specifications) control programs for hybrid systems will be examined.
Additional information: sven.nomm@ttu.ee
Evaluation
- 91 < score -- grade 5 (excellent)
- 81 < score < 90 -- grade 4 (very good)
- 71 < score < 80 -- grade 3 (good)
- 61 < score < 70 -- grade 2 (satisfactory)
- 51 < score < 60 -- grade 1 (acceptable)
score ≤ 50 -- a student has failed to pass
Lectures
Lecture slides, necessary files, links and other necessary information would appear here before the lecture or practice.
Lecture 1 : Introduction
The format of the course has changed
Due to a low number of students lectures on Tuesdays are cancelled. Practices on Mondays according to the timetable.