Erinevus lehekülje "Hybrid Systems ITI8580" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
 
(ei näidata sama kasutaja 4 vahepealset redaktsiooni)
1. rida: 1. rida:
 
== ITI8580 Hybrid Systems ==
 
== ITI8580 Hybrid Systems ==
Previous years: [https://courses.cs.ttu.ee/pages/Hybrid_Systems 2015]
+
Previous years: [https://courses.cs.ttu.ee/pages/Hybrid_Systems 2016]
  
Spring 2015/2016
+
Spring 2016/2017
  
 
ITI8580: Hybrid Systems
 
ITI8580: Hybrid Systems
12. rida: 12. rida:
 
Time and place:  
 
Time and place:  
  
Lectures: Tuesdays 12:00 - 13:30 ICT - 312
+
Lectures: Tuesdays 14:00 - 15:30 ICT - A1
  
Practice: Mondays  12:00 - 13:30 ICT - 405
+
Practice: Thursdays 17:45 - 19:15 ICT - 402
  
 +
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.  
 
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.  
31. rida: 32. rida:
  
 
==Lectures ==
 
==Lectures ==
Lecture slides, necessary files, links and other necessary information would appear here before the lecture or practice.
+
Lecture slides, necessary files, links and other necessary information would be distributed by meand of Moodel (to be set up by 10.02.2017)

Viimane redaktsioon: 30. jaanuar 2017, kell 09:27

ITI8580 Hybrid Systems

Previous years: 2016

Spring 2016/2017

ITI8580: Hybrid Systems

Taught by: Sven Nõmm

EAP: 6.0

Time and place:

Lectures: Tuesdays 14:00 - 15:30 ICT - A1

Practice: Thursdays 17:45 - 19:15 ICT - 402

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 be distributed by meand of Moodel (to be set up by 10.02.2017)