You are here: Home › Teaching › Winter Term 2011/2012 › Design and Anaylsis of Cyber …

Design and Analysis of Cyber Physical Systems

Course type Seminar
Instructors Sergiy Bogomolov, Corina Mitrohin
Kick-Off Thursday, 10.11.2011, 4 pm, 052-00-016
Presentation 22.02.2011-24.02.2011

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.

News


Formalia

30min Presentation, 5 page summary.

Important Dates

  • Choose a topic by 17.11.2011 and inform us via Email about this.
  • Discussion about the paper: 2.12. to 17.12 (arrange an appointment with us in this period)
  • Deliver a draft paper between 23.01.2012 and 27.01.2012 (about 5 pages)
  • Discussion about the final presentation: 13.02.2012-17.02.2012 (arrange an appointment with us in this period)
  • Block-seminar, final paper, and presentation: 22.02.2012-24.02.2011 

Topics

Hier finden sich die verschiedenen Themen, aus denen die Teilnehmer wählen können.

  1. Prajna, Jadbabaie, Safety Verification of Hybrid Systems Using Barrier Certificates

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

  3. Gera Weiss and Rajeev Alur, Automata Based Interfaces for Control and Scheduling

  4. Florian Kerber and Arjan van der Schaft. Compositional analysis for linear control systems assigned

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

  6. Christine Hang, Panagiotis Manolios and Vasilis Papavasileiou. Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints

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

  8. Sriram Sankaranarayanan. Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points.

  9. Mircea Lazar and Andrej Jokic. On Infinity Norms as Lyapunov Functions for Piecewise Affine Systems

  10. Maurice Heemels, Nathan van de Wouw, Rob Gielen, Tijs Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, Jamal Daafouz and Silviu Niculescu. A Comparison of Overapproximation Methods for Stability Analysis of Networked Control Systems

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

  12. Eric Wendel and Aaron Ames. Rank Properties of Poincare Maps for Hybrid Systems with Applications to Bipedal Walking

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