Erinevus lehekülje "Hybrid Systems" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
21. rida: 21. rida:
  
 
== Lecture 1: Introduction ==
 
== Lecture 1: Introduction ==
[[Hybrid Control systems_lecture1.pdf ‎|Slides]]
+
[[Media:Hybrid_Control_Systems_lecture1.pdf ‎|Slides]]
 
 
 
 
 
 
  
 
== Grading ==
 
== Grading ==

Redaktsioon: 10. veebruar 2015, kell 09:47

ITI8580 Hybrid Systems

Spring 2014/2015

ITI8580: Hybrid Systems

Taught by: Sven Nõmm

EAP: 6.0

Time and place: Tuesdays

Lecture 14:00 - 15:30 ICT - A2

Practice 16:00 - 17: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.

Lectures

Lecture 1: Introduction

Slides

Grading

Grading will be done on the basis of:

  • Home Assignments
  • Short presentation
  • Final project (like home assignment but bigger)