You are here: Home Teaching Summer Term 2013 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 Contact Sergiy Bogomolov to discuss a possible topic
Presentation Block-Seminarin the end of semester

Presentation language

English
Credits 6
Course Catalog Hybrid Systems

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. Pavithra Prabhakar, Parasara Sridhar  Duggirala, Sayan Mitra and Mahesh Viswanathan, Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems, VMCAI 2013
  2. Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia, Mining Requirements from Closed-Loop Control Models, HSCC 2013
  3. Hui Kong, Fei He, Xiaoyu Song, William Hung and Ming Gu, Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems, CAV 2013
  4. 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.

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

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

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

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

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

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