Hybrid Systems ITI8580

Allikas: Kursused
Redaktsioon seisuga 27. jaanuar 2016, kell 13:08 kasutajalt Sven (arutelu | kaastöö) (Uus lehekülg: '== ITI8580 Hybrid Systems == Previous years: [https://courses.cs.ttu.ee/pages/Hybrid_Systems 2015] Spring 2015/2016 ITI8580: Hybrid Systems Taught by: Sven Nõmm EAP: 6.0 Ti...')
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti

ITI8580 Hybrid Systems

Previous years: 2015

Spring 2015/2016

ITI8580: Hybrid Systems

Taught by: Sven Nõmm

EAP: 6.0

Time and place:

Lectures: Mondays 12:00 - 13:30 ICT - TBA

Practice: Tuesday 12:00 - 13:30 ICT - TBA


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.

Additional information: sven.nomm@ttu.ee

Pärit leheküljelt "http://courses.cs.taltech.ee/w/index.php?title=Hybrid_Systems_ITI8580&oldid=3785"