« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930
Uni-Logo
You are here: Home Teaching Winter Term 2013/2014 Design and Analysis of Cyber Physical Systems (Seminar)
Document Actions

Design and Analysis of Cyber Physical Systems (Seminar)

The development of cyber physical systems (CPS) is considered to be the next computing revolution. Cyber physical systems are networked computational systems that interact with the physical world. Examples of such systems are autonomous cars, robots, intelligent energy-efficient buildings, embedded medical devices, etc. The systems like that require tight connection between discrete and continuous behavior. The design of CPS presents many challenges because of their complexity, safety requirements and real-time nature. Thus collaboration among people from different disciplines and between academics and industry is required to make progress in the area of CPS.

Course type Seminar
Instructors Prof. Dr. Andreas Podelski, Sergiy Bogomolov
Kick-Off Please write an email to contact us and to fix a time for a personal meeting.
Presentation End of WS2013/14 (exact date TBA)

Presentation language

English
Credits 6
Course Catalog Design and Analysis of Cyber Physical Systems

Description

The development of cyber physical systems (CPS) is considered to be the next computing revolution. Cyber physical systems are networked computational systems that interact with the physical world. Examples of such systems are autonomous cars, robots, intelligent energy-efficient buildings, embedded medical devices, etc. The systems like that require tight connection between discrete and continuous behavior. The design of CPS presents many challenges because of their complexity, safety requirements and real-time nature. Thus collaboration among people from different disciplines and between academics and industry is required to make progress in the area of CPS.

Formalia

30min Presentation, 5 page summary.

Important Dates

  • A topic must be fixed before 17.11.2013.
  • A first version of a write-up and a first version of the slides must be ready for review at most one week before the presentation.
  • The presentation will be organized in a "block seminar" which will take place towards the end of the semester (the exact date will be fixed soon).

Topics

 

  1. Tomáš Dzetkulič and Stefan Ratschan,  Incremental Computation of Succinct Abstractions for Hybrid Systems

  2. Thao Dang, Oded Maler and Romain Testylier. Accurate Hybridization of Non-linear Systems

  3. Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George Pappas. Monte-Carlo Techniques for Falsification of Temporal Properties of Non Linear Systems

  4. Eugene Asarin, Thao Dang, Oded Maler and Romain Testylier. Using Redundant Constraints for Refinement

  5. Colas Le Guernic, and Antoine Girard, Reachability analysis of linear systems using support functions

  6. Antoine Girard, A. Agung Julius, George J. Pappas, Approximate Simulation Relations for Hybrid Systems

  7. Goran Frehse, Rajat Kateja and Colas Le Guernic, Flowpipe approximation and clustering in space-time
Personal tools