You are here: Home Teaching Summer Term 2012 Seminar Hybrid Systems

Seminar Hybrid Systems

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. In this seminar we will discuss different aspects of one of the most powerful formalisms to model CPS - hybrid automata.
Course type Seminar
Instructors Prof. Dr. Andreas Podelski
Sergiy Bogomolov
Kick-Off Friday, 4.05.2012, 4 pm, 052-00-016
Presentation 30.07.2012 - 31.07.2012: Block-Seminar

Presentation language

English
Credits 6
Course Catalog Hybrid Systems

Important Dates

  • 22.06.2012: Paper
  • 06.07.2012: Slides
  • 30.07.2012 - 31.07.2012: Block-Seminar

Topics

It should be possible to find PDF versions of all the papers without direct links using Google

Scholar. If you cannot find any of the papers below, please do not hesitate to contact Sergiy Bogomolov.

  1. Pijush K. Ghosh and K.Vinod Kumar. Support function representation of convex bodies, its application in geometric computing, and some related representations. Computer Vision and Image Understanding, 72(3):379, 1998.

  2. Benerecetti, M. and Faella, M. and Minopoli, S., Reachability games for linear hybrid systems, HSCC 2012

  3. Aydin Gol, E. and Belta, C., Time-Constrained Temporal Logic Control of Multi-Affine System

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

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

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

  7. Sriram Sankaranarayanan. Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points.
  8. 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
  9. Eugene Asarin, Thao Dang, Oded Maler and Romain Testylier. Using Redundant Constraints for Refinement