Erinevus lehekülje "Hybrid Systems" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
22. rida: 22. rida:
 
== Lecture 1: Introduction ==
 
== Lecture 1: Introduction ==
 
[[Media:Hybrid_Control_Systems_lecture1.pdf ‎|Slides]]
 
[[Media:Hybrid_Control_Systems_lecture1.pdf ‎|Slides]]
 +
 +
== Lecture 2: Control Theory (Reminder 1) ==
 +
[[Media:Lecture2_Control_Theory_Reminder.pdf ‎|Slides]]
 +
  
 
== Grading ==
 
== Grading ==
Grading will be done on the basis of:
+
Grading: is explained in detail in Lecture 1
*Home Assignments
+
 
*Short presentation
+
Two tests, each gives you max 10 % of the final grade. In the end
*Final project (like home assignment but bigger)
+
of the term you will be given one make-up attempt.
 +
 
 +
Two home assignments(followed by presentation). Each gives you
 +
max 10% of the �final grade. If you fail to prepare your presentation
 +
no make-up is possible.
 +
 
 +
Final project gives you max 60% of the �nal grade. It will require to
 +
design and implement hybrid system. Perform numeric simulation
 +
and interpret the results. On the examination day, you will be given
 +
three minutes to state the problem, and present the results followed
 +
by more detailed analysis of your work. You may be asked to
 +
perform simulation or even to introduce some changes into
 +
implementation of your system. Usually it takes 10 -15 days
 +
to complete the project.

Redaktsioon: 10. veebruar 2015, kell 10:02

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

Lecture 2: Control Theory (Reminder 1)

Slides


Grading

Grading: is explained in detail in Lecture 1

Two tests, each gives you max 10 % of the final grade. In the end of the term you will be given one make-up attempt.

Two home assignments(followed by presentation). Each gives you max 10% of the �final grade. If you fail to prepare your presentation no make-up is possible.

Final project gives you max 60% of the �nal grade. It will require to design and implement hybrid system. Perform numeric simulation and interpret the results. On the examination day, you will be given three minutes to state the problem, and present the results followed by more detailed analysis of your work. You may be asked to perform simulation or even to introduce some changes into implementation of your system. Usually it takes 10 -15 days to complete the project.