Erinevus lehekülje "Hybrid Systems" redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
| 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. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Topics == | == Topics == | ||
Redaktsioon: 6. veebruar 2015, kell 12:15
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.
Topics
- Dynamical Systems: Continuous-time/Discrete-time Systems vs Discrete Event Systems
- Hybrid Automata and Executions
- Existence of Executions and Zeno Phenomena
- Analysis Modeling and Synthesis
- Analysis and modeling and synthesis of dynamical systems
- Supervisory control of hybrid systems
- Stability and design of hybrid systems
- Model Checking and Timed Automata
- Simulation Tools
Grading
Grading will be done on the basis of:
- Home Assignments
- Midterm test
- Short presentation
- Final project (like home assignment but bigger)