Erinevus lehekülje "Courses" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
(Uus lehekülg: ' == ITI8580 Hybrid Systems == This course focuses on modeling, analysis and design issues of various classes of hybrid systems. Special attention is paid to computational and s...')
 
P
 
(ei näidata 8 kasutaja 44 vahepealset redaktsiooni)
1. rida: 1. rida:
 
+
* [[Hybrid Systems]]
== ITI8580 Hybrid Systems ==
+
* [[Malware:ITX8042:2016| Malware (ITX8042)]]
 
+
* [[Malware:ITX8060:2016| Malware2 (ITX8060)]]
 
+
* [[ModernOS:2016 | Overview of Modern Operating systems ITV005 ]]
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.
+
* [[Cyber Defense Monitoring Solutions|Cyber Defense Monitoring Solutions (ITX8071)]]
 
+
* [[ITI0130|Software Synthesis and Verification (ITI8531)]]
 
+
* [[ITI8610|Tarkvara töökindlus / Software Assurance (ITI8610)]]
 
+
* [[ITC8050|Strategic and Operational Aspects of Cyber Security (ITC8050)]]
=== Lecture 1 ===
+
* [[Advanced Algorithms and Data Structures|Advanced Algorithms and Data Structures (ITI8590)]]
Will take place on Wednesday 12.02.2014  10:00  ICT 411
+
* [[ITS8020|Systems Programming (ITS8020)]]
Before proceeding to the course topics we will settle the lecture schedule for the spring term.
+
* [[ITB8818 Graph Theory|Graph Theory (ITB8818)]]
 
+
* [[ITC8240 Cryptography|Cryptography (ITC8240)]] [[ITC8240 Cryptography (2019)|(2019)]] [[ITC8240 Cryptography (2020)|(2020)]] [[ITC8240 Cryptography (2021)|(2021)]]
== Topics ==
+
* [[ITC8290 Special Topics of Cryptography|Special Topics of Cryptography (ITC8290)]]
 
+
* [[ITC8190 Mathematics for Computer Science|Mathematics for Computer Science (ITC8190)]] [[ITC8190 Mathematics for Computer Science (2019)|(2019)]]
1. Dynamical Systems: Continuous-time/Discrete-time Systems vs Discrete Event Systems<br />
+
* [[ITB8811 Foundations of Information Security Risk Analysis | Foundations of Information Security Risk Analysis (ITB8811)]]
2. Hybrid Automata and Executions<br />
+
* [[ITS8020|Systems Programming (ITS8020)]]
3. Existence of Executions and Zeno Phenomena<br />
 
4. Analysis Modeling and Synthesis<br />
 
a. Analysis and modeling and synthesis of dynamical systems<br />
 
b. Supervisory control of hybrid systems<br />
 
c. Stability and design of hybrid systems<br />
 
5. Model Checking and Timed Automata<br />
 
6. Simulation Tools<br />
 

Viimane redaktsioon: 23. august 2021, kell 10:21