Erinevus lehekülje "Hybrid Systems" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
 
(ei näidata sama kasutaja 20 vahepealset redaktsiooni)
1. rida: 1. rida:
 
== ITI8580 Hybrid Systems ==
 
== 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.  
 
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 ==
 +
[[Media:Hybrid_Control_Systems_lecture1.pdf ‎|Slides]]
 +
 +
== Lecture 2: Control Theory (Reminder 1) ==
 +
[[Media:Lecture2_Control_Theory_Reminder.pdf ‎|Slides]]
 +
 +
== Lecture 3: Control Theory (Reminder 2) Feedback ==
 +
[[Media:Lecture3_Control_Theory_Reminder_feedback.pdf ‎|Slides]]
 +
 +
== Lecture Student presentations To be added later ==
 +
 +
== Lecture 4: Automata ==
 +
[[Media:Lecture4_Automata.pdf ‎|Slides]]
 +
 +
== Lecture 5: Hybrid Automata ==
 +
[[Media:Lecture5_Hybrid_Automata.pdf ‎|Slides]]
 +
 +
== Lecture 6: Stability of Hybrid Systems ==
 +
[[Media:Lecture6_Stability_of_Hybrid_Systems.pdf ‎|Slides]]
 +
 +
== Practicum: Modelling of Hybrid systems in SciLab ==
 +
[[Media:Hybrid.zip ‎|Slides]]
 +
 +
== Lecture 9:  ==
 +
[[Media:Lecture9_Timed_Automata.pdf ‎|Slides]]
 +
 +
== Test1 : Results==
 +
[[Media:Hybrid Systems IT 8580 Test 1_1.pdf ‎|Test results]]
  
 +
== Grading ==
 +
Grading: is explained in detail in Lecture 1
  
=== Lecture 1 ===
+
== Results by 21.05 ==
Will take place on Thursday  04.09.2014 12:00 ICT-A2.
+
[[Media:Hybridsystesresults21052015.pdf ‎|results]]
This page will be update for each lecture.
 
Links and references to the external sources and course not will appear hear together with home assignments.
 
  
=== Practice 1 ===
 
  
Will take place on Thursday  04.09.2014 14:00 ICT-402.
+
Two tests, each gives you max 10 % of the final grade. In the end
Overview of the software packages to be used during the course.
+
of the term you will be given one make-up attempt.
  
== Topics ==
+
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.
  
# Dynamical Systems: Continuous-time/Discrete-time Systems vs Discrete Event Systems
+
Final project gives you max 60% of the final grade. It will require to
# Hybrid Automata and Executions
+
design and implement hybrid system. Perform numeric simulation
# Existence of Executions and Zeno Phenomena
+
and interpret the results. On the examination day, you will be given
# Analysis Modeling and Synthesis
+
three minutes to state the problem, and present the results followed
#* Analysis and modeling and synthesis of dynamical systems
+
by more detailed analysis of your work. You may be asked to
#* Supervisory control of hybrid systems
+
perform simulation or even to introduce some changes into
#* Stability and design of hybrid systems
+
implementation of your system. Usually it takes 10 -15 days
# Model Checking and Timed Automata
+
to complete the project.
# Simulation Tools
 

Viimane redaktsioon: 21. mai 2015, kell 15:10

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

Lecture 3: Control Theory (Reminder 2) Feedback

Slides

Lecture Student presentations To be added later

Lecture 4: Automata

Slides

Lecture 5: Hybrid Automata

Slides

Lecture 6: Stability of Hybrid Systems

Slides

Practicum: Modelling of Hybrid systems in SciLab

Slides

Lecture 9:

Slides

Test1 : Results

Test results

Grading

Grading: is explained in detail in Lecture 1

Results by 21.05

results


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 final 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.