199.088 Reachability Analysis Techniques for Hybrid Systems
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020S, VU, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Learning outcomes

After successful completion of the course, students are able to...

Further information will be announced as soon as available.

*************************************************************************

Subject of course

The lecturer of this course will be Prof. Erika Abraham / RWTH Aachen, Germany.

Teaching methods

Information to be announced as soon as available.

Mode of examination

Immanent

Additional information

This is an Area PhD Course of the Faculty of Informatics for doctoral and master students. 

Doctoral students in Computer Science have admission priority to this course.

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
13:00 - 16:0002.03.2020 - 03.03.2020Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
10:00 - 13:0004.03.2020 - 06.03.2020Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Mon14:00 - 17:0009.03.2020Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Tue13:00 - 15:0010.03.2020Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Reachability Analysis Techniques for Hybrid Systems - Single appointments
DayDateTimeLocationDescription
Mon02.03.202013:00 - 16:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Tue03.03.202013:00 - 16:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Wed04.03.202010:00 - 13:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Thu05.03.202010:00 - 13:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Fri06.03.202010:00 - 13:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Mon09.03.202014:00 - 17:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Tue10.03.202013:00 - 15:00Seminarraum Techn. Informatik 199.088 Reachability Analysis Techniques for Hybrid Systems
Course is held blocked

Examination modalities

Information to be announced as soon as available.

Course registration

Begin End Deregistration end
18.11.2019 00:00 02.03.2020 20:00

Registration modalities

Please register in TISS.

Curricula

Study CodeObligationSemesterPrecon.Info
786 881 Computer Sciences Mandatory elective
PhD Vienna PhD School of Informatics Not specified

Literature

No lecture notes are available.

Miscellaneous

  • Attendance Required!

Language

English