You are here: Home Teaching Winter Term 2012/2013 Design and Analysis of Cyber …

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 WS2012/13 (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.2012.
  • 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. Gera Weiss and Rajeev Alur, Automata Based Interfaces for Control and Scheduling

  3. Sriram Sankaranarayanan and Ashish Tiwari. Relational Abstractions For Continuous and Hybrid Systems

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

  5. 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

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

  7. Ashish Tiwari, Aditya Zutshi and Sriram Sankaranarayanan, Timed Relational Abstractions For Sampled Data Control Systems

  8. Frehse, G. and Jha, S. and Krogh, B., A counterexample-guided approach to parameter synthesis for linear hybrid automata