Erinevus lehekülje "Hybrid Systems ITI8580" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
12. rida: 12. rida:
 
Time and place:  
 
Time and place:  
  
Lectures: Mondays  12:00 - 13:30 ICT - TBA
+
Lectures: Tuesdays 12:00 - 13:30 ICT - 312
  
Practice: Tuesday 12:00 - 13:30 ICT - TBA
+
Practice: Mondays 12:00 - 13:30 ICT - 405
  
  

Redaktsioon: 29. jaanuar 2016, kell 11:09

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


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.